From 2973063fa32155873aaeb37a7399d3c592afda5c Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 2 Aug 2019 14:26:15 +0200
Subject: [PATCH] test dangling ZST deref

---
 tests/compile-fail/dangling_zst_deref.rs | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 tests/compile-fail/dangling_zst_deref.rs

diff --git a/tests/compile-fail/dangling_zst_deref.rs b/tests/compile-fail/dangling_zst_deref.rs
new file mode 100644
index 00000000000..0a8480675f3
--- /dev/null
+++ b/tests/compile-fail/dangling_zst_deref.rs
@@ -0,0 +1,7 @@
+fn main() {
+    let p = {
+        let b = Box::new(42);
+        &*b as *const i32 as *const ()
+    };
+    let _x = unsafe { *p }; //~ ERROR dangling pointer was dereferenced
+}