[Bug tree-optimization/86844] wrong code generation cause by store merging pass

[krebbel at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86844

Andreas Krebbel  changed:

   What|Removed |Added

   Keywords||wrong-code
   Priority|P3  |P1
   Severity|normal  |major

[Bug tree-optimization/86844] wrong code generation cause by store merging pass

[krebbel at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86844

--- Comment #1 from Andreas Krebbel  ---
Created attachment 44503
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44503=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.