https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105679
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Kees Cook from comment #6)
> (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?
Yes, I think so - I'll do after a week of no ill-fated fallout.
