blob: 5dfcd0180e4c183724b48974c7d2dcfa83fffc18 [file] [log] [blame] [edit]
note: now tracking allocation ALLOC of 123 bytes (alignment ALIGN bytes)
--> tests/pass/alloc-access-tracking.rs:LL:CC
|
LL | utils::miri_track_alloc(ptr);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tracking was triggered here
note: write access at ALLOC[0..1]
--> tests/pass/alloc-access-tracking.rs:LL:CC
|
LL | *ptr = 42; // Crucially, only a write is printed here, no read!
| ^^^^^^^^^ tracking was triggered here
note: read access at ALLOC[0..1]
--> tests/pass/alloc-access-tracking.rs:LL:CC
|
LL | assert_eq!(*ptr, 42);
| ^^^^^^^^^^^^^^^^^^^^ tracking was triggered here
|
= note: this note originates in the macro `assert_eq` (in Nightly builds, run with -Z macro-backtrace for more info)
note: freed allocation ALLOC
--> RUSTLIB/alloc/src/boxed.rs:LL:CC
|
LL | self.1.deallocate(From::from(ptr.cast()), layout);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tracking was triggered here
|
= note: stack backtrace:
0: <std::boxed::Box<std::mem::MaybeUninit<[u8; 123]>> as std::ops::Drop>::drop
at RUSTLIB/alloc/src/boxed.rs:LL:CC
1: std::ptr::drop_in_place))
at RUSTLIB/core/src/ptr/mod.rs:LL:CC
2: main
at tests/pass/alloc-access-tracking.rs:LL:CC