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.
