]> git.lizzy.rs Git - rust.git/blob - src/tools/miri/tests/fail/dangling_pointers/wild_pointer_deref.rs
Rollup merge of #102082 - andrewpollack:uid-ignore, r=tmandry
[rust.git] / src / tools / miri / tests / fail / dangling_pointers / wild_pointer_deref.rs
1 //@compile-flags: -Zmiri-permissive-provenance
2
3 fn main() {
4     let p = 44 as *const i32;
5     let x = unsafe { *p }; //~ ERROR: is a dangling pointer
6     panic!("this should never print: {}", x);
7 }