src/tools/miri/tests/fail/intrinsics/ptr_offset_int_plus_int.rs

   1 //@compile-flags: -Zmiri-permissive-provenance
   2
   3 fn main() {
   4     // Can't offset an integer pointer by non-zero offset.
   5     unsafe {
   6         let _val = (1 as *mut u8).offset(1); //~ERROR: is a dangling pointer
   7     }
   8 }