[Bug tree-optimization/84053] [7/8 Regression] missing -Warray-bounds accessing a local array across inlined function boundaries

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
      Known to work|                            |9.0
         Resolution|---                         |FIXED
            Summary|[7/8/9 Regression] missing  |[7/8 Regression] missing
                   |-Warray-bounds accessing a  |-Warray-bounds accessing a
                   |local array across inlined  |local array across inlined
                   |function boundaries         |function boundaries

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed in GCC 9.

> ./cc1 -quiet t.c -O2 -Warray-bounds
t.c: In function ‘h’:
t.c:3:13: warning: array subscript [3, 2147483647] is outside array bounds of
‘int[2]’ [-Warray-bounds]
    3 |     return p[i];
      |            ~^~~
t.c:8:9: note: while referencing ‘a’
    8 |     int a[] = { 2, 3 };
      |         ^