diff options
| author | Richard Sandiford <rdsandiford@googlemail.com> | 2014-05-14 15:53:11 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2014-05-14 15:53:11 +0000 |
| commit | 25109109c4112c924627c97809d3a0ad38333651 (patch) | |
| tree | 947f95a0eb6dcaffe428c12827280f783a80a767 /gcc | |
| parent | 7e7e4032f1c50f0879eeee4c7381f8c79bbed23a (diff) | |
| download | gcc-25109109c4112c924627c97809d3a0ad38333651.zip gcc-25109109c4112c924627c97809d3a0ad38333651.tar.gz gcc-25109109c4112c924627c97809d3a0ad38333651.tar.bz2 | |
re PR debug/61188 (Many -fcompare-debug failures)
gcc/
PR debug/61188
* print-rtl.c (print_rtx): Suppress uids if flag_dump_unnumbered.
From-SVN: r210429
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/print-rtl.c | 7 |
2 files changed, 11 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5af99f4..10774c7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2014-05-14 Richard Sandiford <rdsandiford@googlemail.com> + + PR debug/61188 + * print-rtl.c (print_rtx): Suppress uids if flag_dump_unnumbered. + 2014-05-14 Richard Sandiford <r.sandiford@uk.ibm.com> PR target/61084 diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index 66d98b1..2f9f547 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. */ |