blob: c91f4ec158fee1bda867c38ab20fbdcc6c519e3c (
plain)
1
2
3
4
5
6
7
|
// Ensure that a `ptr::without_provenance` ptr is truly invalid.
fn main() {
let x = 42;
let xptr = &x as *const i32;
let xptr_invalid = std::ptr::without_provenance::<i32>(xptr.expose_provenance());
let _val = unsafe { *xptr_invalid }; //~ ERROR: is a dangling pointer
}
|
