summaryrefslogtreecommitdiffstats
path: root/src/test/mir-opt/array_index_is_temporary.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/mir-opt/array_index_is_temporary.rs')
-rw-r--r--src/test/mir-opt/array_index_is_temporary.rs17
1 files changed, 0 insertions, 17 deletions
diff --git a/src/test/mir-opt/array_index_is_temporary.rs b/src/test/mir-opt/array_index_is_temporary.rs
deleted file mode 100644
index e7bde81d4..000000000
--- a/src/test/mir-opt/array_index_is_temporary.rs
+++ /dev/null
@@ -1,17 +0,0 @@
-// Retagging (from Stacked Borrows) relies on the array index being a fresh
-// temporary, so that side-effects cannot change it.
-// Test that this is indeed the case.
-
-unsafe fn foo(z: *mut usize) -> u32 {
- *z = 2;
- 99
-}
-
-
-// EMIT_MIR array_index_is_temporary.main.SimplifyCfg-elaborate-drops.after.mir
-fn main() {
- let mut x = [42, 43, 44];
- let mut y = 1;
- let z: *mut usize = &mut y;
- x[y] = unsafe { foo(z) };
-}