[Bug libstdc++/115854] Copy-initialization or implicit conversion is used when creating an allocator whose type is obtained by rebind

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

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

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

https://gcc.gnu.org/g:d166c3ecf633a939777d02bc5c9ad4e2449e6d98

commit r13-9128-gd166c3ecf633a939777d02bc5c9ad4e2449e6d98
Author: Jonathan Wakely <jwak...@redhat.com>
Date:   Wed Jul 10 10:29:52 2024 +0100

    libstdc++: Use direct-initialization for std::vector<bool>'s allocator
[PR115854]

    The consensus in the standard committee is that this change shouldn't be
    necessary, and the Allocator requirements should require conversions
    between rebound allocators to be implicit. But we can make it work for
    now anyway.

    libstdc++-v3/ChangeLog:

            PR libstdc++/115854
            * include/bits/stl_bvector.h (_Bvector_base): Convert allocator
            to rebound type explicitly.
            * testsuite/23_containers/vector/allocator/115854.cc: New test.
            * testsuite/23_containers/vector/bool/allocator/115854.cc: New
test.

    (cherry picked from commit c5efc6eca8e3eee7038ae218cf7e2dbe9ed9d82a)