blob: 18eafb618698f16445ccc9ca0bd33983fa1e7ed4 (
plain)
1
2
3
4
5
6
7
8
9
10
|
//@ run-fail
//@ compile-flags: -C debug-assertions
//@ error-pattern: null pointer dereference occurred
fn main() {
let ptr: *mut u32 = std::ptr::null_mut();
unsafe {
let _v = *ptr;
}
}
|