diff options
Diffstat (limited to 'gcc-4.4.0/gcc/print-rtl.c')
-rw-r--r-- | gcc-4.4.0/gcc/print-rtl.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc-4.4.0/gcc/print-rtl.c b/gcc-4.4.0/gcc/print-rtl.c index 393ffe94e..91a4632c2 100644 --- a/gcc-4.4.0/gcc/print-rtl.c +++ b/gcc-4.4.0/gcc/print-rtl.c @@ -395,7 +395,13 @@ print_rtx (const_rtx in_rtx) redundant with line number information and do not print anything when there is no location information available. */ if (INSN_LOCATOR (in_rtx) && insn_file (in_rtx)) - fprintf(outfile, " %s:%i", insn_file (in_rtx), insn_line (in_rtx)); + { + int discriminator = insn_discriminator (in_rtx); + fprintf (outfile, " %s:%i", insn_file (in_rtx), + insn_line (in_rtx)); + if (discriminator) + fprintf (outfile, " discrim %d", discriminator); + } #endif } else if (i == 6 && NOTE_P (in_rtx)) |