about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/projection.rs
AgeCommit message (Expand)AuthorLines
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
2022-12-12interpret: add read_machine_[ui]size convenience methodsRalf Jung-2/+2
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-2/+2
2022-11-18interpret: use Either over Result when it is not representing an error conditionRalf Jung-3/+5
2022-09-16Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r...Oli Scherer-0/+10
2022-08-31Fix a bunch of typoDezhi Wu-1/+1
2022-08-30Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obkDylan DPC-3/+1
2022-08-27interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung-3/+1
2022-08-27remove an ineffective check in const_propRalf Jung-0/+3