From 6391db68149b57978967c220d6253a6bd04eb581 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Fri, 10 Dec 2010 13:42:12 +0100 Subject: [PATCH] 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 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/opt/pr46864.C | 26 ++++++++++++++++++++++++++ gcc/tree-ssa-loop-im.c | 2 +- 4 files changed, 38 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/opt/pr46864.C diff --git a/gcc/ChangeLog b/gcc/ChangeLog index fb6bbc81648..ed331ad456f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2010-12-10 Jakub Jelinek + + 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 PR fortran/46540 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b2978f05511..63a3a48a06f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-12-10 Jakub Jelinek + + PR tree-optimization/46864 + * g++.dg/opt/pr46864.C: New test. + 2010-12-10 Jack Howarth Iain Sandoe diff --git a/gcc/testsuite/g++.dg/opt/pr46864.C b/gcc/testsuite/g++.dg/opt/pr46864.C new file mode 100644 index 00000000000..0f7b7d2f5b4 --- /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 45902e5bafd..30faeb9319d 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; -- 2.30.2