mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-04 12:01:06 +08:00
Code Issues Packages Projects Releases Wiki Activity

tree-cfg.c (cleanup_control_flow): If removal of a computed goto results in the removal of edges in the CFG...

Browse Source 
* tree-cfg.c (cleanup_control_flow): If removal of a computed
        goto results in the removal of edges in the CFG, then we need
        to recompute dominators.

From-SVN: r96160
This commit is contained in:
Jeff Law 2005-03-08 19:42:46 -07:00 committed by Jeff Law
parent b735d54b7a
commit b0c32a7387
2 changed files with 16 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 @@
2005-03-08 Jeff Law <law@redhat.com>
* tree-cfg.c (cleanup_control_flow): If removal of a computed
goto results in the removal of edges in the CFG, then we need
to recompute dominators.
2005-03-09 Ben Elliston <bje@au.ibm.com>
* c-common.c (c_do_switch_warnings): Comment fix.

11
gcc/tree-cfg.c
View File

@ -2148,6 +2148,7 @@ cleanup_control_flow (void)
tree label;
edge_iterator ei;
basic_block target_block;
bool removed_edge = false;
/* First look at all the outgoing edges. Delete any outgoing
edges which do not go to the right block. For the one
@ -2157,7 +2158,10 @@ cleanup_control_flow (void)
for (ei = ei_start (bb->succs); (e = ei_safe_edge (ei)); )
{
if (e->dest != target_block)
remove_edge (e);
{
removed_edge = true;
remove_edge (e);
}
else
{
/* Turn off the EDGE_ABNORMAL flag. */
@ -2169,6 +2173,11 @@ cleanup_control_flow (void)
}
}
/* If we removed one or more edges, then we will need to fix the
dominators. It may be possible to incrementally update them. */
if (removed_edge)
free_dominance_info (CDI_DOMINATORS);
/* Remove the GOTO_EXPR as it is not needed. The CFG has all the
relevant information we need. */
bsi_remove (&bsi);