src/tools/miri/tests/fail/provenance/ptr_invalid.rs

   1 #![feature(strict_provenance)]
   2
   3 // Ensure that a `ptr::invalid` ptr is truly invalid.
   4 fn main() {
   5     let x = 42;
   6     let xptr = &x as *const i32;
   7     let xptr_invalid = std::ptr::invalid::<i32>(xptr.expose_addr());
   8     let _val = unsafe { *xptr_invalid }; //~ ERROR: is a dangling pointer
   9 }