diff options
Diffstat (limited to 'gcc/print-rtl.h')
| -rw-r--r-- | gcc/print-rtl.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/print-rtl.h b/gcc/print-rtl.h index 09e5a51..cf801e8 100644 --- a/gcc/print-rtl.h +++ b/gcc/print-rtl.h @@ -84,6 +84,7 @@ extern void dump_rtl_slim (FILE *, const rtx_insn *, const rtx_insn *, extern void print_value (pretty_printer *, const_rtx, int); extern void print_pattern (pretty_printer *, const_rtx, int); extern void print_insn (pretty_printer *pp, const rtx_insn *x, int verbose); +extern void print_insn_with_notes (pretty_printer *, const rtx_insn *); extern void rtl_dump_bb_for_graph (pretty_printer *, basic_block); extern const char *str_pattern_slim (const_rtx); |