https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92539
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Known to work| |15.0 Summary|[12/13/14/15 Regression] |[12/13/14 Regression] |-Warray-bounds false |-Warray-bounds false |positive with -O3 (loop |positive with -O3 (loop |unroll?) |unroll?) --- Comment #15 from Richard Biener <rguenth at gcc dot gnu.org> --- This testcase is now fixed for GCC 15 by optimizing it better given the constant string "aa" in the test. Whether it helps other cases remains to be seen. The change is not suitable for backporting IMO.