about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/memory.rs
AgeCommit message (Expand)AuthorLines
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
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-20/+43
2023-04-16Report a backtrace for memory leaks under MiriBen Kimock-12/+15
2023-02-20Minimal changes to make miri workRune Tynan-3/+7
2023-02-20Fix alloc_base_addr typeRune Tynan-1/+1
2023-02-20Allow non-`Box` allocations in preparation for aligned const allocations for ...Rune Tynan-15/+27
2023-02-16changes from reviewKyle Matsuda-1/+5
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-1/+1
2023-02-07miri: fix ICE when running out of address spaceRalf Jung-7/+5
2023-01-30Use `Mutability::{is_mut, is_not}`Maybe Waffle-2/+2
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-2/+2
2023-01-17`rustc_const_eval`: remove `ref` patterns (+some pattern matching imps)Maybe Waffle-1/+1
2022-12-15Move alignment failure error reporting to machineOli Scherer-39/+2
2022-12-15Make alignment checks a future incompat lintOli Scherer-21/+62
2022-12-15Always pass alignment and handle checking lazilyOli Scherer-9/+17
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-2/+3
2022-11-15Auto merge of #104054 - RalfJung:byte-provenance, r=oli-obkbors-23/+18
2022-11-14assert that we are (de)seiralizing ProvenanceMap correctlyRalf Jung-2/+2
2022-11-13add is_sized method on Abi and Layout, and use itRalf Jung-1/+1
2022-11-06move InitMask to its own moduleRalf Jung-3/+3
2022-11-06interpret: support for per-byte provenanceRalf Jung-20/+15
2022-10-14more dupe word typosRageking8-1/+1