http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60517
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> --- I see in the dump: # .MEM_4 = VDEF <.MEM_8> D.2272 ={v} {CLOBBER}; # VUSE <.MEM_4> _5 = MEM[(doubleD.39 *)&D.2272]; which looks like something we could warn about in the middle-end.