https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105749
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Richard Biener from comment #4) > Confirmed on the GCC 12 branch but on master the diagnostic only shows with > -O1 now ... This is due to the fix for PR 80635 which fixed it with VRP. my patch fixes it even without VRP usage.