http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57742
--- Comment #8 from Marc Glisse <glisse at gcc dot gnu.org> --- Created attachment 31003 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31003&action=edit walk_aliased_vdefs experiment Incomplete patch I used for my previous comment.