about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/place.rs
AgeCommit message (Expand)AuthorLines
2023-04-01Use `FieldIdx` in various things related to aggregatesScott McMurray-4/+5
2023-03-25Refactor: `VariantIdx::from_u32(0)` -> `FIRST_VARIANT`Scott McMurray-2/+2
2023-03-21Add a layout argument to `enforce_validity`.Oli Scherer-2/+2
2023-03-02Rollup merge of #108022 - CraftSpider:align-bytes, r=oli-obkMatthias Krüger-2/+4
2023-02-20Minimal changes to make miri workRune Tynan-2/+4
2023-02-20Allow non-`Box` allocations in preparation for aligned const allocations for ...Rune Tynan-2/+2
2023-02-20basic dyn* support for MiriRalf Jung-15/+52
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-2/+2
2023-02-14interpret: rename Pointer::from_addr → from_addr_invalidRalf Jung-1/+1
2023-02-07Rollup merge of #107756 - RalfJung:miri-out-of-addresses, r=oli-obkMatthias Krüger-3/+3
2023-02-07miri: fix ICE when running out of address spaceRalf Jung-3/+3
2023-02-06interpret: move discriminant reading and writing to separate fileRalf Jung-83/+4
2023-02-02Introduce write_aggregate.Camille GILLOT-0/+28
2023-02-02Interpret aggregates.Camille GILLOT-9/+0
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-3/+3
2022-12-18avoid .into() conversion to identical typesMatthias Krüger-1/+1
2022-12-15Make alignment checks a future incompat lintOli Scherer-7/+2
2022-11-18review feedbackRalf Jung-2/+2
2022-11-18interpret: use Either over Result when it is not representing an error conditionRalf Jung-13/+15
2022-11-14Rollup merge of #104356 - RalfJung:interpret-check-mplace, r=oli-obkMatthias Krüger-9/+9
2022-11-13interpret: make check_mplace publicRalf Jung-9/+9
2022-11-13add is_sized method on Abi and Layout, and use itRalf Jung-5/+5
2022-10-12Use `tidy-alphabetical` in the compilerNilstrieb-2/+3
2022-10-02Don't ICE when trying to copy unsized value in const propMichael Goulet-5/+11
2022-09-26remove cfg(bootstrap)Pietro Albini-2/+0
2022-09-21OpTy: fix a method taking self rather than &selfRalf Jung-1/+1
2022-09-07Use niche-filling optimization even when multiple variants have data.Michael Benfield-2/+4
2022-09-07Change name of "dataful" variant to "untagged"Michael Benfield-2/+2
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-1/+1
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-8/+4
2022-08-10Avoid repeating qualifiers on `static_assert_size` calls.Nicholas Nethercote-5/+6
2022-08-01Improve size assertions.Nicholas Nethercote-15/+12
2022-07-23now we can make scalar_to_ptr a method on ScalarRalf Jung-2/+2
2022-07-20make use of symbolic vtables in interpreterRalf Jung-12/+3
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-85/+85
2022-07-18interpret: make some large types not CopyRalf Jung-16/+16
2022-07-18interpret: remove some unused trait implsRalf Jung-4/+3
2022-07-16Rollup merge of #99259 - RalfJung:visit-a-place, r=oli-obkMatthias Krüger-3/+13
2022-07-15interpret/visitor: support visiting with a PlaceTyRalf Jung-3/+13
2022-07-14rename MPlaceTy::dangling to fake_alloc_zstRalf Jung-1/+3
2022-07-13get rid of MemPlaceMeta::PoisonRalf Jung-15/+6
2022-07-11use a loop rather than try_foldRalf Jung-13/+12
2022-07-11interpret: refactor projection handling codeRalf Jung-276/+29
2022-07-06deduplicate some copy_op codeRalf Jung-76/+59
2022-07-06support passing unsized fn argumentsRalf Jung-9/+21
2022-07-06interpret: remove LocalValue::Unallocated, add Operand::UninitRalf Jung-81/+52
2022-07-05finally enable Scalar layout sanity checksRalf Jung-1/+1
2022-07-05adjust dangling-int-ptr error messageRalf Jung-1/+1