1 //@compile-flags: -Zmiri-strict-provenance
2 #![feature(strict_provenance)]
6 let ptr = &x as *const _ as *const u8;
7 let roundtrip = std::ptr::invalid::<u8>(ptr as usize);
8 // Not even offsetting this is allowed.
9 let _ = unsafe { roundtrip.offset(1) }; //~ERROR: is a dangling pointer