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

[spop at gcc dot gnu dot org]

------- Comment #10 from spop at gcc dot gnu dot org  2010-03-22 00:17 -------
Yes, this patch does fix the problem.

diff --git a/gcc/tree-ssa-copy.c b/gcc/tree-ssa-copy.c
index 57c6558..61e32cc 100644
--- a/gcc/tree-ssa-copy.c
+++ b/gcc/tree-ssa-copy.c
@@ -797,7 +797,6 @@ init_copy_prop (void)
                 PHI nodes.  Technically this is only needed for loop
                 exit PHIs, but this is difficult to query.  */
              || (current_loops
-                 && gimple_phi_num_args (phi) == 1
                  && loops_state_satisfies_p (LOOP_CLOSED_SSA)))
             prop_set_simulate_again (phi, false);
          else

I will bootstrap and test this again.


-- 


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