From: Richard Henderson <rth@redhat.com>
Date: Thu, 16 Jul 2009 17:08:50 +0000 (-0700)
Subject: New test
X-Git-Tag: releases/gcc-4.5.0~4542
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=d19cb53b51428dd2ec0913545ab3b1f4d404b397;p=thirdparty%2Fgcc.git

New test

From-SVN: r149715
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 859a5e9b8125..558a0b9bb9c7 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2009-07-16  Richard Henderson  <rth@redhat.com>
+
+	* g++.dg/opt/eh4.C: New test.
+
 2009-07-16  Jakub Jelinek  <jakub@redhat.com>
 
 	* obj-c++.dg/defs.mm (abort): Make it extern "C".
diff --git a/gcc/testsuite/g++.dg/opt/eh4.C b/gcc/testsuite/g++.dg/opt/eh4.C
new file mode 100644
index 000000000000..0a62ee2db272
--- /dev/null
+++ b/gcc/testsuite/g++.dg/opt/eh4.C
@@ -0,0 +1,59 @@
+// { dg-do run }
+// { dg-options "-O3" }
+
+// Make sure that the call to terminate within F2 is not eliminated
+// by incorrect MUST_NOT_THROW optimization.  Note that we expect F1
+// to be inlined into F2 in order to expose this case.
+
+#include <cstdlib>
+#include <exception>
+
+static volatile int zero = 0;
+
+// Note that we need F0 to not be marked nothrow, though we don't actually
+// want a throw to happen at runtime here.  The noinline tag is merely to
+// make sure the assembly in F0 is not unnecessarily complex.
+static void __attribute__((noinline)) f0()
+{
+  if (zero != 0)
+    throw 0;
+}
+
+struct S1
+{
+  S1() { }
+  ~S1() { f0(); }
+};
+
+static void f1()
+{
+  S1 s1;
+  throw 1;
+}
+
+struct S2
+{
+  S2() { }
+  ~S2() { f1(); }
+};
+
+static void __attribute__((noinline)) f2()
+{
+  S2 s2;
+  throw 2;
+}
+
+static void pass()
+{
+  exit (0);
+}
+
+int main()
+{
+  std::set_terminate (pass);
+  try {
+    f2();
+  } catch (...) {
+  }
+  abort ();
+}