1 files changed, 28 insertions, 0 deletions
diff --git a/tests/ui/mir-dataflow/liveness-ptr.rs b/tests/ui/mir-dataflow/liveness-ptr.rs
new file mode 100644
index 00000000000..786da523a33
--- /dev/null
+++ b/tests/ui/mir-dataflow/liveness-ptr.rs
@@ -0,0 +1,28 @@
+#![feature(core_intrinsics, rustc_attrs)]
+
+use std::intrinsics::rustc_peek;
+
+#[rustc_mir(rustc_peek_liveness, stop_after_dataflow)]
+fn foo() -> i32 {
+    let mut x: i32;
+    let mut p: *const i32;
+
+    x = 0;
+
+    // `x` is live here since it is used in the next statement...
+    rustc_peek(x);
+
+    p = &x;
+
+    // ... but not here, even while it can be accessed through `p`.
+    rustc_peek(x); //~ ERROR rustc_peek: bit not set
+    let tmp = unsafe { *p };
+
+    x = tmp + 1;
+
+    rustc_peek(x);
+
+    x
+}
+
+fn main() {}