diff options
Diffstat (limited to 'gcc/print-rtl.c')
| -rw-r--r-- | gcc/print-rtl.c | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index 4f2223a2ef7..0143f096c29 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -272,10 +272,13 @@ print_rtx (rtx in_rtx) break; case NOTE_INSN_DELETED_LABEL: - if (NOTE_SOURCE_FILE (in_rtx)) - fprintf (outfile, " (\"%s\")", NOTE_SOURCE_FILE (in_rtx)); - else - fprintf (outfile, " \"\""); + { + const char *label = NOTE_DELETED_LABEL_NAME (in_rtx); + if (label) + fprintf (outfile, " (\"%s\")", label); + else + fprintf (outfile, " \"\""); + } break; case NOTE_INSN_PREDICTION: |