[Bug tree-optimization/24028] CCP is broken

[kazu at gcc dot gnu dot org]

------- Additional Comments From kazu at gcc dot gnu dot org  2005-09-23 05:29 -------
The reason why CCP thinks that the result of the PHI node is varying is
because ccp_initialize thinks that a PHI node is varying if at least
one of PHI argument is varying.

The problem is that the edge that the varying PHI argument is on may not be
executable, in which case we pessimistically think that the result of
the PHI node is varying.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |kazu at gcc dot gnu dot org
                   |dot org                     |
           Severity|enhancement                 |normal
             Status|NEW                         |ASSIGNED


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