[Bug middle-end/43464] copy prop breaks loop closed SSA form

[spop at gcc dot gnu dot org]

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