[Bug tree-optimization/100137] [10/11 Regression] -Warray-bounds false positive on varying offset plus negative

[msebor at gcc dot gnu.org via Gcc-bugs]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|11.0                        |11.1.0
            Summary|[10/11/12 Regression]       |[10/11 Regression]
                   |-Warray-bounds false        |-Warray-bounds false
                   |positive on varying offset  |positive on varying offset
                   |plus negative               |plus negative

--- Comment #7 from Martin Sebor <msebor at gcc dot gnu.org> ---
Fixed in GCC 12.0.  The patch is too big to backport but a more targeted/modest
fix should be possible.