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/gimplify.c | |
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/gimplify.c')
-rw-r--r-- | gcc/gimplify.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/gimplify.c b/gcc/gimplify.c index e48409d..633e613 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -7769,10 +7769,8 @@ gimplify_body (tree *body_p, tree fndecl, bool do_parms) pop_gimplify_context (outer_bind); gcc_assert (gimplify_ctxp == NULL); -#ifdef ENABLE_TYPES_CHECKING if (!seen_error ()) - verify_types_in_gimple_seq (gimple_bind_body (outer_bind)); -#endif + verify_gimple_in_seq (gimple_bind_body (outer_bind)); timevar_pop (TV_TREE_GIMPLIFY); input_location = saved_location; |