//@compile-flags: -Zmiri-tree-borrows

// Check that in the case of locations outside the range of a pointer,
// protectors trigger if and only if the location has already been accessed
fn main() {
    unsafe {
        let data = &mut [0u8, 1, 2, 3];
        let raw = data.as_mut_ptr();
        stuff(&mut *raw, raw);
    }
}

unsafe fn stuff(x: &mut u8, y: *mut u8) {
    let xraw = x as *mut u8;
    // No issue here: location 1 is not accessed
    *y.add(1) = 42;
    // Still no issue: location 2 is not invalidated
    let _val = *xraw.add(2);
    // However protector triggers if location is both accessed and invalidated
    let _val = *xraw.add(3);
    *y.add(3) = 42; //~ ERROR: /write access through .* is forbidden/
}