summaryrefslogtreecommitdiffstats
path: root/tests/run-make/foreign-double-unwind/foo.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/run-make/foreign-double-unwind/foo.rs')
-rw-r--r--tests/run-make/foreign-double-unwind/foo.rs26
1 files changed, 26 insertions, 0 deletions
diff --git a/tests/run-make/foreign-double-unwind/foo.rs b/tests/run-make/foreign-double-unwind/foo.rs
new file mode 100644
index 000000000..cae8aa940
--- /dev/null
+++ b/tests/run-make/foreign-double-unwind/foo.rs
@@ -0,0 +1,26 @@
+// Tests that C++ double unwinding through Rust code will be properly guarded
+// against instead of exhibiting undefined behaviour.
+
+#![feature(c_unwind)]
+
+extern "C-unwind" {
+ fn throw_cxx_exception();
+ fn cxx_catch_callback(cb: extern "C-unwind" fn());
+}
+
+struct ThrowOnDrop;
+
+impl Drop for ThrowOnDrop {
+ fn drop(&mut self) {
+ unsafe { throw_cxx_exception() };
+ }
+}
+
+extern "C-unwind" fn test_double_unwind() {
+ let _a = ThrowOnDrop;
+ let _b = ThrowOnDrop;
+}
+
+fn main() {
+ unsafe { cxx_catch_callback(test_double_unwind) };
+}