diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2010-12-10 13:42:12 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2010-12-10 13:42:12 +0100 |
| commit | 6391db68149b57978967c220d6253a6bd04eb581 (patch) | |
| tree | 7a112474bb4b7e4cee714fe39dc9c03ca0b0a989 /gcc | |
| parent | 87e6d9dcaa2d39105bb0c2b621f9367bbb876f14 (diff) | |
| download | gcc-6391db68149b57978967c220d6253a6bd04eb581.zip gcc-6391db68149b57978967c220d6253a6bd04eb581.tar.gz gcc-6391db68149b57978967c220d6253a6bd04eb581.tar.bz2 | |
re PR tree-optimization/46864 (ICE: verify_stmts failed: statement marked for throw, but doesn't with -fnon-call-exceptions)
PR tree-optimization/46864
* tree-ssa-loop-im.c (loop_suitable_for_sm): Return false even
when there are EDGE_EH exit edges.
* g++.dg/opt/pr46864.C: New test.
From-SVN: r167685
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/opt/pr46864.C | 26 | ||||
| -rw-r--r-- | gcc/tree-ssa-loop-im.c | 2 |
4 files changed, 38 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index fb6bbc8..ed331ad 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2010-12-10 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/46864 + * tree-ssa-loop-im.c (loop_suitable_for_sm): Return false even + when there are EDGE_EH exit edges. + 2010-12-10 Tobias Burnus <burnus@net-b.de> PR fortran/46540 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b2978f0..63a3a48 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-12-10 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/46864 + * g++.dg/opt/pr46864.C: New test. + 2010-12-10 Jack Howarth <howarth@bromo.med.uc.edu> Iain Sandoe <iains@gcc.gnu.org> diff --git a/gcc/testsuite/g++.dg/opt/pr46864.C b/gcc/testsuite/g++.dg/opt/pr46864.C new file mode 100644 index 0000000..0f7b7d2 --- /dev/null +++ b/gcc/testsuite/g++.dg/opt/pr46864.C @@ -0,0 +1,26 @@ +// PR tree-optimization/46864 +// { dg-do compile } +// { dg-options "-O -fnon-call-exceptions" } + +int baz (); + +struct S +{ + int k; + bool bar () throw () + { + int m = baz (); + for (int i = 0; i < m; i++) + k = i; + return m; + } +}; + +extern S *s; + +void +foo () +{ + while (baz () && s->bar ()) + ; +} diff --git a/gcc/tree-ssa-loop-im.c b/gcc/tree-ssa-loop-im.c index 45902e5..30faeb9 100644 --- a/gcc/tree-ssa-loop-im.c +++ b/gcc/tree-ssa-loop-im.c @@ -2369,7 +2369,7 @@ loop_suitable_for_sm (struct loop *loop ATTRIBUTE_UNUSED, edge ex; FOR_EACH_VEC_ELT (edge, exits, i, ex) - if (ex->flags & EDGE_ABNORMAL) + if (ex->flags & (EDGE_ABNORMAL | EDGE_EH)) return false; return true; |