diff options
Diffstat (limited to 'gcc/print-rtl.c')
| -rw-r--r-- | gcc/print-rtl.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index a75442e..5ba5e63 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -318,6 +318,12 @@ print_rtx (const_rtx in_rtx) dump_addr (outfile, "/", (void*)val); #endif } + else if (i == 0 && GET_CODE (in_rtx) == DEBUG_EXPR) + { +#ifndef GENERATOR_FILE + fprintf (outfile, " D#%i", DEBUG_TEMP_UID (XTREE (in_rtx, 0))); +#endif + } break; case 'e': |