https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100223
--- Comment #2 from 康桓瑋 <hewillk at gmail dot com> --- (In reply to Jonathan Wakely from comment #1) > 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. Exactly, since the <algorithm> is full of such checks, I think there is nothing wrong with adding one for partial_sort.