------- Comment #6 from rguenth at gcc dot gnu dot org 2007-11-28 15:47 ------- We could clear the SCEV cache for an SSA_NAME we set a new value range (in set_value_range and set_value_range_to_varying), but I see that SCEV also caches loop->nb_iterations which we probably would need to clear unconditionally (for all loops).
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34244
