blob: fefac3a7212c98969f77e5dd15a58d0b2a9064cc [file] [log] [blame]
//@ run-fail
//@ compile-flags: -C debug-assertions
//@ error-pattern: null pointer dereference occurred
fn main() {
let ptr: *const u32 = std::ptr::null();
let _ptr: &u32 = unsafe { &*ptr };
}