https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105679
--- Comment #6 from Kees Cook <kees at outflux dot net> --- (In reply to Richard Biener from comment #5) > Should be fixed on trunk. Can you check on the original unreduced testcase? Thanks! I've done test builds and can confirm these two false positives have been eliminated: arch/x86/kvm/emulate.c:251:27: warning: array subscript 32 is above array bounds of 'long unsigned int[17]' [-Warray-bounds] arch/x86/kvm/ioapic.c:213:33: warning: array subscript 32 is above array bounds of 'union kvm_ioapic_redirect_entry[24]' [-Warray-bounds] Is this backportable to gcc 12?