[Bug middle-end/123067] [16 Regression] wrong code at -O2 and above on x86_64-pc-linux-gnu since r16-5526

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Guess the r16-5526 optimization needs to verify there is no partial aliasing,
so only either it is the same size/same address access, or disjoint accesses,
never partial.
Dunno how to ensure that, whether through alignment or only handling the case
mentioned from TSVC, e.g. ARRAY_REFs to the same array but different indexes,
something else?