about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/projection.rs
AgeCommit message (Expand)AuthorLines
2025-09-26ProjectionElem::Subtype -> CastKind::Subtypebeepster4096-2/+0
2025-08-04add `project_fields` helper functionWaffle Lapkin-0/+9
2025-07-09Add opaque TypeId handles for CTFEOli Scherer-1/+5
2025-06-27Rollup merge of #143046 - RalfJung:zst-unsafe-cell, r=lcnr,oli-obkMatthias Krüger-1/+1
2025-06-27Add InterpCx::layout_of with tracing, shadowing LayoutOfStypox-1/+1
2025-06-26make size_and_align_of_mplace work on all projectableRalf Jung-1/+1
2025-06-05Update `InterpCx::project_field` to take `FieldIdx`Scott McMurray-9/+9
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-0/+1
2024-12-17Use field init shorthand where possibleJosh Triplett-1/+1
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-1/+1
2024-10-03interpret: Immediate::offset: use shared sanity-check function to ensure inva...Ralf Jung-0/+4
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-7/+13
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-3/+3
2024-09-15Rollup merge of #130342 - RalfJung:slice-idx-overflow, r=saethlinMatthias Krüger-2/+6
2024-09-14Rollup merge of #130294 - nnethercote:more-lifetimes, r=lcnrLeón Orell Valerian Liehr-3/+3
2024-09-14interpret: fix dealing with overflow during slice indexingRalf Jung-2/+6
2024-09-13interpret: simplify SIMD type handlingRalf Jung-0/+13
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-3/+3
2024-07-29Reformat `use` declarations.Nicholas Nethercote-6/+2
2024-06-22don't ICE when encountering an extern type field during validationRalf Jung-3/+3
2024-06-12use is_none_or in some places in the compilerRalf Jung-1/+1
2024-06-09interpret: do not ICE on padded non-pow2 SIMD vectorsRalf Jung-0/+2
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-14/+14
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+2
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-1/+5
2024-03-09remove some frame parameters that are no longer neededRalf Jung-1/+1
2024-02-10interpret/visitor: ensure we only see normalized typesRalf Jung-0/+2
2024-01-26interpret: project_downcast: do not ICE for uninhabited variantsRalf Jung-19/+2
2024-01-23const prop nonsense eliminatedOli Scherer-28/+21
2023-12-14interpret: extend comment on the inhabitedness check in downcastRalf Jung-0/+18
2023-12-12reject projecting to fields whose offset we cannot computeRalf Jung-4/+7
2023-12-03codegen, miri: fix computing the offset of an unsized field in a packed structRalf Jung-1/+11
2023-11-23remove unused pub fnklensy-2/+2
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-0/+1
2023-10-15avoid re-checking the offset while iterating an array/sliceRalf Jung-5/+28
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-2/+0
2023-10-02Add docs, remove code, change subtyper codeouz-a-1/+2
2023-10-02subtyping_projectionsouz-a-0/+1
2023-09-28Skip reinterning if nothing changedOli Scherer-1/+3
2023-09-28Strip `OpaqueCast` during `RevealAll`.Oli Scherer-1/+1
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-5/+3
2023-08-30a bit of meta-related cleanup on ProjectableRalf Jung-4/+21
2023-08-30interpret: fix projecting into an unsized field of a localRalf Jung-26/+40
2023-08-06interpret: use ConstPropNonsense for more const-prop induced issuesRalf Jung-1/+1
2023-08-01rename deref_operand → deref_pointer and some Miri helper functionsRalf Jung-1/+1
2023-07-25interpret: make write functions generic over the place typeRalf Jung-15/+12
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-270/+154
2023-07-24interpret: support projecting into Place::Local without force_allocationRalf Jung-133/+151
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+4
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-3/+3