diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 98980849931..0b69aa3f8b4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2001-07-22 Richard Henderson + + * flow.c (split_block): Make sure bb_note is included in the + new block when splitting before a label. + Sun Jul 22 23:28:56 CEST 2001 Jan Hubicka * basic-block.h (redirect_edge_and_branch_force, diff --git a/gcc/flow.c b/gcc/flow.c index a6a63e5a3ae..370b92bcbb9 100644 --- a/gcc/flow.c +++ b/gcc/flow.c @@ -1561,6 +1561,11 @@ split_block (bb, insn) bb_note = emit_note_after (NOTE_INSN_BASIC_BLOCK, new_bb->head); NOTE_BASIC_BLOCK (bb_note) = new_bb; + + /* If the only thing in this new block was the label, make sure + the block note gets included. */ + if (new_bb->head == new_bb->end) + new_bb->end = bb_note; } else {