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