re PR tree-optimization/52361 (gcc.dg/pr48141.c times out with checking enabled)

2012-02-24  Richard Guenther  <rguenther@suse.de>

	PR middle-end/52361
	* passes.c (execute_function_todo): When verifying SSA form
	verify gimple form first.
	* tree-ssa.c (verify_ssa): Do not verify gimple form here.

From-SVN: r184549

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 06139aea18bd0fbe70e94b942820c863f6334393..eadd6d4844e46811214110c9b177c8926d1c3396 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2012-02-24  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/52361
+       * passes.c (execute_function_todo): When verifying SSA form
+       verify gimple form first.
+       * tree-ssa.c (verify_ssa): Do not verify gimple form here.
+
 2012-02-24  Richard Guenther  <rguenther@suse.de>
 
        PR middle-end/52355

diff --git a/gcc/passes.c b/gcc/passes.c
index bd10cbc0d8671824e86c14a8dfdb86ea657e4005..6e58d8bbd51284244f168ee23e772ff08ae7ae2f 100644 (file)
--- a/gcc/passes.c
+++ b/gcc/passes.c
@@ -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)

diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index fb2c005e8b70abaaf6c6bae9bde2bae019b3e037..08f908f6a6c4704c611d70d609f5dbfaa68d3db5 100644 (file)
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -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.  */