diff options
Diffstat (limited to 'gcc/tree-flow.h')
| -rw-r--r-- | gcc/tree-flow.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/tree-flow.h b/gcc/tree-flow.h index c314ed5..e67bd0a 100644 --- a/gcc/tree-flow.h +++ b/gcc/tree-flow.h @@ -752,6 +752,8 @@ extern void bsi_commit_edge_inserts (void); extern void notice_special_calls (tree); extern void clear_special_calls (void); extern void verify_stmts (void); +extern void verify_gimple (void); +extern void verify_gimple_1 (tree); extern tree tree_block_label (basic_block); extern void extract_true_false_edges_from_block (basic_block, edge *, edge *); extern bool tree_duplicate_sese_region (edge, edge, basic_block *, unsigned, |