------- Additional Comments From kazu at cs dot umass dot edu 2005-05-21 09:45 ------- The DOM's optimization comes from find_equivalent_equality_comparison, which makes a COND_EXPR absorb a narrowing cast. We could port this to tree-ssa-forwprop.c.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21694