------- Comment #4 from rguenth at gcc dot gnu dot org 2006-02-22 10:32 ------- find_equivalent_equality_comparison through simplify_cond, forward_propagate_into_cond does this. I have a patch which restricts forwprop to using single-use names. Though I wonder if this is appropriate and we rather should teach VRP to infer range information for D.2354_2 from a_3.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26406
