diff options
Diffstat (limited to 'gcc/print-rtl.c')
| -rw-r--r-- | gcc/print-rtl.c | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index 73e3710..a9c1a93 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -283,12 +283,9 @@ print_rtx (rtx in_rtx) case NOTE_INSN_BLOCK_BEG: case NOTE_INSN_BLOCK_END: - fprintf (outfile, " "); - if (flag_dump_unnumbered) - fprintf (outfile, "#"); - else - fprintf (outfile, "%p", - (char *) NOTE_BLOCK (in_rtx)); +#ifndef GENERATOR_FILE + dump_addr (outfile, " ", NOTE_BLOCK (in_rtx)); +#endif sawclose = 1; break; @@ -539,7 +536,9 @@ print_rtx (rtx in_rtx) break; case 't': - fprintf (outfile, " %p", (void *) XTREE (in_rtx, i)); +#ifndef GENERATOR_FILE + dump_addr (outfile, " ", XTREE (in_rtx, i)); +#endif break; case '*': |