------- Comment #1 from pinskia at gcc dot gnu dot org 2007-03-12 14:59 ------- forwprop should NOT, I repeat should NOT look through casts for conditional if the SSA_NAME that defines the cast is still used after the conditional.
Really this non zero optimization should be done by VRP. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31146