[Bug tree-optimization/88800] [8 Regression] Spurious -Werror=array-bounds for non-taken branch

[msebor at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[8/9 Regression] Spurious   |[8 Regression] Spurious
                   |-Werror=array-bounds for    |-Werror=array-bounds for
                   |non-taken branch            |non-taken branch

--- Comment #6 from Martin Sebor <msebor at gcc dot gnu.org> ---
Fixed via r268037 on the trunk (GCC 9).