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

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

fn main() {
    let p = 44 as *const i32;
    let x = unsafe { *p }; //~ ERROR invalid use of 44 as a pointer
    panic!("this should never print: {}", x);
}