------- Additional Comments From pinskia at gcc dot gnu dot org 2005-09-07 03:51 ------- (In reply to comment #2) > The first thing is that ccp_initialize sets DONT_SIMULATE_AGAIN on the > statement so don't simulate > that statement and then we don't call fold_ccp on them.
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. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23588
