https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101223
rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rsandifo at gcc dot gnu.org
--- Comment #8 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org>
---
(In reply to Andrew Macleod from comment #7)
> wi::sub sets the overflow flag for 0 - 1 with 1 bit signed... so the
> comparison ends up being undefined, and we then make incorrect choices
> because we think we can.
Isn't that a bug in wi::sub though? I think we should fix it rather
than work around it in callers.
