https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87192
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |diagnostic
Status|UNCONFIRMED |NEW
Last reconfirmed| |2018-09-03
Blocks| |56456
Ever confirmed|0 |1
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
The issue is the array isn't visible in the IL anymore but we have
bar (&MEM[(void *)&s + 48B]);
The first CCP pass already propagates the constant pointer from
_1 = &s.a + 48;
bar (_1);
to the above.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56456
[Bug 56456] [meta-bug] bogus/missing -Warray-bounds
