http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56756
--- Comment #5 from rguenther at suse dot de <rguenther at suse dot de> 2013-03-28 10:07:29 UTC --- On Thu, 28 Mar 2013, mpolacek at gcc dot gnu.org wrote: > > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56756 > > --- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-03-28 > 09:54:58 UTC --- > It seems that move_computations_stmt firstly inserts into bb 11 > # VUSE <.MEM_21> > D__lsm.5 = *_17; > and then > # VUSE <.MEM_21> > _17 = *q_8(D); > > move_computations then commits these inserts. LIM relies on dom-walk to walk blocks in a order that processes SSA definitions before uses. But that is not what a dom-walk guarantees ...