https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90525
--- Comment #2 from Miguel Ojeda <miguel.ojeda.sandonis at gmail dot com> --- I see. About offset 1: even if it is not (formally) out of bounds, memset will end up dereferencing it. In the end, what users care about is that b and c are being overwritten (even users that know about the one-past-the-last rules may be surprised). About offset 3, even if a particular memset function is implemented in C and ends up with a pointer to offset 3 (internally), it will never be written to, so why would it be mentioned? Note: this is, again, just from the users' perspective :)
