diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2011-05-26 12:25:21 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2011-05-26 12:25:21 +0200 |
| commit | 1537737f284eaacd8a335d1c8dbfb6cd10b0803b (patch) | |
| tree | ae7149622fb245d57c64ae999c5287bfe155f862 /gcc/gimplify.c | |
| parent | 7b1ac803d3fa6873c336109b1f68be1b62f31300 (diff) | |
| download | gcc-1537737f284eaacd8a335d1c8dbfb6cd10b0803b.zip gcc-1537737f284eaacd8a335d1c8dbfb6cd10b0803b.tar.gz gcc-1537737f284eaacd8a335d1c8dbfb6cd10b0803b.tar.bz2 | |
re PR c++/49165 (ICE on for-loop/throw combination)
PR c++/49165
* gimplify.c (shortcut_cond_r): Don't special case
COND_EXPRs if they have void type on one of their arms.
* g++.dg/eh/cond5.C: New test.
From-SVN: r174273
Diffstat (limited to 'gcc/gimplify.c')
| -rw-r--r-- | gcc/gimplify.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gcc/gimplify.c b/gcc/gimplify.c index 5fd22c0..31e0daf 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -2573,7 +2573,9 @@ shortcut_cond_r (tree pred, tree *true_label_p, tree *false_label_p, new_locus); append_to_statement_list (t, &expr); } - else if (TREE_CODE (pred) == COND_EXPR) + else if (TREE_CODE (pred) == COND_EXPR + && !VOID_TYPE_P (TREE_TYPE (TREE_OPERAND (pred, 1))) + && !VOID_TYPE_P (TREE_TYPE (TREE_OPERAND (pred, 2)))) { location_t new_locus; @@ -2581,7 +2583,10 @@ shortcut_cond_r (tree pred, tree *true_label_p, tree *false_label_p, if (a) if (b) goto yes; else goto no; else - if (c) goto yes; else goto no; */ + if (c) goto yes; else goto no; + + Don't do this if one of the arms has void type, which can happen + in C++ when the arm is throw. */ /* Keep the original source location on the first 'if'. Set the source location of the ? on the second 'if'. */ |