PR c++/24996

        * except.c (build_throw): Add a CLEANUP_POINT_EXPR inside the
        TRY_CATCH_EXPR or MUST_NOT_THROW_EXPR.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@110889 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index c85115e..cbab739 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2006-02-12  Jason Merrill  <jason@redhat.com>
+
+       PR c++/24996
+       * except.c (build_throw): Add a CLEANUP_POINT_EXPR inside the 
+       TRY_CATCH_EXPR or MUST_NOT_THROW_EXPR.
+
 2006-02-10  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
 
        * class.c (debug_class): Remove extern.

diff --git a/gcc/cp/except.c b/gcc/cp/except.c
index be7208e..9041342 100644 (file)
--- a/gcc/cp/except.c
+++ b/gcc/cp/except.c
@@ -722,6 +722,7 @@ build_throw (tree exp)
       temp_expr = NULL_TREE;
       stabilize_init (exp, &temp_expr);
 
+      exp = build1 (CLEANUP_POINT_EXPR, TREE_TYPE (exp), exp);
       if (elided)
        exp = build2 (TRY_CATCH_EXPR, void_type_node, exp,
                      do_free_exception (ptr));

diff --git a/gcc/testsuite/g++.dg/eh/cond3.C b/gcc/testsuite/g++.dg/eh/cond3.C
new file mode 100644 (file)
index 0000000..0af4ecd
--- /dev/null
+++ b/gcc/testsuite/g++.dg/eh/cond3.C
@@ -0,0 +1,10 @@
+// PR c++/24996
+// Bug: the cleanup for the A temporary was confusing the gimplifier
+// because of the TRY_CATCH_EXPR for the exception object.
+
+struct A { A(int); ~A(); };
+struct B { B(A); ~B(); };
+void foo(bool b)
+{
+  throw b ? B(1) : B(1);
+}