[Bug tree-optimization/108306] [12/13 Regression] false-positive -Warray-bounds warning emitted with -fsanitize=shift

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

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |11.3.0
           Priority|P3                          |P2
   Target Milestone|---                         |12.3
      Known to fail|                            |12.2.1, 13.0
            Summary|false-positive              |[12/13 Regression]
                   |-Warray-bounds warning      |false-positive
                   |emitted with                |-Warray-bounds warning
                   |-fsanitize=shift            |emitted with
                   |                            |-fsanitize=shift

--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
It's also a regression, GCC 11 and earlier work fine (no diagnostic).