re PR middle-end/45569 (ICE: verify_stmts failed: statement marked for throw in…

re PR middle-end/45569 (ICE: verify_stmts failed: statement marked for throw in middle of block with -fnon-call-exceptions)

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.

From-SVN: r163946

gcc/ChangeLog

 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.
 

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)))

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