add test for validation finding use-after-free

diff --git a/tests/compile-fail/validity/dangling_ref3.rs b/tests/compile-fail/validity/dangling_ref3.rs
new file mode 100644 (file)
index 0000000..46e1737
--- /dev/null
+++ b/tests/compile-fail/validity/dangling_ref3.rs
@@ -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)
+}