diff options
Diffstat (limited to 'gcc/print-rtl.c')
-rw-r--r-- | gcc/print-rtl.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index 75a52ee9900..d32ed18c363 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -166,7 +166,9 @@ print_rtx (in_rtx) else if (NOTE_LINE_NUMBER (in_rtx) == NOTE_INSN_BLOCK_BEG || NOTE_LINE_NUMBER (in_rtx) == NOTE_INSN_BLOCK_END) { - fprintf (outfile, " %d", NOTE_BLOCK_NUMBER (in_rtx)); + fprintf (outfile, " "); + fprintf (outfile, HOST_PTR_PRINTF, + (char *) NOTE_BLOCK (in_rtx)); sawclose = 1; } else if (NOTE_LINE_NUMBER (in_rtx) == NOTE_INSN_RANGE_START |