[Bug tree-optimization/23588] CCP not fully propagating constants

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-07 04:19 -------
(In reply to comment #3)
> And then we hit an assert if we change evaluate_stmt to be always call fold_ccp.
> The assert is in set_lattice_value, when we are changing from VARRYING to CONSTANT which should 
> be  a valid transition.

Only if the VARRYING is the default state.
Before the TCB, this was allowed:
/* VARYING -> CONSTANT is an invalid state transition, except
 for objects which start off in a VARYING state.  */

-- 


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