about summary refs log tree commit diff
path: root/src/test/ui/mir/issue-76740-copy-propagation.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/mir/issue-76740-copy-propagation.rs')
-rw-r--r--src/test/ui/mir/issue-76740-copy-propagation.rs30
1 files changed, 0 insertions, 30 deletions
diff --git a/src/test/ui/mir/issue-76740-copy-propagation.rs b/src/test/ui/mir/issue-76740-copy-propagation.rs
deleted file mode 100644
index 1d4ec11762a..00000000000
--- a/src/test/ui/mir/issue-76740-copy-propagation.rs
+++ /dev/null
@@ -1,30 +0,0 @@
-// Regression test for issue #76740.
-// run-pass
-// compile-flags: -Zmir-opt-level=4
-
-#[derive(Copy, Clone)]
-pub struct V([usize; 4]);
-
-impl V {
-    fn new() -> Self {
-        V([0; 4])
-    }
-
-    #[inline(never)]
-    fn check(mut self) {
-        assert_eq!(self.0[0], 0);
-        self.0[0] = 1;
-    }
-}
-
-fn main() {
-    let v = V::new();
-    let mut i = 0;
-    while i != 10 {
-        // Copy propagation incorrectly assumed that Operand::Move does not
-        // mutate the local, and used the same v for each V::check call,
-        // rather than a copy.
-        v.check();
-        i += 1;
-    }
-}