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

// compile-flags: -Zmiri-seed=0000000000000000

fn main() {
    let x: i32 = unsafe { *std::ptr::null() }; //~ ERROR invalid use of NULL pointer
    panic!("this should never print: {}", x);
}