------- Comment #3 from rguenth at gcc dot gnu dot org 2009-09-30 13:17 ------- The issue here is that loop header copying creates a new induction variable by moving the use before the definition of D.2708_4 = start_3(D) + i_12.
So it just does what we teach PRE not to do ... -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41488