FileCheck and rename const_prop_fails_gracefully.

rust-lang · Dec 2, 2023 · 043d29b · 043d29b
1 parent 7f328d2
commit 043d29b
Show file tree

Hide file tree

Showing 4 changed files with 18 additions and 12 deletions.
diff --git a/tests/mir-opt/const_prop/const_prop_fails_gracefully.rs b/tests/mir-opt/const_prop/const_prop_fails_gracefully.rs
diff --git a/...racefully.main.ConstProp.panic-abort.diff → ...e_address.main.ConstProp.panic-abort.diff b/...racefully.main.ConstProp.panic-abort.diff → ...e_address.main.ConstProp.panic-abort.diff
diff --git a/...acefully.main.ConstProp.panic-unwind.diff → ..._address.main.ConstProp.panic-unwind.diff b/...acefully.main.ConstProp.panic-unwind.diff → ..._address.main.ConstProp.panic-unwind.diff
diff --git a/tests/mir-opt/const_prop/pointer_expose_address.rs b/tests/mir-opt/const_prop/pointer_expose_address.rs
@@ -0,0 +1,18 @@
+// EMIT_MIR_FOR_EACH_PANIC_STRATEGY
+// unit-test: ConstProp
+
+#[inline(never)]
+fn read(_: usize) { }
+
+// EMIT_MIR pointer_expose_address.main.ConstProp.diff
+fn main() {
+    // CHECK-LABEL: fn main(
+    // CHECK: [[ptr:_.*]] = const _;
+    // CHECK: [[ref:_.*]] = &raw const (*[[ptr]]);
+    // CHECK: [[x:_.*]] = move [[ref]] as usize (PointerExposeAddress);
+    // CHECK: [[arg:_.*]] = [[x]];
+    // CHECK: = read(move [[arg]])
+    const FOO: &i32 = &1;
+    let x = FOO as *const i32 as usize;
+    read(x);
+}