[libcxx] Make allocator<T>:allocate throw bad_array_new_length
authorMikhail Maltsev <mikhail.maltsev@arm.com>
Mon, 18 Oct 2021 18:12:42 +0000 (19:12 +0100)
committerMikhail Maltsev <mikhail.maltsev@arm.com>
Mon, 18 Oct 2021 18:12:42 +0000 (19:12 +0100)
commitbe10b1f1cc5fc621c378da97810ffc13b2a9af71
treeaa719427b00aa01f38975b56297ac79f681c8ed7
parent5b949a649aff0406a878e8eb8d7d5efba0a55e4a
[libcxx] Make allocator<T>:allocate throw bad_array_new_length

Currently the member functions std::allocator<T>::allocate,
std::experimental::pmr::polymorphic_allocator::allocate and
std::resource_adaptor<T>::do_allocate throw an exception of type
std::length_error when the requested size exceeds the maximum size.

According to the C++ standard ([allocator.members]/4,
[mem.poly.allocator.mem]/1), std::allocator<T>::allocate and
std::pmr::polymorphic_allocator::allocate must throw a
std::bad_array_new_length exception in this case.

The patch fixes the issue with std::allocator<T>::allocate and changes
the type the exception thrown by
std::experimental::pmr::resource_adaptor<T>::do_allocate to
std::bad_array_new_length as well for consistency.

The patch resolves LWG 3237, LWG 3038 and LWG 3190.

Reviewed By: ldionne, #libc, Quuxplusone

Differential Revision: https://reviews.llvm.org/D110846
libcxx/docs/ReleaseNotes.rst
libcxx/docs/Status/Cxx20Issues.csv
libcxx/include/__memory/allocator.h
libcxx/include/experimental/memory_resource
libcxx/include/new
libcxx/lib/abi/x86_64-unknown-linux-gnu.libcxxabi.v1.stable.exceptions.no_new_in_libcxx.abilist
libcxx/test/std/experimental/memory/memory.polymorphic.allocator.class/memory.polymorphic.allocator.mem/allocate.pass.cpp
libcxx/test/std/experimental/memory/memory.resource.adaptor/memory.resource.adaptor.mem/do_allocate_and_deallocate.pass.cpp
libcxx/test/std/utilities/memory/default.allocator/allocator.members/allocate.size.pass.cpp