flow.c (split_block): Make sure bb_note is included in the new block when splitting before a label.

        * flow.c (split_block): Make sure bb_note is included in the
        new block when splitting before a label.

From-SVN: r44250

1 files changed, 5 insertions, 0 deletions

diff --git a/gcc/flow.c b/gcc/flow.c
index a6a63e5..370b92b 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
     {