diff options
Diffstat (limited to 'gcc/cfg.h')
| -rw-r--r-- | gcc/cfg.h | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -89,7 +89,7 @@ extern void remove_edge_raw (edge); extern void redirect_edge_succ (edge, basic_block); extern void redirect_edge_pred (edge, basic_block); extern void clear_bb_flags (void); -extern void dump_edge_info (FILE *, edge, int, int); +extern void dump_edge_info (FILE *, edge, dump_flags_t, int); extern void debug (edge_def &ref); extern void debug (edge_def *ptr); extern void alloc_aux_for_blocks (int); @@ -101,8 +101,8 @@ extern void clear_aux_for_edges (void); extern void free_aux_for_edges (void); extern void debug_bb (basic_block); extern basic_block debug_bb_n (int); -extern void dump_bb_info (FILE *, basic_block, int, int, bool, bool); -extern void brief_dump_cfg (FILE *, int); +extern void dump_bb_info (FILE *, basic_block, int, dump_flags_t, bool, bool); +extern void brief_dump_cfg (FILE *, dump_flags_t); extern void update_bb_profile_for_threading (basic_block, int, gcov_type, edge); extern void scale_bbs_frequencies_int (basic_block *, int, int, int); extern void scale_bbs_frequencies_gcov_type (basic_block *, int, gcov_type, |