===================================================================
@@ -1724,11 +1724,14 @@ execute_function_todo (void *data)
#if defined ENABLE_CHECKING
if (flags & TODO_verify_ssa
|| (current_loops && loops_state_satisfies_p (LOOP_CLOSED_SSA)))
- verify_ssa (true);
+ {
+ verify_gimple_in_cfg (cfun);
+ verify_ssa (true);
+ }
+ else if (flags & TODO_verify_stmts)
+ verify_gimple_in_cfg (cfun);
if (flags & TODO_verify_flow)
verify_flow_info ();
- if (flags & TODO_verify_stmts)
- verify_gimple_in_cfg (cfun);
if (current_loops && loops_state_satisfies_p (LOOP_CLOSED_SSA))
verify_loop_closed_ssa (false);
if (flags & TODO_verify_rtl_sharing)
===================================================================
@@ -925,8 +925,6 @@ verify_ssa (bool check_modified_stmt)
gcc_assert (!need_ssa_update_p (cfun));
- verify_gimple_in_cfg (cfun);
-
timevar_push (TV_TREE_SSA_VERIFY);
/* Keep track of SSA names present in the IL. */