src/tools/miri/tests/compile-fail/out_of_bounds_ptr_1.rs

// error-pattern: must be in-bounds at offset 5, but is outside bounds of allocation
fn main() {
    let v = [0i8; 4];
    let x = &v as *const i8;
    // The error is inside another function, so we cannot match it by line
    let x = unsafe { x.offset(5) };
    panic!("this should never print: {:?}", x);
}