about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/eval_context.rs
AgeCommit message (Expand)AuthorLines
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
2023-08-30unify passing of sized and unsized function arguments :-)Ralf Jung-6/+26
2023-08-30move marking-locals-live out of push_stack_frame, so it happens with argument...Ralf Jung-18/+26
2023-08-30interpret: fix projecting into an unsized field of a localRalf Jung-2/+2
2023-08-27miri/diagnostics: don't forget to print_backtrace when ICEing on unexpected e...Ralf Jung-1/+22
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-2/+3
2023-08-20interpret/miri: call panic_cannot_unwind lang item instead of hard-coding the...Ralf Jung-1/+5
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-1/+0
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-5/+5
2023-07-24interpret: support projecting into Place::Local without force_allocationRalf Jung-1/+4
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-8/+8
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-1/+3
2023-07-11miri: protect Move() function arguments during the callRalf Jung-5/+3
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-9/+26
2023-06-01Auto merge of #103877 - oli-obk:const_eval_step_limit, r=fee1-deadbors-0/+10
2023-05-31Remove const eval limit and implement an exponential backoff lint insteadOli Scherer-0/+10
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-1/+1
2023-05-25Manually add inlined frames in the interpreter stacktrace.Camille GILLOT-1/+14
2023-05-17Finish move of query.rsJohn Kåre Alsaker-3/+2
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-4/+4