1 // Make sure we find these even with many checks disabled.
2 //@compile-flags: -Zmiri-disable-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-disable-validation
9 let x = unsafe { *p }; //~ ERROR: dereferenced after this allocation got freed
10 panic!("this should never print: {}", x);