about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/memory.rs
AgeCommit message (Expand)AuthorLines
2024-09-15interpret: get_ptr_alloc_mut: lookup allocation only onceRalf Jung-24/+40
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-2/+2
2024-09-08interpret: reset padding during validationRalf Jung-1/+10
2024-09-08interpret: reset provenance on typed copiesRalf Jung-12/+26
2024-09-02chore: Fix typos in 'compiler' (batch 1)Alexander Cyon-1/+1
2024-08-27Rollup merge of #128942 - RalfJung:interpret-weak-memory, r=saethlinTrevor Gross-1/+1
2024-08-12miri weak memory emulation: initialize store buffer only on atomic writes; pr...Ralf Jung-1/+1
2024-08-06miri: make vtable addresses not globally uniqueRalf Jung-1/+4
2024-08-03Miri: add a flag to do recursive validity checkingRalf Jung-1/+4
2024-08-01interpret: simplify pointer arithmetic logicRalf Jung-1/+1
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-33/+53
2024-07-29Rollup merge of #128277 - RalfJung:offset_from_wildcard, r=oli-obkMatthias Krüger-3/+28
2024-07-29Reformat `use` declarations.Nicholas Nethercote-5/+2
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-3/+9
2024-07-27miri: fix offset_from behavior on wildcard pointersRalf Jung-0/+19
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-6/+8
2024-06-21add as_ptr to trait AllocBytes, fix 2 impls; add pub fn get_bytes_unchecked_r...Strophox-0/+17
2024-06-12Rollup merge of #126328 - RalfJung:is_none_or, r=workingjubileeJubilee-1/+1
2024-06-12use is_none_or in some places in the compilerRalf Jung-1/+1
2024-06-12Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obkGuillaume Gomez-5/+12
2024-06-11interpret: dyn trait metadata check: equate traits in a proper wayRalf Jung-3/+1
2024-06-10interpret: refactor dyn trait handlingRalf Jung-5/+14
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-1/+1
2024-05-27miri: avoid making a full copy of all new allocationsRalf Jung-6/+8
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-12/+12
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+2
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-20/+19
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-3/+5
2024-04-17interpret: rename base_pointer -> root_pointerRalf Jung-6/+6
2024-04-17interpret: pass MemoryKind to adjust_alloc_base_pointerRalf Jung-2/+8
2024-04-16Rollup merge of #124024 - RalfJung:interpret-comment, r=oli-obkMatthias Krüger-1/+0
2024-04-16interpret: remove outdated commentRalf Jung-1/+0
2024-04-16interpret: pass MemoryKind to before_memory_deallocationRalf Jung-0/+1
2024-03-22Rollup merge of #122537 - RalfJung:interpret-allocation, r=oli-obkMatthias Krüger-3/+14
2024-03-17interpret/memory: explain why we use == on boolRalf Jung-0/+2
2024-03-15interpret/allocation: fix aliasing issue in interpreter and refactor getters ...Ralf Jung-3/+14
2024-03-13Auto merge of #122240 - RalfJung:miri-addr-reuse, r=oli-obkbors-1/+2
2024-03-12Ensure nested allocations in statics do not get deduplicatedOli Scherer-10/+28
2024-03-09interpret: do not call machine read hooks during validationRalf Jung-5/+38
2024-03-09interpret: pass Size and Align to before_memory_deallocationRalf Jung-1/+2
2024-02-15Auto merge of #120931 - chenyukang:yukang-cleanup-hashmap, r=michaelwoeristerbors-5/+5
2024-02-15Do not allocate a second "background" alloc id for the main allocation of a s...Oli Scherer-4/+20
2024-02-14clean up potential_query_instability with FxIndexMap and UnordMapyukang-5/+5
2024-02-10interpret: rename ReadExternStatic → ExternStaticRalf Jung-1/+1
2024-01-26interpret/memory: fix safety comment for large array memset optimizationRalf Jung-5/+4
2024-01-17Optimize large array creation in const-evalMark Rousskov-12/+19
2023-12-23interpret/memory: explain why we check is_thread_local_staticRalf Jung-0/+6
2023-12-07compile-time evaluation: emit a lint when a write through an immutable pointe...Ralf Jung-7/+7
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-4/+4
2023-12-03miri: support 'promising' alignment for symbolic alignment checkRalf Jung-2/+7