diff options
Diffstat (limited to 'gcc/toplev.c')
| -rw-r--r-- | gcc/toplev.c | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/gcc/toplev.c b/gcc/toplev.c index 8a152b8..00a5e83 100644 --- a/gcc/toplev.c +++ b/gcc/toplev.c @@ -1994,8 +1994,17 @@ target_reinit (void) } void -dump_memory_report () +dump_memory_report (const char *header) { + /* Print significant header. */ + fputc ('\n', stderr); + for (unsigned i = 0; i < 80; i++) + fputc ('#', stderr); + fprintf (stderr, "\n# %-77s#\n", header); + for (unsigned i = 0; i < 80; i++) + fputc ('#', stderr); + fputs ("\n\n", stderr); + dump_line_table_statistics (); ggc_print_statistics (); stringpool_statistics (); @@ -2058,7 +2067,7 @@ finalize (bool no_backend) } if (mem_report) - dump_memory_report (); + dump_memory_report ("Final"); if (profile_report) dump_profile_report (); |