14 lines
597 B
Rust
14 lines
597 B
Rust
|
// compile-flags: -Zmiri-track-raw-pointers
|
||
|
|
// ignore-windows (FIXME: tracking raw pointers does not work on Windows)
|
||
|
|
//! This demonstrates a provenance problem that requires tracking of raw pointers to be detected.
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
let mut l = 13;
|
||
|
|
let raw1 = &mut l as *mut _;
|
||
|
|
let raw2 = &mut l as *mut _; // invalidates raw1
|
||
|
|
// Without raw pointer tracking, Stacked Borrows cannot distinguish raw1 and raw2, and thus
|
||
|
|
// fails to realize that raw1 should not be used any more.
|
||
|
|
unsafe { *raw1 = 13; } //~ ERROR no item granting write access to tag
|
||
|
|
unsafe { *raw2 = 13; }
|
||
|
|
}
|