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

[spop at gcc dot gnu dot org]

------- Comment #7 from spop at gcc dot gnu dot org  2010-03-21 17:17 -------
The problem is that copyprop does this change:

@@ -25,7 +25,7 @@
   <bb 12>:
     # .MEM_16 = PHI <.MEM_18(10), .MEM_20(11)>
     # s_66 = PHI <s_1(10), s_1(11)>
-    s_13 = s_66;
+    s_13 = s_1;
     goto <bb 16> (got_it);

   }

then verify_loop_closed_ssa () complains about the fact that s_1 is
defined in loop_1 and used outside loop_1 in a non close-phi node.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43464