OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

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
This commit is contained in:
Jakub Jelinek 2010-12-10 13:42:12 +01:00 committed by Jakub Jelinek
parent 87e6d9dcaa
commit 6391db6814
4 changed files with 38 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -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

5
gcc/testsuite/ChangeLog
View File

@ -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>

26
gcc/testsuite/g++.dg/opt/pr46864.C Normal file
View File

@ -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 ())
;
}

2
gcc/tree-ssa-loop-im.c
View File

@ -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;