23 lines
381 B
Rust
23 lines
381 B
Rust
// ignore-test validation_op is disabled
|
|
|
|
#![allow(unused_variables)]
|
|
|
|
static mut PTR: *mut u8 = 0 as *mut _;
|
|
|
|
fn fun1(x: &mut u8) {
|
|
unsafe {
|
|
PTR = x;
|
|
}
|
|
}
|
|
|
|
fn fun2() {
|
|
// Now we use a pointer we are not allowed to use
|
|
let _x = unsafe { *PTR }; //~ ERROR: in conflict with lock WriteLock
|
|
}
|
|
|
|
fn main() {
|
|
let mut val = 0;
|
|
fun1(&mut val);
|
|
fun2();
|
|
}
|