diff options
author | Richard Guenther <rguenther@suse.de> | 2011-03-25 15:05:00 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-03-25 15:05:00 +0000 |
commit | 34019e282b8c0d82660f64fc69726098178d4ea2 (patch) | |
tree | 7ad81eb13f0ec002f0cb3343910aae30054ce13c /gcc/tree-flow.h | |
parent | 1bcce263a7257de484931932d1a7a971a45f54e0 (diff) | |
download | gcc-34019e282b8c0d82660f64fc69726098178d4ea2.zip gcc-34019e282b8c0d82660f64fc69726098178d4ea2.tar.gz gcc-34019e282b8c0d82660f64fc69726098178d4ea2.tar.bz2 |
tree-flow.h (verify_stmts): Rename to verify_gimple_in_cfg.
2011-03-25 Richard Guenther <rguenther@suse.de>
* tree-flow.h (verify_stmts): Rename to verify_gimple_in_cfg.
(verify_types_in_gimple_seq): Rename to verify_gimple_in_seq.
(verify_gimple): Remove.
* tree-cfg.c (verify_gimple_call): Merge verification
from verify_stmts.
(verify_gimple_phi): Merge verification from verify_stmts.
(verify_gimple_label): New function.
(verify_types_in_gimple_seq_2): Rename to verify_gimple_in_seq_2.
(verify_types_in_gimple_seq): Rename to verify_gimple_in_seq.
(verify_stmt): Merge into verify_gimple_in_cfg and callees.
(verify_stmts): Rename to verify_gimple_in_cfg.
(verify_gimple_in_cfg): New function.
* passes.c (execute_function_todo): Call verify_gimple_in_cfg.
* tree-ssa.c (verify_ssa): Likewise.
* gimplify.c (gimplify_body): Call verify_gimple_in_seq.
From-SVN: r171453
Diffstat (limited to 'gcc/tree-flow.h')
-rw-r--r-- | gcc/tree-flow.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gcc/tree-flow.h b/gcc/tree-flow.h index c8ea3ac..3c887e2 100644 --- a/gcc/tree-flow.h +++ b/gcc/tree-flow.h @@ -426,9 +426,8 @@ extern basic_block label_to_block_fn (struct function *, tree); #define label_to_block(t) (label_to_block_fn (cfun, t)) extern void notice_special_calls (gimple); extern void clear_special_calls (void); -extern void verify_stmts (void); -extern void verify_gimple (void); -extern void verify_types_in_gimple_seq (gimple_seq); +extern void verify_gimple_in_seq (gimple_seq); +extern void verify_gimple_in_cfg (struct function *); extern tree gimple_block_label (basic_block); extern void extract_true_false_edges_from_block (basic_block, edge *, edge *); extern bool gimple_duplicate_sese_region (edge, edge, basic_block *, unsigned, |