diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/graph.c | 15 |
2 files changed, 15 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e8ca6ee..fda3189 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2013-02-15 Steven Bosscher <steven@gcc.gnu.org> + + * graph.c (start_graph_dump): Print dumpfile base as digraph label. + (clean_graph_dump_file): Pass base to start_graph_dump. + 2013-02-14 Richard Henderson <rth@redhat.com> PR target/55941 diff --git a/gcc/graph.c b/gcc/graph.c index 52b51d8..5183730 100644 --- a/gcc/graph.c +++ b/gcc/graph.c @@ -308,11 +308,16 @@ print_graph_cfg (const char *base, struct function *fun) /* Start the dump of a graph. */ static void -start_graph_dump (FILE *fp) +start_graph_dump (FILE *fp, const char *base) { - fputs ("digraph \"\" {\n" - "overlap=false;\n", - fp); + pretty_printer *pp = init_graph_slim_pretty_print (fp); + pp_string (pp, "digraph \""); + pp_write_text_to_stream (pp); + pp_string (pp, base); + pp_write_text_as_dot_label_to_stream (pp, /*for_record=*/false); + pp_string (pp, "\" {\n"); + pp_string (pp, "overlap=false;\n"); + pp_flush (pp); } /* End the dump of a graph. */ @@ -327,7 +332,7 @@ void clean_graph_dump_file (const char *base) { FILE *fp = open_graph_file (base, "w"); - start_graph_dump (fp); + start_graph_dump (fp, base); fclose (fp); } |