summary refs log tree commit diff
path: root/src/librustc_mir/interpret/eval_context.rs
AgeCommit message (Expand)AuthorLines
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-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
2020-03-08fix some cases of unexpected exceptions leaving validationRalf Jung-9/+3
2020-03-06fix various typosMatthias Krüger-1/+1
2020-02-28use is_empty() instead of len() == x to determine if structs are empty.Matthias Krüger-3/+3
2020-02-20Erase regions before before performing const eval, to improve caching.Ben Lewis-5/+1
2020-02-15Change const eval to return `ConstValue`, instead of `Const` as the type insi...Ben Lewis-1/+3
2020-01-10Promoteds also need param envs.Oliver Scherer-5/+14
2020-01-09Rename `Unsized` to `Meta`Oliver Scherer-3/+3
2020-01-07Poison any `MemPlace` created from a zst Operand (or otherwise via `MPlaceTy:...Oliver Scherer-7/+6
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-2/+2
2020-01-02Normalize `syntax::source_map` imports.Mazdak Farrokhzad-1/+1
2019-12-26Use the targetted const eval functionsOliver Scherer-9/+5
2019-12-26Reintroduce the recursion commentOliver Scherer-0/+4
2019-12-26Add a `const_eval` helper to `InterpCx`Oliver Scherer-2/+20
2019-12-26Explain what we are doing with parameter environments for staticsOliver Scherer-5/+5
2019-12-26Comment on a few odd things that we should look atOliver Scherer-0/+2
2019-12-26Simplify `force_allocation_maybe_sized`Oliver Scherer-1/+1
2019-12-26Retire `to_ptr` which should already have no users but still kept getting new...Oliver Scherer-1/+3
2019-12-22Format the worldMark Rousskov-109/+100