PR libstdc++/70966 fix lifetime bug for default resource

	PR libstdc++/70966
	* include/experimental/memory_resource (__get_default_resource): Use
	placement new to create an object with dynamic storage duration.

From-SVN: r262943

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index ba78ab8e914cc314a2027b31affe42a23c5b0ac1..1f87a12e2926a3529c7f60d0cd49a9d4d362319d 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,9 @@
+2018-07-24  Jonathan Wakely  <jwakely@redhat.com>
+
+       PR libstdc++/70966
+       * include/experimental/memory_resource (__get_default_resource): Use
+       placement new to create an object with dynamic storage duration.
+
 2018-07-23  Jonathan Wakely  <jwakely@redhat.com>
 
        PR libstdc++/70940

diff --git a/libstdc++-v3/include/experimental/memory_resource b/libstdc++-v3/include/experimental/memory_resource
index 61273fc2c855e3e38170aa2c6cba9ae7b186ad9a..83379d1367a699c83610f6657e18dba20c0d96cb 100644 (file)
--- a/libstdc++-v3/include/experimental/memory_resource
+++ b/libstdc++-v3/include/experimental/memory_resource
@@ -459,12 +459,6 @@ namespace pmr {
     };
 
   // Global memory resources
-  inline std::atomic<memory_resource*>&
-  __get_default_resource()
-  {
-    static atomic<memory_resource*> _S_default_resource(new_delete_resource());
-    return _S_default_resource;
-  }
 
   inline memory_resource*
   new_delete_resource() noexcept
@@ -499,6 +493,16 @@ namespace pmr {
   }
 
   // The default memory resource
+
+  inline std::atomic<memory_resource*>&
+  __get_default_resource()
+  {
+    using type = atomic<memory_resource*>;
+    alignas(type) static unsigned char __buf[sizeof(type)];
+    static type* __r = new(__buf) type(new_delete_resource());
+    return *__r;
+  }
+
   inline memory_resource*
   get_default_resource() noexcept
   { return __get_default_resource().load(); }