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

   1 #![feature(ptr_sub_ptr)]
   2
   3 fn main() {
   4     let arr = [0u8; 8];
   5     let ptr1 = arr.as_ptr();
   6     let ptr2 = ptr1.wrapping_add(4);
   7     let _val = unsafe { ptr1.sub_ptr(ptr2) }; //~ERROR: first pointer has smaller offset than second: 0 < 4
   8 }