https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105690
--- Comment #2 from Martin Jambor <jamborm at gcc dot gnu.org> --- (In reply to Richard Biener from comment #1) > somehow function splitting exposes this, With options: -O2 -Warray-bounds -S -fno-inline-functions-called-once --param inline-unit-growth=0 --param max-inline-insns-auto=0 the warning also goes away, so it might be re-inlining the split functions together that exposes it. > but since all calls to > .part.0 are properly guarded this is senseless doing (maybe IPA with VRP > info does something odd here with the signed/unsigned promotion) IPA-VRP (or IPA-CP in general) does not seem to play a role, or at least disabling them does not seem to have any effect.
