diff options
Diffstat (limited to 'gcc/print-rtl.c')
| -rw-r--r-- | gcc/print-rtl.c | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index ef8a40204ae..e54b2b49deb 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -146,8 +146,12 @@ print_rtx (in_rtx) if (XSTR (in_rtx, i) == 0) fputs (dump_for_graph ? " \\\"\\\"" : " \"\"", outfile); else - fprintf (outfile, dump_for_graph ? " (\\\"%s\\\")" : " (\"%s\")", - XSTR (in_rtx, i)); + { + if (dump_for_graph) + fprintf (outfile, " (\\\"%s\\\")", XSTR (in_rtx, i)); + else + fprintf (outfile, " (\"%s\")", XSTR (in_rtx, i)); + } sawclose = 1; break; @@ -188,13 +192,16 @@ print_rtx (in_rtx) } else { - char *str = X0STR (in_rtx, i); + const char * const str = X0STR (in_rtx, i); if (str == 0) fputs (dump_for_graph ? " \\\"\\\"" : " \"\"", outfile); else - fprintf (outfile, - dump_for_graph ? " (\\\"%s\\\")" : " (\"%s\")", - str); + { + if (dump_for_graph) + fprintf (outfile, " (\\\"%s\\\")", str); + else + fprintf (outfile, " (\"%s\")", str); + } } } break; |