[Bug libstdc++/114316] assert failure with _GLIBCXX_DEBUG and empty range of singular iterators passed to std:: algorithm

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

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

--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Francois Dumont <fdum...@gcc.gnu.org>:

https://gcc.gnu.org/g:07fad7a7fc245369989e9ca746728ea78b924715

commit r14-9507-g07fad7a7fc245369989e9ca746728ea78b924715
Author: François Dumont <fdum...@gcc.gnu.org>
Date:   Thu Mar 14 22:13:57 2024 +0100

    libstdc++: Implement N3644 on _Safe_iterator<> [PR114316]

    Consider range of value-initialized iterators as valid and empty.

    libstdc++-v3/ChangeLog:

            PR libstdc++/114316
            * include/debug/safe_iterator.tcc
(_Safe_iterator<>::_M_valid_range):
            First check if both iterators are value-initialized before checking
if
            singular.
            * testsuite/23_containers/set/debug/114316.cc: New test case.
            * testsuite/23_containers/vector/debug/114316.cc: New test case.