1 //@compile-flags: -Zmiri-permissive-provenance
3 #[rustfmt::skip] // fails with "left behind trailing whitespace"
6 let _x = x.wrapping_offset(8); // ok, this has no inbounds tag
7 let _x = unsafe { x.offset(0) }; // UB despite offset 0, NULL is never inbounds
8 //~^ERROR: null pointer is a dangling pointer