diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5af99f4224e8..10774c72a3b0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2014-05-14 Richard Sandiford + + PR debug/61188 + * print-rtl.c (print_rtx): Suppress uids if flag_dump_unnumbered. + 2014-05-14 Richard Sandiford PR target/61084 diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index 66d98b10caf1..2f9f54738c09 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -188,7 +188,12 @@ print_rtx (const_rtx in_rtx) #endif if (INSN_CHAIN_CODE_P (GET_CODE (in_rtx))) - fprintf (outfile, " %d", INSN_UID (in_rtx)); + { + if (flag_dump_unnumbered) + fprintf (outfile, " #"); + else + fprintf (outfile, " %d", INSN_UID (in_rtx)); + } /* Get the format string and skip the first elements if we have handled them already. */