https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107699
--- Comment #8 from Carlos Galvez <carlosgalvezp at gmail dot com> --- I see! In that case may I suggest to split the diagnostic into "Warray-bounds" and "Wmaybe-array-bounds"? That way we could enable the first and disable the second. The way it is today, we need to disable Warray-bounds entirely, which naturally risks not catching true positives.
