diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 12b0d4d0ecd..17658b5ddbf 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -46,9 +46,9 @@ Thu Apr 8 19:20:18 1999 Jeffrey A Law (law@cygnus.com) Do not try to optimize a aggregate address which has VOIDmode. Mirrors March 23 change to expand_assignment. - * flow.c (delete_unreachable_blocks): Do not require an edge to - be marked with EDGE_FALLTHRU when tidying an edge which connects - consecutive basic blocks. + * flow.c (delete_unreachable_blocks): Do not require EDGE_FALLTHRU + for an edge when tidying an edge which connects consecutive basic + blocks. * flow.c (can_delete_label_p): Do not convert a label into a deleted label here. diff --git a/gcc/flow.c b/gcc/flow.c index daf357114bc..64350b0544b 100644 --- a/gcc/flow.c +++ b/gcc/flow.c @@ -1563,10 +1563,9 @@ delete_unreachable_blocks () out edge for the block which ended with the conditional branch (since we do not create duplicate edges). - Furthermore, because we create the edge for the jump to the - label before the fallthrough edge, we will only see the - jump edge. So we do not want to check that the edge is a - FALLTHRU edge. */ + Furthermore, the edge will be marked as a fallthru because we + merge the flags for the duplicate edges. So we do not want to + check that the edge is not a FALLTHRU edge. */ if ((s = b->succ) != NULL && s->succ_next == NULL && s->dest == c)