about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
2025-08-17Auto merge of #144081 - RalfJung:const-ptr-fragments, r=oli-obkbors-0/+7
2025-08-12Revert "Partially outline code inside the panic! macro".Mara Bos-1/+1
2025-07-30const-eval: full support for pointer fragmentsRalf Jung-0/+7
2025-07-23Remove useless lifetime parameter.Camille GILLOT-6/+6
2025-07-23Give an AllocId to ConstValue::Slice.Camille GILLOT-2/+1
2025-07-20fix handling of base address for TypeId allocationsRalf Jung-13/+5
2025-07-18Show the memory of uninit readsOli Scherer-7/+22
2025-07-17parse `const trait Trait`Deadbeef-2/+2
2025-07-16simplfy memory kind handling during interningRalf Jung-3/+0
2025-07-16const heap: fix ICE on forgotten make_globalRalf Jung-3/+8
2025-07-16Comment more code and make tests clearerDeadbeef-1/+5
2025-07-16format pointer later instead of eagerly converting to stringDeadbeef-6/+6
2025-07-16add `const_make_global`; err for `const_allocate` ptrs if didn't callDeadbeef-8/+45
2025-07-07Rollup merge of #143584 - fee1-dead-contrib:push-skswvrwsrmll, r=RalfJungMatthias Krüger-3/+3
2025-07-07make `Machine::load_mir` infallibleDeadbeef-3/+3
2025-07-06interpret: rename StackPopCleanupRalf Jung-2/+2
2025-07-05Stop using Key trait randomlyMichael Goulet-3/+2
2025-07-02miri: improve errors for type validity assertion failuresRalf Jung-3/+41
2025-06-30Rollup merge of #143140 - RalfJung:ptr-into-parts, r=oli-obkMatthias Krüger-6/+7
2025-06-30Remove the nullary intrinsic const eval logic and treat them like other intri...Oli Scherer-29/+1
2025-06-29give Pointer::into_parts a more scary name and offer a safer alternativeRalf Jung-6/+7
2025-06-28Auto merge of #141759 - 1c3t3a:discriminants-query, r=saethlinbors-0/+1
2025-06-27Rollup merge of #143096 - RalfJung:tag_for_variant, r=compiler-errorsMatthias Krüger-9/+4
2025-06-27tag_for_variant: properly pass TypingEnvRalf Jung-9/+4
2025-06-27Rollup merge of #143084 - RalfJung:const-eval-recursive-static-write, r=oli-obkGuillaume Gomez-7/+15
2025-06-27const-eval: error when initializing a static writes to that staticRalf Jung-7/+15
2025-06-27Add InterpCx::layout_of with tracing, shadowing LayoutOfStypox-3/+2
2025-06-27Insert checks for enum discriminants when debug assertions are enabledBastian Kersting-0/+1
2025-06-26const-eval: allow constants to refer to mutable/external memory, but reject s...Ralf Jung-35/+10
2025-06-07const-eval error: always say in which item the error occurredRalf Jung-15/+3
2025-06-06Rollup merge of #142103 - scottmcm:fieldidx-in-interp, r=oli-obkGuillaume Gomez-5/+5
2025-06-05Update `InterpCx::project_field` to take `FieldIdx`Scott McMurray-5/+5
2025-06-06Rollup merge of #142012 - oli-obk:no-optional-spans, r=fee1-deadMatthias Krüger-1/+1
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-1/+1
2025-06-04Report the actual item that evaluation failed forOli Scherer-2/+3
2025-06-02Use the informative error as the main const eval error messageOli Scherer-19/+35
2025-05-27Rollup merge of #141513 - nia-e:allocbytes-extend, r=RalfJung许杰友 Jieyou Xu (Joe)-0/+8
2025-05-26extend allocbytes with associated typeNia Espera-0/+8
2025-05-22interpret: do not force_allocate all return placesRalf Jung-7/+12
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-0/+1
2025-04-03Make LevelAndSource a structOli Scherer-1/+1
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-1/+1
2025-03-20interpret memory access hooks: also pass through the Pointer used for the accessRalf Jung-1/+2
2025-02-28Shorten span of panic failures in const contextEsteban Küber-5/+16
2025-02-25Teach structured errors to display short `Ty`Esteban Küber-4/+4
2025-02-22Fix binding mode problemsMichael Goulet-6/+4
2025-02-13simplify valtree branches constructionLukas Markeffsky-15/+12
2025-02-13intern valtreesLukas Markeffsky-14/+11
2025-02-03Rollup merge of #136430 - FedericoBruzzone:follow-up-136180, r=oli-obkMatthias Krüger-19/+23
2025-02-03Refactor using the type-level constant value `ty::Value`FedericoBruzzone-19/+23