summaryrefslogtreecommitdiffstats
path: root/src/test/run-make-fulldeps/foreign-double-unwind
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
commit698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch)
tree173a775858bd501c378080a10dca74132f05bc50 /src/test/run-make-fulldeps/foreign-double-unwind
parentInitial commit. (diff)
downloadrustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.tar.xz
rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.zip
Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/run-make-fulldeps/foreign-double-unwind')
-rw-r--r--src/test/run-make-fulldeps/foreign-double-unwind/Makefile10
-rw-r--r--src/test/run-make-fulldeps/foreign-double-unwind/foo.cpp33
-rw-r--r--src/test/run-make-fulldeps/foreign-double-unwind/foo.rs26
3 files changed, 69 insertions, 0 deletions
diff --git a/src/test/run-make-fulldeps/foreign-double-unwind/Makefile b/src/test/run-make-fulldeps/foreign-double-unwind/Makefile
new file mode 100644
index 000000000..27cf4d19c
--- /dev/null
+++ b/src/test/run-make-fulldeps/foreign-double-unwind/Makefile
@@ -0,0 +1,10 @@
+-include ../tools.mk
+
+all: foo
+ $(call RUN,foo) | $(CGREP) -v unreachable
+
+foo: foo.rs $(call NATIVE_STATICLIB,foo)
+ $(RUSTC) $< -lfoo $(EXTRARSCXXFLAGS)
+
+$(TMPDIR)/libfoo.o: foo.cpp
+ $(call COMPILE_OBJ_CXX,$@,$<)
diff --git a/src/test/run-make-fulldeps/foreign-double-unwind/foo.cpp b/src/test/run-make-fulldeps/foreign-double-unwind/foo.cpp
new file mode 100644
index 000000000..69a8f11c2
--- /dev/null
+++ b/src/test/run-make-fulldeps/foreign-double-unwind/foo.cpp
@@ -0,0 +1,33 @@
+#include <cstdio>
+#include <exception>
+
+void println(const char* s) {
+ puts(s);
+ fflush(stdout);
+}
+
+struct outer_exception {};
+struct inner_exception {};
+
+extern "C" {
+ void throw_cxx_exception() {
+ if (std::uncaught_exception()) {
+ println("throwing inner C++ exception");
+ throw inner_exception();
+ } else {
+ println("throwing outer C++ exception");
+ throw outer_exception();
+ }
+ }
+
+ void cxx_catch_callback(void (*cb)()) {
+ try {
+ cb();
+ println("unreachable: callback returns");
+ } catch (outer_exception) {
+ println("unreachable: caught outer exception in catch (...)");
+ } catch (inner_exception) {
+ println("unreachable: caught inner exception in catch (...)");
+ }
+ }
+}
diff --git a/src/test/run-make-fulldeps/foreign-double-unwind/foo.rs b/src/test/run-make-fulldeps/foreign-double-unwind/foo.rs
new file mode 100644
index 000000000..cae8aa940
--- /dev/null
+++ b/src/test/run-make-fulldeps/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) };
+}