diff options
| author | Richard Biener <rguenther@suse.de> | 2014-04-30 08:06:49 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2014-04-30 08:06:49 +0000 |
| commit | e9ff9caf265a47e747c12de69bcf5bd6db32843e (patch) | |
| tree | 89764a65392e04dc94709cea493bd321464376f5 /gcc/tree-ssa.c | |
| parent | f8ed5150c3a1f821fb0cf266fc0fca76027fbef9 (diff) | |
| download | gcc-e9ff9caf265a47e747c12de69bcf5bd6db32843e.zip gcc-e9ff9caf265a47e747c12de69bcf5bd6db32843e.tar.gz gcc-e9ff9caf265a47e747c12de69bcf5bd6db32843e.tar.bz2 | |
passes.c (execute_function_todo): Move TODO_verify_stmts and TODO_verify_ssa under the TODO_verify_il umbrella.
2014-04-30 Richard Biener <rguenther@suse.de>
* passes.c (execute_function_todo): Move TODO_verify_stmts
and TODO_verify_ssa under the TODO_verify_il umbrella.
* tree-ssa.h (verify_ssa): Adjust prototype.
* tree-ssa.c (verify_ssa): Add parameter to tell whether
we should verify SSA operands.
* tree-cfg.h (verify_gimple_in_cfg): Adjust prototype.
* tree-cfg.c (verify_gimple_in_cfg): Add parameter to tell
whether we should verify whether not throwing stmts have EH info.
* graphite-scop-detection.c (create_sese_edges): Adjust.
* tree-ssa-loop-manip.c (verify_loop_closed_ssa): Likewise.
* tree-eh.c (lower_try_finally_switch): Do not add the
default case label twice.
From-SVN: r209928
Diffstat (limited to 'gcc/tree-ssa.c')
| -rw-r--r-- | gcc/tree-ssa.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 1ea639d..8101ac7 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -959,7 +959,7 @@ error: TODO: verify the variable annotations. */ DEBUG_FUNCTION void -verify_ssa (bool check_modified_stmt) +verify_ssa (bool check_modified_stmt, bool check_ssa_operands) { size_t i; basic_block bb; @@ -1042,7 +1042,7 @@ verify_ssa (bool check_modified_stmt) goto err; } - if (verify_ssa_operands (cfun, stmt)) + if (check_ssa_operands && verify_ssa_operands (cfun, stmt)) { print_gimple_stmt (stderr, stmt, 0, TDF_VOPS); goto err; |