rust/tests/fail/dangling_pointers/wild_pointer_deref.rs

//@compile-flags: -Zmiri-permissive-provenance

fn main() {
    let p = 44 as *const i32;
    let x = unsafe { *p }; //~ ERROR: is a dangling pointer
    panic!("this should never print: {}", x);
}
Port all tests 2022-07-08 16:08:32 +00:00			`//@compile-flags: -Zmiri-permissive-provenance`
more int2ptr cast tests, and fix casting of addresses inside dead allocations 2022-06-26 21:26:14 -04:00
don't use `#[miri_run]` anymore, but execute the `main` function 2016-06-13 14:27:05 +02:00			`fn main() {`
memory: make sure we check non-NULL/undef even fore 0-sized accesses 2017-08-25 14:41:59 +02:00			`let p = 44 as *const i32;`
require level and colon in `//~` style comments 2022-07-11 11:44:55 +00:00			`let x = unsafe { *p }; //~ ERROR: is a dangling pointer`
don't use `#[miri_run]` anymore, but execute the `main` function 2016-06-13 14:27:05 +02:00			`panic!("this should never print: {}", x);`
			`}`