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