diff options
| author | Strophox <strophox@gmail.com> | 2024-04-03 20:11:44 +0200 |
|---|---|---|
| committer | Strophox <strophox@gmail.com> | 2024-05-16 16:04:20 +0200 |
| commit | 983fb093ff10a98e8416c10e540f362d50c93f6a (patch) | |
| tree | 842f77636e578b7f0aa7bc8e4ae5df84e01c8bed /tests/ui/patchable-function-entry/patchable-function-entry-flags.rs | |
| parent | d0b2c6611b44e0f1712d2cfea4ef54f1f50fa3ee (diff) | |
| download | rust-983fb093ff10a98e8416c10e540f362d50c93f6a.tar.gz rust-983fb093ff10a98e8416c10e540f362d50c93f6a.zip | |
start implementing MiriAllocBytes
attempt changing Bytes in MiriMachine to MiriAllocBytes rename miri_alloc_bytes to alloc_bytes generalize impl VisitProvenance for Allocation for any Bytes: AllocBytes mend MiriAllocBytes -> Self::Bytes fix Invariant documentation and bugs (drop), impl Clone Update MiriAllocBytes description Co-authored-by: Ralf Jung <post@ralfj.de> Rephrase MiriAllocBytes ptr invariant Co-authored-by: Ralf Jung <post@ralfj.de> Update MiriAllocBytes ptr documentation Co-authored-by: Ralf Jung <post@ralfj.de> fix safety comment in MiriAllocBytes::clone fix safety comment in MiriAllocBytes::from_bytes try implementing clone without unsafe remove derive(PartialEq,Eq,Hash), fix fmt move ptr.is_null() check inside only necessary branch use std::ptr::without_provenance_mut, requiring feature(strict_provenance) align.bytes_usize() instead of align.bytes().try_into().unwrap() Update src/provenance_gc.rs Co-authored-by: Ralf Jung <post@ralfj.de> fix clippy error on deref
Diffstat (limited to 'tests/ui/patchable-function-entry/patchable-function-entry-flags.rs')
0 files changed, 0 insertions, 0 deletions