------- Comment #4 from rguenth at gcc dot gnu dot org 2009-10-16 12:09 ------- After DOM2 we have
<bb 2>: D.2725_21 = a[0]; D.2706_26 = D.2725_21; D.2708_28 = a[1]; a_I_lsm0.4_29 = D.2708_28; lrc_30 = D.2725_21 != D.2708_28; ... but D.2725_21 : --> single use. D.2706_26 = D.2725_21; DOM changes lrc_30 = [cond_expr] D.2706_26 == D.2708_28 ? 0 : 1; to lrc_30 = D.2725_21 != D.2708_28; and likely misses an update_stmt() (again). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41728