https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100223
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- Arguably, the caller can do this check if they think it can occur in their code. That way all calls to the algorithm don't pay for the check. But it's probably cheap enough to check anyway.
