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

   1 fn main() {
   2     let v = [0i8; 4];
   3     let x = &v as *const i8;
   4     // The error is inside another function, so we cannot match it by line
   5     let x = unsafe { x.offset(5) }; //~ERROR: pointer to 5 bytes starting at offset 0 is out-of-bounds
   6     panic!("this should never print: {:?}", x);
   7 }