On Tue, 23 Jun 2026, 00:19 Nathan Myers, <[email protected]> wrote:
> Add check that the specialization of std::allocator_traits on
> pmr::polymorphic_allocator<T> defines allocate_at_least.
>
OK
> libstdc++-v3/Changelog:
> PR libstdc++/125890
> * testsuite/20_util/polymorphic_allocator/at_least.cc: New test.
> ---
> .../20_util/polymorphic_allocator/at_least.cc | 24 +++++++++++++++++++
> 1 file changed, 24 insertions(+)
> create mode 100644
> libstdc++-v3/testsuite/20_util/polymorphic_allocator/at_least.cc
>
> diff --git
> a/libstdc++-v3/testsuite/20_util/polymorphic_allocator/at_least.cc
> b/libstdc++-v3/testsuite/20_util/polymorphic_allocator/at_least.cc
> new file mode 100644
> index 00000000000..4384645dde5
> --- /dev/null
> +++ b/libstdc++-v3/testsuite/20_util/polymorphic_allocator/at_least.cc
> @@ -0,0 +1,24 @@
> +// { dg-do run { target c++23 } }
> +
> +#include <memory_resource>
> +#include <testsuite_hooks.h>
> +
> +void
> +alloc_at_least()
> +{
> + struct A { char a; };
> + using alloc_A = std::pmr::polymorphic_allocator<A>;
> + using traits_A = std::allocator_traits<alloc_A>;
> + alloc_A alloc_a;
> + // This just forwards to alloc_a::allocate:
> + std::allocation_result result = traits_A::allocate_at_least(alloc_a, 1);
> + VERIFY(result.count == 1);
> + VERIFY(result.ptr != nullptr);
> + auto [pointer, count] = result;
> + traits_A::deallocate(alloc_a, pointer, count);
> +}
> +
> +int main()
> +{
> + alloc_at_least();
> +}
> --
> 2.54.0
>
>
