| //@revisions: stack tree tree_iwrites | |
| //@[tree]compile-flags: -Zmiri-tree-borrows | |
| //@[tree_iwrites]compile-flags: -Zmiri-tree-borrows -Zmiri-tree-borrows-implicit-writes | |
| use std::mem; | |
| fn safe(x: &mut i32, y: &mut i32) { | |
| //~[stack]^ ERROR: protect | |
| //~[tree_iwrites]^^ ERROR: /Undefined Behavior: reborrow through .* at .* is forbidden/ | |
| *x = 1; //~[tree] ERROR: /write access through .* is forbidden/ | |
| *y = 2; | |
| } | |
| fn main() { | |
| let mut x = 0; | |
| let xraw: *mut i32 = unsafe { mem::transmute(&mut x) }; | |
| // We need to apply some tricky to be able to call `safe` with two mutable references | |
| // with the same tag: We transmute both the fn ptr (to take raw ptrs) and the argument | |
| // (to be raw, but still have the unique tag). | |
| let safe_raw: fn(x: *mut i32, y: *mut i32) = | |
| unsafe { mem::transmute::<fn(&mut i32, &mut i32), _>(safe) }; | |
| safe_raw(xraw, xraw); | |
| } |