Avoid calling verify_ssa twice in verify_loop_closed_ssa.

[gcc.git] / gcc / passes.c

diff --git a/gcc/passes.c b/gcc/passes.c
index 0d42f9c4af4283cd7d681f8e4c6d801000d72a3a..cbd605fb4307f09a7e0bd73a648dd5546d56304e 100644 (file)
--- a/gcc/passes.c
+++ b/gcc/passes.c
@@ -1256,14 +1256,15 @@ execute_function_todo (void *data)
     }
 
 #if defined ENABLE_CHECKING
-  if (flags & TODO_verify_ssa)
+  if (flags & TODO_verify_ssa
+      || (current_loops && loops_state_satisfies_p (LOOP_CLOSED_SSA)))
     verify_ssa (true);
   if (flags & TODO_verify_flow)
     verify_flow_info ();
   if (flags & TODO_verify_stmts)
     verify_stmts ();
   if (current_loops && loops_state_satisfies_p (LOOP_CLOSED_SSA))
-    verify_loop_closed_ssa ();
+    verify_loop_closed_ssa (false);
   if (flags & TODO_verify_rtl_sharing)
     verify_rtl_sharing ();
 #endif