add test for validation finding use-after-free

This commit is contained in:
Ralf Jung 2020-03-09 10:22:30 +01:00
parent e6e8773272
commit 77cc0cddd9

View File

@ -0,0 +1,10 @@
use std::mem;
fn dangling() -> *const u8 {
let x = 0u8;
&x as *const _
}
fn main() {
let _x: &i32 = unsafe { mem::transmute(dangling()) }; //~ ERROR dangling reference (use-after-free)
}