summary refs log tree commit diff
path: root/src/librustc_mir/interpret/eval_context.rs
AgeCommit message (Expand)AuthorLines
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
2020-04-05miri assignment check: compare types after normalizing all late-bound regions...Ralf Jung-16/+36
2020-04-02switch assignment check back to testing layout equalityRalf Jung-16/+21
2020-04-02also use mir_assign_valid_types in from_known_layout checkRalf Jung-1/+43
2020-04-02nix rustc_target::abi::* reexport in ty::layoutMazdak Farrokhzad-2/+3
2020-03-30remove a dead parameter that everyone sets to NoneRalf Jung-3/+3
2020-03-30remove caller span from Miri stack frameRalf Jung-8/+1
2020-03-30Miri stacktrace: record span inside frame, not call-site spanRalf Jung-16/+4
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-10/+10
2020-03-27Rename TyLayout to TyAndLayout.Ana-Maria Mihalache-9/+9
2020-03-25go back to infix ops for SizeRalf Jung-2/+1
2020-03-25use checked casts and arithmetic in Miri engineRalf Jung-1/+3
2020-03-24move ModifiedStatic error to ConstEval errors, and generally adjust terminolo...Ralf Jung-2/+2
2020-03-21clarify when we pass () to functions (clippy::unit_arg)Matthias Krüger-1/+2
2020-03-20Rollup merge of #69935 - davidtwco:issue-69925, r=eddybYuki Okushi-10/+17
2020-03-18Rollup merge of #69839 - RalfJung:miri-error-cleanup, r=oli-obkMazdak Farrokhzad-3/+3
2020-03-16Small fixes in documentationYoungsuk Kim-3/+3
2020-03-14fix comment, rustfmtRalf Jung-1/+1
2020-03-14adjust Miri to needs of changed unwinding strategyRalf Jung-19/+12
2020-03-12codegen/mir: support polymorphic `InstanceDef`sDavid Wood-10/+17
2020-03-11miri: categorize errors into "unsupported" and "UB"Ralf Jung-3/+3