about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
2020-06-15Rollup merge of #72879 - RalfJung:miri-tctx-at, r=oli-obkRalf Jung-63/+77
2020-06-14keep root_span and tcx togetherRalf Jung-70/+58
2020-06-13run const_eval_raw with root_spanRalf Jung-1/+1
2020-06-13avoid computing precise span for const_eval queryRalf Jung-1/+1
2020-06-12fix caller_location intrinsic for MiriRalf Jung-18/+18
2020-06-12avoid computing cur_span all the timeRalf Jung-3/+5
2020-06-12fix const_prop spans and re-bless testsRalf Jung-15/+25
2020-06-12make miri InterpCx TyCtxtAt a TyCtxt, and separately remember the root span o...Ralf Jung-89/+104
2020-06-12make miri memory TyCtxtAt a TyCtxtRalf Jung-12/+11
2020-06-10Track span of function in method calls, and use this in #[track_caller]Aaron Hill-9/+24
2020-06-07Don't intern memory in const prop.Oliver Scherer-6/+6
2020-06-07rename FalseEdges -> FalseEdgeRalf Jung-1/+1
2020-06-07Rollup merge of #72810 - RalfJung:mir-terminate-sanity, r=jonas-schievinkDylan DPC-1/+7
2020-06-01Auto merge of #71192 - oli-obk:eager_alloc_id_canonicalization, r=wesleywiserbors-0/+16
2020-05-31validate basic sanity for TerminatorKindRalf Jung-1/+7
2020-05-30Rollup merge of #72772 - RalfJung:valid-char, r=petrochenkovRalf Jung-1/+1
2020-05-30miri errors: rename InvalidDiscriminant -> InvalidTagRalf Jung-6/+6
2020-05-30tag/niche terminology cleanupRalf Jung-39/+37
2020-05-30Rollup merge of #72540 - davidtwco:issue-67552-mono-collector-comparison, r=v...Ralf Jung-1/+1
2020-05-30Make TLS accesses explicit in MIROliver Scherer-0/+16
2020-05-30miri validation: clarify valid values of 'char'Ralf Jung-1/+1
2020-05-30Rollup merge of #72419 - RalfJung:read-discriminant, r=oli-obk,eddybYuki Okushi-79/+105
2020-05-29Auto merge of #72756 - RalfJung:rollup-tbjmtx2, r=RalfJungbors-3/+54
2020-05-30more type sanity checks in MiriRalf Jung-2/+18
2020-05-29Rollup merge of #71500 - josephlr:offset, r=oli-obk,RalfJungRalf Jung-3/+54
2020-05-29Rollup merge of #72591 - sexxi-goose:rename_upvar_list-to-closure_captures, r...Dylan DPC-1/+1
2020-05-28standardize limit comparisons with `Limit` typeDavid Wood-1/+1
2020-05-27Add additional checks for isize overflowJoe Richey-3/+2
2020-05-28Auto merge of #72494 - lcnr:predicate-cleanup, r=nikomatsakisbors-7/+7
2020-05-26Add checks and tests for computing abs(offset_bytes)Joe Richey-2/+3
2020-05-25Rename upvar_list to closure_capturesDhruv Jauhar-1/+1
2020-05-25librustc_mir: Add back use statementJoe Richey-0/+2
2020-05-25librustc_mir: Add support for const fn offset/arith_offsetJoe Richey-2/+51
2020-05-25fix discriminant_ty for non-enumsRalf Jung-2/+2
2020-05-25Add helper method for determining the type of a discriminantRalf Jung-39/+24
2020-05-25Format and more tracingRalf Jung-2/+2
2020-05-25assert that types without discriminant use variant idx of 0Ralf Jung-1/+2
2020-05-25comments and refactor variable namesRalf Jung-38/+46
2020-05-25Miri: refactor read_discriminant and make it return ScalarRalf Jung-68/+84
2020-05-24comment nitRalf Jung-1/+1
2020-05-24use helper method for determining size of int typeRalf Jung-15/+11
2020-05-24Fix unsizing castsRalf Jung-20/+18
2020-05-24Miri casts: do not blindly rely on dest typeRalf Jung-51/+76
2020-05-24make some cast helpers infallibleRalf Jung-29/+17
2020-05-23take mir::PlaceElem by valueBastian Kauschke-7/+7
2020-05-23iterate List by valueBastian Kauschke-2/+2
2020-05-22Use `OnceCell` instead of `Once`Dylan MacKenzie-1/+1
2020-05-22Rollup merge of #71610 - divergentdave:InvalidUndefBytes-range, r=RalfJungRalf Jung-6/+8
2020-05-21fix discriminant sign extensionRalf Jung-1/+4
2020-05-21Auto merge of #70705 - lcnr:generic_discriminant, r=nikomatsakisbors-3/+6
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 20:43:24 +0000