https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95833
--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-9 branch has been updated by Jonathan Wakely <r...@gcc.gnu.org>: https://gcc.gnu.org/g:ae17634d5fce496a50477eb0199f1eda8249622f commit r9-9594-gae17634d5fce496a50477eb0199f1eda8249622f 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)
