rust/tests/compile-fail/stacked_borrows/mut_exclusive_violation1.rs

30 lines
561 B
Rust
Raw Normal View History

fn demo_mut_advanced_unique(our: &mut i32) -> i32 {
unknown_code_1(&*our);
// This "re-asserts" uniqueness of the reference: After writing, we know
// our tag is at the top of the stack.
*our = 5;
unknown_code_2();
// We know this will return 5
*our
}
// Now comes the evil context
use std::ptr;
static mut LEAK: *mut i32 = ptr::null_mut();
fn unknown_code_1(x: &i32) { unsafe {
LEAK = x as *const _ as *mut _;
} }
fn unknown_code_2() { unsafe {
2018-11-15 12:49:00 -06:00
*LEAK = 7; //~ ERROR barrier
} }
fn main() {
demo_mut_advanced_unique(&mut 0);
}