https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94675
--- Comment #2 from Xavier <chantry.xavier at gmail dot com> --- Note that in our code, we are not even dereferencing the pointer, it's just ps->s += len. And since we always keep a pointer right after the array (p_end / s_end), won't that be a source of problems for Warray-bounds ?