2010-09-07 Richard Guenther <rguenther@suse.de>

	PR middle-end/45569
	* tree-cfg.c (build_gimple_cfg): Remove redundant stmt verification.
	* passes.c (execute_function_todo): Do not verify anything if
	we saw errors.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@163946 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7560ab3..6bad390 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,12 @@
 2010-09-07  Richard Guenther  <rguenther@suse.de>
 
+       PR middle-end/45569
+       * tree-cfg.c (build_gimple_cfg): Remove redundant stmt verification.
+       * passes.c (execute_function_todo): Do not verify anything if
+       we saw errors.
+
+2010-09-07  Richard Guenther  <rguenther@suse.de>
+
        * tree-pretty-print.c (dump_generic_node): Dump void types
        as void.
 

diff --git a/gcc/passes.c b/gcc/passes.c
index 88da9b3..47d6471 100644 (file)
--- a/gcc/passes.c
+++ b/gcc/passes.c
@@ -1249,6 +1249,10 @@ execute_function_todo (void *data)
   if (flags & TODO_rebuild_frequencies)
     rebuild_frequencies ();
 
+  /* If we've seen errors do not bother running any verifiers.  */
+  if (seen_error ())
+    return;
+
 #if defined ENABLE_CHECKING
   if (flags & TODO_verify_ssa
       || (current_loops && loops_state_satisfies_p (LOOP_CLOSED_SSA)))

diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index 7151fa7..b8afb57 100644 (file)
--- a/gcc/tree-cfg.c
+++ b/gcc/tree-cfg.c
@@ -230,10 +230,6 @@ build_gimple_cfg (gimple_seq seq)
        dump_end (TDI_vcg, vcg_file);
       }
   }
-
-#ifdef ENABLE_CHECKING
-  verify_stmts ();
-#endif
 }
 
 static unsigned int