src/tools/miri/tests/fail/dangling_pointers/dangling_pointer_deref.rs


1
2
3
4
5
6
7
8
9
10
11

// Make sure we find these even with many checks disabled.
//@compile-flags: -Zmiri-disable-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-disable-validation

fn main() {
    let p = {
        let b = Box::new(42);
        &*b as *const i32
    };
    let x = unsafe { *p }; //~ ERROR: has been freed
    panic!("this should never print: {}", x);
}