diff options
| author | Jan Hubicka <jh@suse.cz> | 2009-07-19 12:27:07 +0200 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2009-07-19 10:27:07 +0000 |
| commit | a915ab00004ad7f5cddf0f232de0718561306d36 (patch) | |
| tree | 18a19d1d0d3ba0f9e6bb73f587b8903c2c74a669 /gcc/tree-ssa-dce.c | |
| parent | 9d43fad9a8360262590cb24df6945bee7a3bc0c2 (diff) | |
| download | gcc-a915ab00004ad7f5cddf0f232de0718561306d36.zip gcc-a915ab00004ad7f5cddf0f232de0718561306d36.tar.gz gcc-a915ab00004ad7f5cddf0f232de0718561306d36.tar.bz2 | |
re PR tree-optimization/40676 (internal compiler error: verify_ssa error: definition in block 5 does not dominate use in block 7)
PR tree-optimization/40676
* tree-ssa-dce.c (eliminate_unnecessary_stmts): Do renaming on all
virtual PHIs in empty BBs.
* gcc.c-torture/compile/pr40676.c: New testcase.
From-SVN: r149789
Diffstat (limited to 'gcc/tree-ssa-dce.c')
| -rw-r--r-- | gcc/tree-ssa-dce.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/tree-ssa-dce.c b/gcc/tree-ssa-dce.c index fdfdda5..86134ad 100644 --- a/gcc/tree-ssa-dce.c +++ b/gcc/tree-ssa-dce.c @@ -1137,7 +1137,8 @@ eliminate_unnecessary_stmts (void) for (bb = ENTRY_BLOCK_PTR->next_bb; bb != EXIT_BLOCK_PTR; bb = next_bb) { next_bb = bb->next_bb; - if (!(bb->flags & BB_REACHABLE)) + if (!TEST_BIT (bb_contains_live_stmts, bb->index) + || !(bb->flags & BB_REACHABLE)) { for (gsi = gsi_start_phis (bb); !gsi_end_p (gsi); gsi_next (&gsi)) if (!is_gimple_reg (gimple_phi_result (gsi_stmt (gsi)))) @@ -1159,7 +1160,8 @@ eliminate_unnecessary_stmts (void) if (found) mark_virtual_phi_result_for_renaming (gsi_stmt (gsi)); } - delete_basic_block (bb); + if (!(bb->flags & BB_REACHABLE)) + delete_basic_block (bb); } } } |