From d38ef55bac40228f56451376c85136d4b577d784 Mon Sep 17 00:00:00 2001 From: jakub Date: Tue, 16 Sep 2008 22:06:28 +0000 Subject: PR c++/37530 * gimplify.c (gimplify_expr) : Don't create GIMPLE_TRY if cleanup sequence is empty. * g++.dg/parse/crash48.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@140401 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 6 ++++++ gcc/gimplify.c | 7 +++++++ gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/g++.dg/parse/crash48.C | 9 +++++++++ 4 files changed, 25 insertions(+) create mode 100644 gcc/testsuite/g++.dg/parse/crash48.C diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a419a8fbbaf..d5e0a1c67da 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-09-16 Jakub Jelinek + + PR c++/37530 + * gimplify.c (gimplify_expr) : Don't create + GIMPLE_TRY if cleanup sequence is empty. + 2008-09-16 Andrew Pinski PR middle-end/37263 diff --git a/gcc/gimplify.c b/gcc/gimplify.c index 4f522577e61..81b21c5fa66 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -6586,6 +6586,13 @@ gimplify_expr (tree *expr_p, gimple_seq *pre_p, gimple_seq *post_p, eval = cleanup = NULL; gimplify_and_add (TREE_OPERAND (*expr_p, 0), &eval); gimplify_and_add (TREE_OPERAND (*expr_p, 1), &cleanup); + /* Don't create bogus GIMPLE_TRY with empty cleanup. */ + if (gimple_seq_empty_p (cleanup)) + { + gimple_seq_add_seq (pre_p, eval); + ret = GS_ALL_DONE; + break; + } try_ = gimple_build_try (eval, cleanup, TREE_CODE (*expr_p) == TRY_FINALLY_EXPR ? GIMPLE_TRY_FINALLY diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index eb26941fd0b..9c414a556f3 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2008-09-16 Jakub Jelinek + PR c++/37530 + * g++.dg/parse/crash48.C: New test. + PR c++/37531 * g++.dg/parse/crash47.C: New test. diff --git a/gcc/testsuite/g++.dg/parse/crash48.C b/gcc/testsuite/g++.dg/parse/crash48.C new file mode 100644 index 00000000000..45415484b4a --- /dev/null +++ b/gcc/testsuite/g++.dg/parse/crash48.C @@ -0,0 +1,9 @@ +// PR c++/37530 +// { dg-do compile } + +void +foo (bool b) +{ + if (b) + try { throw 0; } catch (X) { } // { dg-error "expected type-specifier before" } +} -- cgit v1.2.1