------- Comment #2 from rguenth at gcc dot gnu dot org 2006-11-04 22:10 ------- Starting with DOM we have
<bb 2>: # SFT.3_3 = V_MUST_DEF <SFT.3_2>; a[0] = 0; # SFT.2_5 = V_MUST_DEF <SFT.2_4>; a[1] = 1; # SFT.1_7 = V_MUST_DEF <SFT.1_6>; a[2] = 2; ... <L2>:; # VUSE <SFT.2_5>; D.1621_14 = a[1]; t.0_15 = t.0_11; D.1620_16 = t.0_15 + 1; if (D.1621_14 != D.1620_16) goto <L3>; else goto <L4>; which is wrong. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29716