1 files changed, 31 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/eh/spec10.C b/gcc/testsuite/g++.dg/eh/spec10.C
new file mode 100644
index 000000000..a62d24e66
--- /dev/null
+++ b/gcc/testsuite/g++.dg/eh/spec10.C
@@ -0,0 +1,31 @@
+// Make sure that we call terminate when a throw() spec is violated even
+// with -fnothrow-opt.  The function pointers are there to make sure that
+// the compiler doesn't get clever about optimizing the calls based on
+// knowledge about the called functions.
+
+// { dg-options "-fnothrow-opt" }
+// { dg-do run }
+
+#include <exception>
+#include <cstdlib>
+
+void my_terminate ()
+{
+  std::exit (0);
+}
+
+void g() { throw 1; }
+void (*p1)() = g;
+void f() throw() { p1(); }
+void (*p2)() = f;
+void h() { p2(); }
+
+int main()
+{
+  std::set_terminate (my_terminate);
+
+  try { h(); }
+  catch (int) { }
+
+  return 1;
+}