https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79345
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 40784 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40784&action=edit gcc7-pr79345.patch Untested fix. That said, I think (most likely just for GCC8) it would be very much beneficial to walk_aliased_defs as the comment says, and if we run into aliased clobber that must overlap the read ref, warn (and if we don't find any aliased store too), with some cap on number of alias oracle queries.
