summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/eval_context.rs
AgeCommit message (Expand)AuthorLines
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-753/+10
2024-08-02Rollup merge of #128494 - RalfJung:mir-lazy-lists, r=compiler-errorsMatthias Krüger-1/+1
2024-08-01MIR required_consts, mentioned_items: ensure we do not forget to fill these l...Ralf Jung-1/+1
2024-08-01interpret: simplify pointer arithmetic logicRalf Jung-11/+0
2024-07-29Reformat `use` declarations.Nicholas Nethercote-12/+11
2024-07-18interpret: add sanity check in dyn upcast to double-check what codegen doesRalf Jung-0/+30
2024-07-07add an assertion that machine hook doesn't return NoCleanupMaybe Lapkin-3/+5
2024-07-07Do renames proposed by reviewMaybe Waffle-7/+7
2024-07-07make `StackPop` field names less confusingMaybe Waffle-16/+22
2024-07-07doc fixups from reviewMaybe Waffle-3/+3
2024-07-07Refactor & fixup interpreter implementation of tail callsMaybe Waffle-35/+110
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-1/+1
2024-06-19Rollup merge of #126154 - RalfJung:storage-live, r=compiler-errorsLeón Orell Valerian Liehr-5/+3
2024-06-18Use a dedicated type instead of a reference for the diagnostic contextOli Scherer-2/+2
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-1/+1
2024-06-13const-eval: make lint scope computation consistentRalf Jung-17/+10
2024-06-13Rollup merge of #126379 - RalfJung:find_closest_untracked_caller_location, r=...León Orell Valerian Liehr-3/+7
2024-06-13interpret: update doc comment for find_closest_untracked_caller_locationRalf Jung-3/+7
2024-06-12Rollup merge of #126328 - RalfJung:is_none_or, r=workingjubileeJubilee-1/+1
2024-06-12use is_none_or in some places in the compilerRalf Jung-1/+1
2024-06-11check for correct trait in size_and_align_ofRalf Jung-2/+2
2024-06-08StorageLive: refresh storage (instead of UB) when local is already liveRalf Jung-5/+3
2024-05-27miri: avoid making a full copy of all new allocationsRalf Jung-1/+1
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-20/+15
2024-05-27interpret: the MIR is actually at lifetime 'tcxRalf Jung-14/+12
2024-05-23Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726bors-0/+1
2024-05-23Allow const eval failures if the cause is a type layout issueOli Scherer-3/+14
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-3/+5
2024-04-23properly fill a promoted's required_constsRalf Jung-3/+1
2024-04-23interpret: sanity-check that required_consts captures all consts that can failRalf Jung-11/+13
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+2
2024-03-19Auto merge of #122493 - lukas-code:sized-constraint, r=lcnrbors-4/+4
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-2/+2
2024-03-14remove unnecessary sized checksLukas Markeffsky-4/+4
2024-03-14Move generate_stacktrace_from_stack away from InterpCx to avoid having to kno...Oli Scherer-29/+27
2024-03-10remove unnecessary frame parameter from after_local_allocatedRalf Jung-2/+3
2024-03-09remove some frame parameters that are no longer neededRalf Jung-2/+2
2024-03-09remove a machine hook that is no longer usedRalf Jung-3/+0
2024-03-09interpret: ensure that Place is never used for a different frameRalf Jung-5/+9
2024-03-04consistently use MPlaceTy for return placesRalf Jung-3/+2
2024-03-04interpret: avoid a long-lived PlaceTy in stack framesRalf Jung-3/+4
2024-02-22Overhaul `Diagnostic` args.Nicholas Nethercote-1/+1
2024-02-15Do not allocate a second "background" alloc id for the main allocation of a s...Oli Scherer-1/+13
2024-02-15Split a bool argument into two named functionsOli Scherer-1/+1
2024-02-13Rollup merge of #120959 - nnethercote:rm-good_path, r=oli-obkMatthias Krüger-2/+2
2024-02-13Remove `good_path_delayed_bug`.Nicholas Nethercote-2/+2
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-6/+9
2024-02-12Remove `dcx` arg from `ReportErrorExt::add_args`.Nicholas Nethercote-1/+1
2024-02-12Dejargnonize substShoyu Vanilla-6/+9