------- Comment #1 from pinskia at gcc dot gnu dot org 2006-08-21 23:31 ------- I found this while trying to figure out how to get VRP to optimize: a_1 != 0 into a_1 if the range of a_1 is [0,1] (well with a NOP_EXPR). If I do it inside simplify_cond_using_ranges, I miss all the MODIFY_EXPRs.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28794