blob: af124776402d058dcd822b965c752f95d6c0bbfc [file] [log] [blame]
note: created Miri bare-metal heap allocation of 123 bytes (alignment ALIGN bytes) with id $ALLOC
--> tests/pass/alloc-access-tracking.rs:LL:CC
|
LL | let ptr = miri_alloc(123, 1);
| ^^^^^^^^^^^^^^^^^^ tracking was triggered here
|
= note: BACKTRACE:
= note: inside `miri_start` at tests/pass/alloc-access-tracking.rs:LL:CC
note: write access to allocation with id $ALLOC
--> 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: BACKTRACE:
= note: inside `miri_start` at tests/pass/alloc-access-tracking.rs:LL:CC
note: read access to allocation with id $ALLOC
--> tests/pass/alloc-access-tracking.rs:LL:CC
|
LL | assert_eq!(*ptr, 42);
| ^^^^^^^^^^^^^^^^^^^^ tracking was triggered here
|
= note: BACKTRACE:
= note: inside `miri_start` at RUSTLIB/core/src/macros/mod.rs:LL:CC
= note: this note originates in the macro `assert_eq` (in Nightly builds, run with -Z macro-backtrace for more info)
note: freed allocation with id $ALLOC
--> tests/pass/alloc-access-tracking.rs:LL:CC
|
LL | miri_dealloc(ptr, 123, 1);
| ^^^^^^^^^^^^^^^^^^^^^^^^^ tracking was triggered here
|
= note: BACKTRACE:
= note: inside `miri_start` at tests/pass/alloc-access-tracking.rs:LL:CC