Auto merge of #1308 - RalfJung:miri, r=RalfJung

[rust.git] / tests / compile-fail / ptr_offset_overflow.rs

//error-pattern: overflowing in-bounds pointer arithmetic
fn main() {
    let v = [1i8, 2];
    let x = &v[1] as *const i8;
    let _val = unsafe { x.offset(isize::MIN) };
}