https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90525
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |UNCONFIRMED
Ever confirmed|1 |0
--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
The warning means to say that the pointers formed by adding the offsets to the
starting address are out-of-bounds. Offset 1 from &t.a isn't out-of-bounds --
it points just past the end of t.a (it just isn't dereferenceable). But
offsets 2 and 3 definitely are out of the bounds of t.a.
