diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7560ab36fff..6bad3906b3e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2010-09-07 Richard Guenther + + 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 * tree-pretty-print.c (dump_generic_node): Dump void types diff --git a/gcc/passes.c b/gcc/passes.c index 88da9b35632..47d6471c192 100644 --- 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 7151fa71b11..b8afb57a970 100644 --- 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