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

fn main() {
    unsafe { *std::ptr::null_mut() = 0i32 }; //~ ERROR invalid use of NULL pointer
}