diff options
Diffstat (limited to 'gcc-4.9/gcc/print-rtl.c')
-rw-r--r-- | gcc-4.9/gcc/print-rtl.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gcc-4.9/gcc/print-rtl.c b/gcc-4.9/gcc/print-rtl.c index 09ac387d1..b8134ef8e 100644 --- a/gcc-4.9/gcc/print-rtl.c +++ b/gcc-4.9/gcc/print-rtl.c @@ -410,8 +410,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_LOCATION (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 && GET_CODE (in_rtx) == ASM_OPERANDS) |