From 7d83d694b1e0c85fe21b6fac9c6d2c0b7fc0a409 Mon Sep 17 00:00:00 2001
From: George Burgess IV <george.burgess.iv@gmail.com>
Date: Fri, 24 Feb 2023 22:54:08 -0700
Subject: [PATCH] add `known-bug` test for unsoundness issue #107975

Part of the resolution to #105107
---
 .../codegen/issue-107975-pointer-inequality.rs  | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 tests/ui/codegen/issue-107975-pointer-inequality.rs

diff --git a/tests/ui/codegen/issue-107975-pointer-inequality.rs b/tests/ui/codegen/issue-107975-pointer-inequality.rs
new file mode 100644
index 0000000000000..b3c9d71a9bf70
--- /dev/null
+++ b/tests/ui/codegen/issue-107975-pointer-inequality.rs
@@ -0,0 +1,17 @@
+// run-pass
+// known-bug: #107975
+fn main() {
+    let a: *const u8;
+    let b: *const u8;
+    {
+        let v: [u8; 16] = [core::hint::black_box(0); 16];
+        a = &(v[0]);
+    }
+    {
+        let v: [u8; 16] = [core::hint::black_box(0); 16];
+        b = &(v[0]);
+    }
+    assert_ne!(a, b);
+    println!("{a:?} {b:?}");
+    assert_eq!(a, b);
+}