Index: gimple-pretty-print.c
--- gimple-pretty-print.c       (revision 189778)
+++ gimple-pretty-print.c       (working copy)
@@ -2265,6 +2265,7 @@ gimple_dump_bb_buff (pretty_printer *buf
     }

   dump_implicit_edges (buffer, bb, indent, flags);
+  pp_flush (buffer);
 }


