src/tools/miri/tests/fail/stacked_borrows/unescaped_local.rs

   1 //@compile-flags: -Zmiri-permissive-provenance
   2
   3 // Make sure we cannot use raw ptrs to access a local that
   4 // we took the direct address of.
   5 fn main() {
   6     let mut x = 42;
   7     let raw = &mut x as *mut i32 as usize as *mut i32;
   8     let _ptr = &mut x;
   9     unsafe {
  10         *raw = 13; //~ ERROR: /write access .* no exposed tags/
  11     }
  12 }