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

   1 //@compile-flags: -Zmiri-strict-provenance
   2 #![feature(strict_provenance)]
   3
   4 fn main() {
   5     let x = 22;
   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
  10 }