if (is_enable)
error ("unknown pass %s specified in -fenable", phase_name);
else
- error ("unknown pass %s specified in -fdisble", phase_name);
+ error ("unknown pass %s specified in -fdisable", phase_name);
free (argstr);
return;
}
#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)