https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110458
--- Comment #3 from Franz Sirl <sirl at gcc dot gnu.org> --- Actually Comment 2 is only true for the original testcode (which was quite fragile to reproduce). The reduced testcode started to fail with the backwards jump threader rewrite in r12-2591-g2e96b5f14e4025691b57d2301d71aa6092ed44bc and a simple -Warray-bounds. This is proven by the fact that compiling the testcase with gcc@r12-2591 with an additional --param=threader-mode=legacy makes the warning go away. So this bug maybe a duplicate of the other bugs (couldn't find a metabug) related to r12-2591.