aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonathan Wakely <jwakely@redhat.com>2021-11-10 16:59:29 +0000
committerJonathan Wakely <jwakely@redhat.com>2021-11-11 18:16:17 +0000
commit083fd73202fb7387c16b6c9beab9841939a62acb (patch)
tree7a089906b594a4f235baa11e4e7b41e4a9ed2089
parentef0e100f5870bbb792f378858864f915696dd232 (diff)
downloadgcc-083fd73202fb7387c16b6c9beab9841939a62acb.zip
gcc-083fd73202fb7387c16b6c9beab9841939a62acb.tar.gz
gcc-083fd73202fb7387c16b6c9beab9841939a62acb.tar.bz2
libstdc++: Make pmr::memory_resource::allocate implicitly create objects
Calling the placement version of ::operator new "implicitly creates objects in the returned region of storage" as per [intro.object]. This allows the returned memory to be used as storage for implicit-lifetime types (including arrays) without additional action by the caller. This is required by the proposed resolution of LWG 3147. libstdc++-v3/ChangeLog: * include/std/memory_resource (memory_resource::allocate): Implicitly create objects in the returned storage.
-rw-r--r--libstdc++-v3/include/std/memory_resource3
1 files changed, 2 insertions, 1 deletions
diff --git a/libstdc++-v3/include/std/memory_resource b/libstdc++-v3/include/std/memory_resource
index 6bca0af..97d37f1 100644
--- a/libstdc++-v3/include/std/memory_resource
+++ b/libstdc++-v3/include/std/memory_resource
@@ -33,6 +33,7 @@
#if __cplusplus >= 201703L
+#include <new>
#include <vector> // vector
#include <cstddef> // size_t, max_align_t, byte
#include <shared_mutex> // shared_mutex
@@ -103,7 +104,7 @@ namespace pmr
void*
allocate(size_t __bytes, size_t __alignment = _S_max_align)
__attribute__((__returns_nonnull__,__alloc_size__(2),__alloc_align__(3)))
- { return do_allocate(__bytes, __alignment); }
+ { return ::operator new(__bytes, do_allocate(__bytes, __alignment)); }
void
deallocate(void* __p, size_t __bytes, size_t __alignment = _S_max_align)