https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97027
--- Comment #7 from Martin Sebor <msebor at gcc dot gnu.org> --- Something like the patch in comment 3 to handle the overflow in tree-ssa-strlen.c is still needed. Otherwise GCC does issue a -Warray-bounds but that's enabled only with -Wall (the test expects buffer overflow to be detected without -Wall).