about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret/allocation.rs
AgeCommit message (Expand)AuthorLines
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-8/+8
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-10-14interpret: clean up AllocBytesRalf Jung-13/+5
2023-08-09Convert Const to Allocation in smirouz-a-0/+3
2023-08-02const validation: point at where we found a pointer but expected an integerRalf Jung-25/+41
2023-07-25add some sanity checks in write_immediate_no_validateRalf Jung-1/+1
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-19/+29
2023-04-09fixup! Improve `Allocation::hashNilstrieb-1/+1
2023-04-09Improve `Allocation::hashNilstrieb-9/+17
2023-03-28address review commentsRémy Rakic-2/+0
2023-03-01FormatRune Tynan-8/+2
2023-02-28Make zeroed return an OptionRune Tynan-13/+8
2023-02-20Minimal changes to make miri workRune Tynan-12/+2
2023-02-20Remove unused lifetimeRune Tynan-1/+1
2023-02-20Add mentioned from_raw_bytes constructorRune Tynan-0/+17
2023-02-20Allow non-`Box` allocations in preparation for aligned const allocations for ...Rune Tynan-16/+72
2022-11-30Update documentationOli Scherer-1/+1
2022-11-26interpret: remove PartialOrd from a bunch of types that do not have or need a...Ralf Jung-2/+2
2022-11-18interpret: use Either over Result when it is not representing an error conditionRalf Jung-3/+5
2022-11-14assert that we are (de)seiralizing ProvenanceMap correctlyRalf Jung-9/+7
2022-11-06make uninit_mask a unit testRalf Jung-0/+2
2022-11-06move InitMask to its own moduleRalf Jung-583/+36
2022-11-06dont debug-print allocations, that's too verboseRalf Jung-4/+4
2022-11-06interpret: support for per-byte provenanceRalf Jung-173/+21
2022-08-27interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung-91/+65
2022-08-27interpret: rename relocation → provenanceRalf Jung-91/+90
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-17/+8
2022-08-26remove some now-unnecessary parameters from check_bytesRalf Jung-19/+4
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-40/+41
2022-07-13get rid of MemPlaceMeta::PoisonRalf Jung-0/+2
2022-07-06interpret: use AllocRange in UninitByteAccessRalf Jung-9/+12
2022-07-05Rollup merge of #98811 - RalfJung:interpret-alloc-range, r=oli-obkDylan DPC-1/+7
2022-07-02add AllocRange Debug impl; remove redundant AllocId Display implRalf Jung-1/+7
2022-06-28make `get_relocations` privateRémy Rakic-6/+11
2022-06-22Rollup merge of #98099 - RalfJung:convert_tag_add_extra, r=oli-obkYuki Okushi-6/+6
2022-06-17Auto merge of #98097 - lqd:const-alloc-hash, r=oli-obkbors-2/+75
2022-06-16adjust const alloc interning partial hash commentsRémy Rakic-4/+8
2022-06-16ctfe: limit hashing of big const allocations when interningRémy Rakic-2/+71
2022-06-16interpret: convert_tag_add_extra, init_allocation_extra: allow tagger to rais...Ralf Jung-6/+6
2022-06-05interpret: better control over whether we read data with provenance, and impl...Ralf Jung-28/+53
2022-05-22Lifetime variance fixes for rustcMichael Goulet-1/+1
2022-05-19interpret/validity: separately control checking numbers for being init and no...Ralf Jung-4/+7
2022-05-02fix most compiler/ doctestsElliot Roberts-5/+5
2022-04-21deduplicate a lot of codeb-naber-4/+0
2022-04-21implement valtree -> constvalue conversionb-naber-0/+5
2022-04-20Rollup merge of #96160 - RalfJung:interpret-debug, r=oli-obkDylan DPC-0/+8
2022-04-17explain why prepare_relocation_copy works the way it doesRalf Jung-4/+11
2022-04-17add caution to some commentsRalf Jung-1/+7
2022-04-17when writing uninit to an allocation, also clear relocations like other write...Ralf Jung-3/+9
2022-04-17add log warnings for when we overwrite parts of a pointer, and de-init the restRalf Jung-0/+8