rust/tests/compile-fail/validity/transmute_through_ptr.rs

15 lines
349 B
Rust
Raw Normal View History

#[repr(u32)]
enum Bool { True }
fn evil(x: &mut Bool) {
let x = x as *mut _ as *mut u32;
2020-06-20 04:48:42 -05:00
unsafe { *x = 44; } // out-of-bounds enum tag
}
fn main() {
let mut x = Bool::True;
evil(&mut x);
let _y = x; // reading this ought to be enough to trigger validation
2020-06-20 04:48:42 -05:00
//~^ ERROR encountered 0x0000002c, but expected a valid enum tag
}