http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49572
--- Comment #9 from rguenther at suse dot de <rguenther at suse dot de> 2011-06-30 09:54:49 UTC --- On Thu, 30 Jun 2011, ebotcazou at gcc dot gnu.org wrote: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49572 > > Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > CC| |rguenth at gcc dot gnu.org > > --- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-06-30 > 09:01:00 UTC --- > > After tuplification, DOM records the type of the LHS of assignment > > statements > > as the type of the expression. And then it tests the compatibility of these > > types. > > Maybe DOM could use the type of the RHS instead in the GIMPLE_SINGLE_RHS case. For loads yes.