[Bug c/98541] warning with -Wnonnull for array parameter with bound > 0

[msebor at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98541

--- Comment #2 from Martin Sebor <msebor at gcc dot gnu.org> ---
(In reply to Martin Sebor from comment #1)
> and necessary to prevent this use case.

I mean: ...to prevent invalidating it.