------- Comment #11 from spop at gcc dot gnu dot org 2010-03-22 00:26 ------- I would still like to see some extra checking after copyprop: would this extra check be ok to commit with the fix?
diff --git a/gcc/tree-ssa-copy.c b/gcc/tree-ssa-copy.c index 61e32cc..011a80a 100644 --- a/gcc/tree-ssa-copy.c +++ b/gcc/tree-ssa-copy.c @@ -967,6 +967,13 @@ execute_copy_prop (void) init_copy_prop (); ssa_propagate (copy_prop_visit_stmt, copy_prop_visit_phi_node); fini_copy_prop (); + +#ifdef ENABLE_CHECKING + if (current_loops + && loops_state_satisfies_p (LOOP_CLOSED_SSA)) + verify_loop_closed_ssa (); +#endif + return 0; } -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43464