12 lines
436 B
Rust
12 lines
436 B
Rust
// Make sure we find these even with many checks disabled.
|
|
// Some optimizations remove ZST accesses, thus masking this UB.
|
|
// compile-flags: -Zmir-opt-level=0 -Zmiri-disable-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-disable-validation
|
|
|
|
fn main() {
|
|
let p = {
|
|
let b = Box::new(42);
|
|
&*b as *const i32 as *const ()
|
|
};
|
|
let _x = unsafe { *p }; //~ ERROR dereferenced after this allocation got freed
|
|
}
|