https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86844
--- Comment #1 from Andreas Krebbel <krebbel at gcc dot gnu.org> --- Created attachment 44503 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44503&action=edit experimental patch This patch adds a check to check_no_overlap which rejects overlaps if it has seen a non-constant store in between. This fixes the testcase for me.
