https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106901
--- Comment #4 from Carlos Galvez <carlosgalvezp at gmail dot com> --- Makes sense! Would it make sense to classify this as "maybe-array-bounds" instead? Similar to "maybe-uninitialized" vs "uninitialized"
