summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/eval_context.rs
AgeCommit message (Expand)AuthorLines
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
2024-02-10validation: descend from consts into staticsRalf Jung-21/+21
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+1
2024-01-24Auto merge of #118336 - saethlin:const-to-op-cache, r=RalfJungbors-7/+9
2024-01-06Sometimes return the same AllocId for a ConstAllocationBen Kimock-7/+9
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-2/+2
2023-12-18Rename many `DiagCtxt` and `EarlyDiagCtxt` locals.Nicholas Nethercote-3/+3
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-1/+1
2023-12-13fix computing the dynamic alignment of packed structs with dyn trait tailsRalf Jung-25/+18
2023-12-07Auto merge of #118324 - RalfJung:ctfe-read-only-pointers, r=saethlinbors-7/+9
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-7/+9
2023-12-03rustc: Harmonize `DefKind` and `DefPathData`Vadim Petrochenkov-4/+2
2023-12-02Auto merge of #118470 - nnethercote:cleanup-error-handlers, r=compiler-errorsbors-6/+6
2023-12-02Use `Session::diagnostic` in more places.Nicholas Nethercote-1/+1
2023-12-02Rename `Handler::delay_good_path_bug` as `Handler::good_path_delayed_bug`.Nicholas Nethercote-5/+5
2023-11-30explain a good reason for why LocalValue does not store the type of the localRalf Jung-0/+3
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-1/+1
2023-10-28share the track_caller handling within a mir::BodyRalf Jung-29/+11
2023-10-28interpret: call caller_location logic the same way codegen does, and share so...Ralf Jung-0/+62
2023-10-24Rollup merge of #117081 - GoodDaisy:master, r=wesleywiserMatthias Krüger-1/+1
2023-10-23fix typos in commentsGoodDaisy-1/+1
2023-10-23Ensure that `eval_to_allocation_raw` isn't called on static items from miriOli Scherer-9/+6
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-10-06Rollup merge of #116277 - RalfJung:post-mono, r=oli-obkJubilee-11/+18
2023-10-02change is_subtype to relate_typesouz-a-2/+2
2023-09-30dont call mir.post_mono_checks in codegenRalf Jung-11/+18
2023-09-26subst -> instantiatelcnr-1/+1
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-1/+0
2023-09-21Auto merge of #116010 - RalfJung:more-typed-immediates, r=oli-obkbors-3/+3
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-1/+1
2023-09-20interpret: less debug-printing of typesRalf Jung-3/+3
2023-09-14don't point at const usage site for resolution-time errorsRalf Jung-12/+2
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-19/+31
2023-09-12Introduce Machine::POST_MONO_CHECKS.Camille GILLOT-4/+6
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-16/+45
2023-08-30storage_live: avoid computing the layout unless necessaryRalf Jung-14/+65