summary refs log tree commit diff
path: root/src/librustc_mir/interpret/eval_context.rs
AgeCommit message (Expand)AuthorLines
2020-06-28Rollup merge of #73757 - oli-obk:const_prop_hardening, r=wesleywiserManish Goregaokar-0/+7
2020-06-28Erase all block-only locals at the end of every block, even if they have not ...Oliver Scherer-0/+7
2020-06-27Rollup merge of #72796 - RalfJung:mir-assign-sanity, r=matthewjasperManish Goregaokar-36/+23
2020-06-24reduce sanity check in debug modeRalf Jung-2/+8
2020-06-23Rollup merge of #73578 - RalfJung:ty-ctxt-at, r=jonas-schievinkDylan DPC-1/+1
2020-06-22make layout check a mere sanity checkRalf Jung-18/+7
2020-06-22expand a commentRalf Jung-1/+3
2020-06-22also use relator in interpreter assignment sanity checkRalf Jung-26/+15
2020-06-22also normalize constants when comparing typesRalf Jung-0/+1
2020-06-21Miri: replace many bug! by span_bug!Ralf Jung-2/+5
2020-06-21Make is_freeze and is_copy_modulo_regions take TyCtxtAtRalf Jung-1/+1
2020-06-15Rollup merge of #72879 - RalfJung:miri-tctx-at, r=oli-obkRalf Jung-9/+15
2020-06-14keep root_span and tcx togetherRalf Jung-29/+18
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-9/+2
2020-06-12avoid computing cur_span all the timeRalf Jung-3/+5
2020-06-12fix const_prop spans and re-bless testsRalf Jung-3/+3
2020-06-12make miri InterpCx TyCtxtAt a TyCtxt, and separately remember the root span o...Ralf Jung-22/+38
2020-06-12make miri memory TyCtxtAt a TyCtxtRalf Jung-2/+1
2020-05-28standardize limit comparisons with `Limit` typeDavid Wood-1/+1
2020-05-22Use `OnceCell` instead of `Once`Dylan MacKenzie-1/+1
2020-05-10Miri interning: replace ICEs by proper errors, make intern_shallow type signa...Ralf Jung-0/+3
2020-05-07Renamed "undef" stuff to "uninit"Hanif Bin Ariffin-4/+4
2020-05-01remove AllocId generalization of PointerRalf Jung-5/+5
2020-04-27Use `LocalDefId` in `typeck_tables_of` and `used_trait_imports` queriesmarmeladema-3/+5
2020-04-24Remove `Option` from the return type of `def_kind`.Eduard-Mihai Burtescu-1/+1
2020-04-24Rollup merge of #71475 - RalfJung:miri-frame-loc, r=ecstatic-morseDylan DPC-30/+20
2020-04-23Miri Frame: use mir::Location to represent position in functionRalf Jung-30/+20
2020-04-23Rollup merge of #71005 - jonas-schievink:no-place-like-return, r=oli-obkDylan DPC-45/+31
2020-04-22Use `Body` everywhereDylan MacKenzie-3/+3
2020-04-22Rollup merge of #70970 - eddyb:trait-vs-impl-mismatch, r=oli-obkDylan DPC-2/+7
2020-04-20Use copy_op_transmuteJonas Schievink-1/+1
2020-04-20Fix codegen and mir-opt testsJonas Schievink-1/+0
2020-04-20Dump return_place upon returningJonas Schievink-0/+1
2020-04-20Fix pop_stack_frame logicJonas Schievink-22/+7
2020-04-20Treat RETURN_PLACE as a normal LocalJonas Schievink-25/+26
2020-04-19Auto merge of #70598 - vakaras:add-threads-cr3, r=oli-obk,RalfJungbors-25/+32
2020-04-19Dogfood more or_patterns in the compilerJosh Stone-3/+5
2020-04-18Detect mistyped associated consts in `Instance::resolve`.Eduard-Mihai Burtescu-2/+7
2020-04-16mir/interpret: only use `ErrorHandled::Reported` for `ErrorReported`.Eduard-Mihai Burtescu-5/+4
2020-04-15Add function eval_maybe_thread_local_static_const that allows handling thread...Vytautas Astrauskas-9/+13
2020-04-15Make the necessary changes to support concurrency in Miri.Vytautas Astrauskas-17/+20
2020-04-13add after_stack_push hook; add public ImmTy::from_immediate method, and make ...Ralf Jung-1/+2
2020-04-13Miri: let push_frame hook also access and mutate the rest of the frame dataRalf Jung-7/+24
2020-04-09Use new utility in `eval_context`Dylan MacKenzie-9/+10
2020-04-05make set_span public, as all the fields it touches are public alreadyRalf Jung-1/+1
2020-04-05set span more accurately during const_propRalf Jung-1/+7
2020-04-05Miri engine: use span_bug in a few placesRalf Jung-8/+10
2020-04-05fix commentRalf Jung-3/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-03 21:47:06 +0000