summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/memory.rs
AgeCommit message (Expand)AuthorLines
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
2023-11-22Miri: GC the dead_alloc_map tooBen Kimock-0/+11
2023-11-19Expand Miri's BorTag GC to a Provenance GCBen Kimock-0/+9
2023-10-25Move provenance checks out of interning method.Camille GILLOT-1/+1
2023-10-19Rollup merge of #116650 - RalfJung:miri-intptrcast, r=oli-obkMatthias Krüger-0/+10
2023-10-16Auto merge of #114330 - RalfJung:dagling-ptr-deref, r=oli-obkbors-66/+76
2023-10-15separate bounds-check from alignment checkRalf Jung-81/+48
2023-10-15more precise error for 'based on misaligned pointer' caseRalf Jung-6/+16
2023-10-15avoid computing misalignment if we won't act on itRalf Jung-6/+11
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-32/+60
2023-10-14interpret: clean up AllocBytesRalf Jung-11/+0
2023-10-14Auto merge of #115524 - RalfJung:misalign, r=wesleywiserbors-31/+18
2023-10-13add some comments and some cleanup around Miri intptrcastRalf Jung-0/+10
2023-09-30dont call mir.post_mono_checks in codegenRalf Jung-1/+1
2023-09-26const-eval: make misalignment a hard errorRalf Jung-31/+18
2023-09-14make it more clear which functions create fresh AllocIdRalf Jung-5/+2
2023-08-03Rollup merge of #114363 - RalfJung:interpret-not-miri, r=jackh726Matthias Krüger-1/+1
2023-08-02avoid 'miri' when refering to the shared interpreterRalf Jung-1/+1
2023-08-01properly track why we checked whether a pointer is in-boundsRalf Jung-8/+15
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-2/+2
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-26/+15
2023-07-21CTFE: move `target_{i, u}size_{min, max)` to `rustc_abi::TargetDataLayout`Moulins-1/+1
2023-07-21support non-null pointer niches in CTFEMoulins-15/+26
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-5/+1