Auto merge of #104572 - pkubaj:patch-1, r=cuviper

[rust.git] / src / tools / miri / tests / fail / dangling_pointers / null_pointer_deref.rs

#[allow(deref_nullptr)]
fn main() {
    let x: i32 = unsafe { *std::ptr::null() }; //~ ERROR: null pointer is a dangling pointer
    panic!("this should never print: {}", x);
}