diff --git a/gcc/gimple-pretty-print.c b/gcc/gimple-pretty-print.c
index 4b3235e..62c315e 100644
--- a/gcc/gimple-pretty-print.c
+++ b/gcc/gimple-pretty-print.c
@@ -2093,7 +2093,7 @@ dump_gimple_bb_header (FILE *outf, basic_block bb, int indent, int flags)
       gimple stmt = first_stmt (bb);
       if (!stmt || gimple_code (stmt) != GIMPLE_LABEL)
 	{
-	  char *s_indent = (char *) alloca ((size_t) indent - 2 + 1);
+	  char *s_indent = (char *) alloca ((size_t) indent + 1);
 	  memset (s_indent, ' ', (size_t) indent);
 	  s_indent[indent] = '\0';
 	  fprintf (outf, "%s<bb %d>:\n", s_indent, bb->index);