summaryrefslogtreecommitdiffstats
path: root/tests/ui/cleanup-rvalue-temp-during-incomplete-alloc.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:03 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:03 +0000
commit64d98f8ee037282c35007b64c2649055c56af1db (patch)
tree5492bcf97fce41ee1c0b1cc2add283f3e66cdab0 /tests/ui/cleanup-rvalue-temp-during-incomplete-alloc.rs
parentAdding debian version 1.67.1+dfsg1-1. (diff)
downloadrustc-64d98f8ee037282c35007b64c2649055c56af1db.tar.xz
rustc-64d98f8ee037282c35007b64c2649055c56af1db.zip
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'tests/ui/cleanup-rvalue-temp-during-incomplete-alloc.rs')
-rw-r--r--tests/ui/cleanup-rvalue-temp-during-incomplete-alloc.rs47
1 files changed, 47 insertions, 0 deletions
diff --git a/tests/ui/cleanup-rvalue-temp-during-incomplete-alloc.rs b/tests/ui/cleanup-rvalue-temp-during-incomplete-alloc.rs
new file mode 100644
index 000000000..6cd3781b7
--- /dev/null
+++ b/tests/ui/cleanup-rvalue-temp-during-incomplete-alloc.rs
@@ -0,0 +1,47 @@
+// run-pass
+// needs-unwind
+
+#![allow(unused_must_use)]
+#![allow(dead_code)]
+#![allow(unused_variables)]
+// Test cleanup of rvalue temporary that occurs while `box` construction
+// is in progress. This scenario revealed a rather terrible bug. The
+// ingredients are:
+//
+// 1. Partial cleanup of `box` is in scope,
+// 2. cleanup of return value from `get_bar()` is in scope,
+// 3. do_it() panics.
+//
+// This led to a bug because `the top-most frame that was to be
+// cleaned (which happens to be the partial cleanup of `box`) required
+// multiple basic blocks, which led to us dropping part of the cleanup
+// from the top-most frame.
+//
+// It's unclear how likely such a bug is to recur, but it seems like a
+// scenario worth testing.
+
+// ignore-emscripten no threads support
+
+use std::thread;
+
+enum Conzabble {
+ Bickwick(Foo)
+}
+
+struct Foo { field: Box<usize> }
+
+fn do_it(x: &[usize]) -> Foo {
+ panic!()
+}
+
+fn get_bar(x: usize) -> Vec<usize> { vec![x * 2] }
+
+pub fn fails() {
+ let x = 2;
+ let mut y: Vec<Box<_>> = Vec::new();
+ y.push(Box::new(Conzabble::Bickwick(do_it(&get_bar(x)))));
+}
+
+pub fn main() {
+ thread::spawn(fails).join();
+}