summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-14875.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/issues/issue-14875.rs')
-rw-r--r--tests/ui/issues/issue-14875.rs35
1 files changed, 35 insertions, 0 deletions
diff --git a/tests/ui/issues/issue-14875.rs b/tests/ui/issues/issue-14875.rs
new file mode 100644
index 000000000..fca330915
--- /dev/null
+++ b/tests/ui/issues/issue-14875.rs
@@ -0,0 +1,35 @@
+// run-pass
+// needs-unwind
+
+// Check that values are not leaked when a dtor panics (#14875)
+
+use std::panic::{self, UnwindSafe};
+
+struct SetInnerOnDrop<'a>(&'a mut bool);
+
+impl<'a> UnwindSafe for SetInnerOnDrop<'a> {}
+
+impl<'a> Drop for SetInnerOnDrop<'a> {
+ fn drop(&mut self) {
+ *self.0 = true;
+ }
+}
+
+struct PanicOnDrop;
+impl Drop for PanicOnDrop {
+ fn drop(&mut self) {
+ panic!("test panic");
+ }
+}
+
+fn main() {
+ let mut set_on_drop = false;
+ {
+ let set_inner_on_drop = SetInnerOnDrop(&mut set_on_drop);
+ let _ = panic::catch_unwind(|| {
+ let _set_inner_on_drop = set_inner_on_drop;
+ let _panic_on_drop = PanicOnDrop;
+ });
+ }
+ assert!(set_on_drop);
+}