[Bug libstdc++/70966] new_delete_resource() has deinit lifetime issues.

[redi at gcc dot gnu.org]

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

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Author: redi
Date: Tue Jul 24 13:03:11 2018
New Revision: 262943

URL: https://gcc.gnu.org/viewcvs?rev=262943&root=gcc&view=rev
Log:
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.

Modified:
    trunk/libstdc++-v3/ChangeLog
    trunk/libstdc++-v3/include/experimental/memory_resource