Message ID | 87ha4scq2r.fsf@talisman.default |
---|---|
State | New |
Headers | show |
Index: gcc/print-rtl.c =================================================================== --- gcc/print-rtl.c 2014-05-14 16:51:39.687377980 +0100 +++ gcc/print-rtl.c 2014-05-14 16:51:39.911379968 +0100 @@ -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. */