[Bug libstdc++/95833] Incorrect static_assert in std::reduce overload taking a binary functor

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95833

--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Jonathan Wakely
<r...@gcc.gnu.org>:

https://gcc.gnu.org/g:3a37d5c0bd3451104ddab85f69ec37b50d31fa7f

commit r10-9945-g3a37d5c0bd3451104ddab85f69ec37b50d31fa7f
Author: Jonathan Wakely <jwak...@redhat.com>
Date:   Fri Jun 18 14:46:58 2021 +0100

    libstdc++: Replace incorrect static assertion in std::reduce [PR95833]

    The standard does not require the iterator's value type to be
    convertible to the result type, it only requires that the result of
    dereferencing the iterator can be passed to the binary function.

    libstdc++-v3/ChangeLog:

            PR libstdc++/95833
            * include/std/numeric (reduce(Iter, Iter, T, BinaryOp)): Replace
            incorrect static_assert with ones matching the 'Mandates'
            conditions in the standard.
            * testsuite/26_numerics/reduce/95833.cc: New test.

    (cherry picked from commit 0532452dcd17910dfd3d2b0df50dfe3ef1194bf7)