https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77980
--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #6) > >The only time _3 is nonzero 0 is _2 == 1 but we already know _2 can't be 2. > Should be: > The only time _3 is nonzero 0 is _2 == 1 but we already know _2 can't be 1 > as "NONZERO 4294967294" (which is 0xfffffffe) operator_div::wi_fold in range-op.cc is where it needs to be improved.
