Skip to content

Commit 77cc0cd

Browse files
committed
add test for validation finding use-after-free
1 parent e6e8773 commit 77cc0cd

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed
Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
use std::mem;
2+
3+
fn dangling() -> *const u8 {
4+
let x = 0u8;
5+
&x as *const _
6+
}
7+
8+
fn main() {
9+
let _x: &i32 = unsafe { mem::transmute(dangling()) }; //~ ERROR dangling reference (use-after-free)
10+
}

0 commit comments

Comments
 (0)