[Bug middle-end/84051] [7/8/9 Regression] missing -Warray-bounds on an out-of-bounds access via an array pointer

[msebor at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|WONTFIX                     |---
           Assignee|unassigned at gcc dot gnu.org      |msebor at gcc dot 
gnu.org
          Component|tree-optimization           |middle-end
             Status|RESOLVED                    |ASSIGNED

--- Comment #5 from Martin Sebor <msebor at gcc dot gnu.org> ---
Testing a simple enhancement teaching gimple-array-bounds.cc how to detect this
case.