add known-bug test for unsoundness issue rust-lang#107975

Part of the resolution to rust-lang#105107
GrigorenkoPV · Jun 26, 2024 · 97fa7f0 · 97fa7f0
1 parent 2fc136b
commit 97fa7f0
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/tests/ui/codegen/issue-107975-pointer-inequality.rs 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);
+}