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