mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-26 02:20:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR tree-optimization/61221 (ICE on valid code at -O1 and above on x86_64-linux-gnu)

Browse Source 
2014-05-19  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/61221
	* tree-ssa-pre.c (eliminate_dom_walker::before_dom_children):
	Do nothing for unreachable blocks.
	* tree-ssa-sccvn.c (cond_dom_walker::before_dom_children):
	Improve unreachability detection.

	* gcc.dg/torture/pr61221.c: New testcase.

From-SVN: r210614
This commit is contained in:
Richard Biener 2014-05-19 14:33:31 +00:00 committed by Richard Biener
parent 051351362b
commit 1d44def2c2
5 changed files with 59 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ChangeLog
View File

@ -1,3 +1,11 @@
2014-05-19 Richard Biener <rguenther@suse.de>
PR tree-optimization/61221
* tree-ssa-pre.c (eliminate_dom_walker::before_dom_children):
Do nothing for unreachable blocks.
* tree-ssa-sccvn.c (cond_dom_walker::before_dom_children):
Improve unreachability detection.
2014-05-19 Richard Biener <rguenther@suse.de>
PR tree-optimization/61209

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2014-05-19 Richard Biener <rguenther@suse.de>
PR tree-optimization/61221
* gcc.dg/torture/pr61221.c: New testcase.
2014-05-19 Richard Biener <rguenther@suse.de>
PR tree-optimization/61209

32
gcc/testsuite/gcc.dg/torture/pr61221.c Normal file
View File

@ -0,0 +1,32 @@
/* { dg-do compile } */
void __assert_fail (void);
int **a, b, c, e, *j;
short *d, **f;
int *
foo ()
{
*a = j;
if (!(1 & e))
__assert_fail ();
return 0;
}
void
bar ()
{
int *g = &b;
short **h = &d;
if ((f = &d) != h)
for (; b;)
{
int i = 1;
if (i)
g = foo ();
c = 0;
}
if (!g)
__assert_fail ();
}

9
gcc/tree-ssa-pre.c
View File

@ -4010,6 +4010,15 @@ eliminate_dom_walker::before_dom_children (basic_block b)
/* Mark new bb. */
el_avail_stack.safe_push (NULL_TREE);
/* If this block is not reachable do nothing. */
edge_iterator ei;
edge e;
FOR_EACH_EDGE (e, ei, b->preds)
if (e->flags & EDGE_EXECUTABLE)
break;
if (!e)
return;
for (gsi = gsi_start_phis (b); !gsi_end_p (gsi);)
{
gimple stmt, phi = gsi_stmt (gsi);

8
gcc/tree-ssa-sccvn.c
View File

@ -4177,11 +4177,13 @@ cond_dom_walker::before_dom_children (basic_block bb)
if (fail)
return;
/* If any of the predecessor edges are still marked as possibly
executable consider this block reachable. */
/* If any of the predecessor edges that do not come from blocks dominated
by us are still marked as possibly executable consider this block
reachable. */
bool reachable = bb == ENTRY_BLOCK_PTR_FOR_FN (cfun);
FOR_EACH_EDGE (e, ei, bb->preds)
reachable |= (e->flags & EDGE_EXECUTABLE);
if (!dominated_by_p (CDI_DOMINATORS, e->src, bb))
reachable |= (e->flags & EDGE_EXECUTABLE);
/* If the block is not reachable all outgoing edges are not
executable. */