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/print-rtl.c | |
| 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/print-rtl.c')
| -rw-r--r-- | gcc/print-rtl.c | 7 |
1 files changed, 6 insertions, 1 deletions
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. */ |