summaryrefslogtreecommitdiffstats
path: root/src/test/mir-opt/address-of.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/mir-opt/address-of.rs')
-rw-r--r--src/test/mir-opt/address-of.rs47
1 files changed, 47 insertions, 0 deletions
diff --git a/src/test/mir-opt/address-of.rs b/src/test/mir-opt/address-of.rs
new file mode 100644
index 000000000..c4bea5613
--- /dev/null
+++ b/src/test/mir-opt/address-of.rs
@@ -0,0 +1,47 @@
+// EMIT_MIR address_of.address_of_reborrow.SimplifyCfg-initial.after.mir
+
+fn address_of_reborrow() {
+ let y = &[0; 10];
+ let mut z = &mut [0; 10];
+
+ y as *const _;
+ y as *const [i32; 10];
+ y as *const dyn Send;
+ y as *const [i32];
+ y as *const i32; // This is a cast, not a coercion
+
+ let p: *const _ = y;
+ let p: *const [i32; 10] = y;
+ let p: *const dyn Send = y;
+ let p: *const [i32] = y;
+
+ z as *const _;
+ z as *const [i32; 10];
+ z as *const dyn Send;
+ z as *const [i32];
+
+ let p: *const _ = z;
+ let p: *const [i32; 10] = z;
+ let p: *const dyn Send = z;
+ let p: *const [i32] = z;
+
+ z as *mut _;
+ z as *mut [i32; 10];
+ z as *mut dyn Send;
+ z as *mut [i32];
+
+ let p: *mut _ = z;
+ let p: *mut [i32; 10] = z;
+ let p: *mut dyn Send = z;
+ let p: *mut [i32] = z;
+}
+
+// The normal borrows here should be preserved
+// EMIT_MIR address_of.borrow_and_cast.SimplifyCfg-initial.after.mir
+fn borrow_and_cast(mut x: i32) {
+ let p = &x as *const i32;
+ let q = &mut x as *const i32;
+ let r = &mut x as *mut i32;
+}
+
+fn main() {}