src/tools/miri/tests/fail/both_borrows/illegal_write5.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//@revisions: stack tree
//@[tree]compile-flags: -Zmiri-tree-borrows

// A callee may not write to the destination of our `&mut` without us noticing.

fn main() {
    let mut x = 15;
    let xraw = &mut x as *mut _;
    // Derived from raw value, so using raw value is still ok ...
    let xref = unsafe { &mut *xraw };
    callee(xraw);
    // ... though any use of raw value will invalidate our ref.
    let _val = *xref;
    //~[stack]^ ERROR: /read access .* tag does not exist in the borrow stack/
    //~[tree]| ERROR: /read access through .* is forbidden/
}

fn callee(xraw: *mut i32) {
    unsafe { *xraw = 15 };
}