https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113811
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2024-02-08
Ever confirmed|0 |1
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
They're never negative unless the arguments to the algorithm are incorrect, in
which case maybe trapping is better than trashing the data!
I was going to suggest that we could just add an assertion and/or hint that
they're never negative, but I guess PR 102580 means that wouldn't help.