Implement std::experimental::shared_ptr with array support

2015-11-13  Fan You  <youfan.noey@gmail.com>
	    Jonathan Wakely  <jwakely@redhat.com>

	* include/Makefile.am: Add new header.
	* include/Makefile.in: Regenerate.
	* include/experimental/bits/shared_ptr.h: New.
	* include/experimental/memory: Include new header.
	* testsuite/experimental/memory/shared_ptr/assign/assign.cc: New.
	* testsuite/experimental/memory/shared_ptr/cast/cast.cc: New.
	* testsuite/experimental/memory/shared_ptr/comparison/comparison.cc:
	New.
	* testsuite/experimental/memory/shared_ptr/cons/alias_ctor.cc: New.
	* testsuite/experimental/memory/shared_ptr/cons/alloc_ctor.cc: New.
	* testsuite/experimental/memory/shared_ptr/cons/copy_ctor.cc: New.
	* testsuite/experimental/memory/shared_ptr/cons/copy_ctor_neg.cc: New.
	* testsuite/experimental/memory/shared_ptr/cons/default_ctor.cc: New.
	* testsuite/experimental/memory/shared_ptr/cons/move_ctor.cc: New.
	* testsuite/experimental/memory/shared_ptr/cons/pointer_ctor.cc: New.
	* testsuite/experimental/memory/shared_ptr/cons/unique_ptr_ctor.cc:
	New.
	* testsuite/experimental/memory/shared_ptr/cons/weak_ptr_ctor.cc: New.
	* testsuite/experimental/memory/shared_ptr/dest/dest.cc: New.
	* testsuite/experimental/memory/shared_ptr/modifiers/reset.cc: New.
	* testsuite/experimental/memory/shared_ptr/modifiers/swap.cc: New.
	* testsuite/experimental/memory/shared_ptr/observers/bool_conv.cc:
	New.
	* testsuite/experimental/memory/shared_ptr/observers/operators.cc:
	New.
	* testsuite/experimental/memory/shared_ptr/observers/owner_before.cc:
	New.
	* testsuite/experimental/memory/shared_ptr/observers/use_count.cc: New.

Co-Authored-By: Jonathan Wakely <jwakely@redhat.com>

From-SVN: r230300

libstdc++-v3/ChangeLog

+2015-11-13  Fan You  <youfan.noey@gmail.com>
+	    Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/Makefile.am: Add new header.
+	* include/Makefile.in: Regenerate.
+	* include/experimental/bits/shared_ptr.h: New.
+	* include/experimental/memory: Include new header.
+	* testsuite/experimental/memory/shared_ptr/assign/assign.cc: New.
+	* testsuite/experimental/memory/shared_ptr/cast/cast.cc: New.
+	* testsuite/experimental/memory/shared_ptr/comparison/comparison.cc:
+	New.
+	* testsuite/experimental/memory/shared_ptr/cons/alias_ctor.cc: New.
+	* testsuite/experimental/memory/shared_ptr/cons/alloc_ctor.cc: New.
+	* testsuite/experimental/memory/shared_ptr/cons/copy_ctor.cc: New.
+	* testsuite/experimental/memory/shared_ptr/cons/copy_ctor_neg.cc: New.
+	* testsuite/experimental/memory/shared_ptr/cons/default_ctor.cc: New.
+	* testsuite/experimental/memory/shared_ptr/cons/move_ctor.cc: New.
+	* testsuite/experimental/memory/shared_ptr/cons/pointer_ctor.cc: New.
+	* testsuite/experimental/memory/shared_ptr/cons/unique_ptr_ctor.cc:
+	New.
+	* testsuite/experimental/memory/shared_ptr/cons/weak_ptr_ctor.cc: New.
+	* testsuite/experimental/memory/shared_ptr/dest/dest.cc: New.
+	* testsuite/experimental/memory/shared_ptr/modifiers/reset.cc: New.
+	* testsuite/experimental/memory/shared_ptr/modifiers/swap.cc: New.
+	* testsuite/experimental/memory/shared_ptr/observers/bool_conv.cc:
+	New.
+	* testsuite/experimental/memory/shared_ptr/observers/operators.cc:
+	New.
+	* testsuite/experimental/memory/shared_ptr/observers/owner_before.cc:
+	New.
+	* testsuite/experimental/memory/shared_ptr/observers/use_count.cc: New.
+
 2015-11-13  Jonathan Wakely  <jwakely@redhat.com>
 
 	* include/Makefile.am: Add new header.

libstdc++-v3/include/Makefile.am

@@ -678,6 +678,7 @@ experimental_bits_srcdir = ${glibcxx_srcdir}/include/experimental/bits
 experimental_bits_builddir = ./experimental/bits
 experimental_bits_headers = \
 	${experimental_bits_srcdir}/erase_if.h \
+	${experimental_bits_srcdir}/shared_ptr.h \
 	${experimental_bits_srcdir}/string_view.tcc \
 	${experimental_bits_filesystem_headers}
 

libstdc++-v3/include/Makefile.in

@@ -967,6 +967,7 @@ experimental_bits_srcdir = ${glibcxx_srcdir}/include/experimental/bits
 experimental_bits_builddir = ./experimental/bits
 experimental_bits_headers = \
 	${experimental_bits_srcdir}/erase_if.h \
+	${experimental_bits_srcdir}/shared_ptr.h \
 	${experimental_bits_srcdir}/string_view.tcc \
 	${experimental_bits_filesystem_headers}
 

libstdc++-v3/include/experimental/bits/shared_ptr.h

+// Experimental shared_ptr with array support -*- C++ -*-
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// Under Section 7 of GPL version 3, you are granted additional
+// permissions described in the GCC Runtime Library Exception, version
+// 3.1, as published by the Free Software Foundation.
+
+// You should have received a copy of the GNU General Public License and
+// a copy of the GCC Runtime Library Exception along with this program;
+// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
+// <http://www.gnu.org/licenses/>.
+
+/** @file experimental/bits/shared_ptr.h
+ *  This is an internal header file, included by other library headers.
+ *  Do not attempt to use it directly. @headername{memory}
+ */
+
+#ifndef _GLIBCXX_EXPERIMENTAL_SHARED_PTR_H
+#define _GLIBCXX_EXPERIMENTAL_SHARED_PTR_H 1
+
+#pragma GCC system_header
+
+#if __cplusplus <= 201103L
+# include <bits/c++14_warning.h>
+#else
+
+#include <memory>
+#include <experimental/type_traits>
+
+namespace std _GLIBCXX_VISIBILITY(default)
+{
+namespace experimental
+{
+inline namespace fundamentals_v2
+{
+_GLIBCXX_BEGIN_NAMESPACE_VERSION
+  template<typename _Tp> class enable_shared_from_this;
+_GLIBCXX_END_NAMESPACE_VERSION
+} // namespace fundamentals_v2
+} // namespace experimental
+
+#define __cpp_lib_experimental_shared_ptr_arrays 201406
+
+_GLIBCXX_BEGIN_NAMESPACE_VERSION
+
+  /*
+   * The specification of std::experimental::shared_ptr is slightly different
+   * to std::shared_ptr (specifically in terms of pointer "compatibility") so
+   * to implement std::experimental::shared_ptr without too much duplication
+   * we make it derive from a partial specialization of std::__shared_ptr
+   * using a special tag type, __libfund_v1.
+   *
+   * There are two partial specializations for the tag type, supporting the
+   * different interfaces of the array and non-array forms.
+  */
+
+  template <typename _Tp, bool = is_array<_Tp>::value>
+    struct __libfund_v1 { using type = _Tp; };
+
+  // helper for _Compatible
+  template<typename _From_type, typename _To_type>
+    struct __sp_compatible
+    : is_convertible<_From_type*, _To_type*>::type
+    { };
+
+  template<size_t _Nm, typename _Tp>
+    struct __sp_compatible<_Tp[_Nm], _Tp[]>
+    : true_type
+    { };
+
+  template<size_t _Nm, typename _Tp>
+    struct __sp_compatible<_Tp[_Nm], const _Tp[]>
+    : true_type
+    { };
+
+  // Partial specialization for base class of experimental::shared_ptr<T>
+  // (i.e. the non-array form of experimental::shared_ptr)
+  template<typename _Tp, _Lock_policy _Lp>
+    class __shared_ptr<__libfund_v1<_Tp, false>, _Lp>
+    : private __shared_ptr<_Tp, _Lp>
+    {
+      template<typename _Tp1>
+	using _Compatible
+	  = enable_if_t<__sp_compatible<_Tp1, _Tp>::value>;
+
+      using _Base_type = __shared_ptr<_Tp>;
+
+      _Base_type&  _M_get_base() { return *this;}
+      const _Base_type&  _M_get_base() const { return *this;}
+
+    public:
+      using element_type = _Tp;
+
+      constexpr __shared_ptr() noexcept = default;
+
+      template<typename _Tp1>
+	explicit __shared_ptr(_Tp1* __p)
+	: _Base_type(__p)
+	{ }
+
+      template<typename _Tp1, typename _Deleter>
+	__shared_ptr(_Tp1* __p, _Deleter __d)
+	: _Base_type(__p, __d)
+	{ }
+
+      template<typename _Tp1, typename _Deleter, typename _Alloc>
+	__shared_ptr(_Tp1* __p, _Deleter __d, _Alloc __a)
+	: _Base_type(__p, __d, __a)
+	{ }
+
+      template<typename _Deleter>
+	__shared_ptr(nullptr_t __p, _Deleter __d)
+	: _Base_type(__p, __d)
+	{ }
+
+      template<typename _Deleter, typename _Alloc>
+	__shared_ptr(nullptr_t __p, _Deleter __d, _Alloc __a)
+	: _Base_type(__p, __d, __a)
+	{ }
+
+      template<typename _Tp1>
+	__shared_ptr(const __shared_ptr<__libfund_v1<_Tp1>, _Lp>& __r,
+		     element_type* __p) noexcept
+	: _Base_type(__r._M_get_base(), __p)
+	{ }
+
+      __shared_ptr(const __shared_ptr&) noexcept = default;
+      __shared_ptr(__shared_ptr&&) noexcept = default;
+      __shared_ptr& operator=(const __shared_ptr&) noexcept = default;
+      __shared_ptr& operator=(__shared_ptr&&) noexcept = default;
+      ~__shared_ptr() = default;
+
+      template<typename _Tp1, typename = _Compatible<_Tp1>>
+	__shared_ptr(const __shared_ptr<__libfund_v1<_Tp1>, _Lp>& __r) noexcept
+	: _Base_type(__r._M_get_base())
+	{ }
+
+      template<typename _Tp1, typename = _Compatible<_Tp1>>
+	__shared_ptr(__shared_ptr<__libfund_v1<_Tp1>, _Lp>&& __r) noexcept
+	: _Base_type(std::move((__r._M_get_base())))
+	{ }
+
+      template<typename _Tp1>
+	explicit __shared_ptr(const __weak_ptr<__libfund_v1<_Tp1>, _Lp>& __r)
+	: _Base_type(__r._M_get_base())
+	{ }
+
+      template<typename _Tp1, typename _Del, typename
+	      = _Compatible<remove_pointer_t<
+			    typename unique_ptr<_Tp1, _Del>::pointer>>>
+	  __shared_ptr(std::unique_ptr<_Tp1, _Del>&& __r)
+	  : _Base_type(std::move(__r))
+	  { }
+
+#if _GLIBCXX_USE_DEPRECATED
+      // Postcondition: use_count() == 1 and __r.get() == 0
+      template<typename _Tp1>
+	__shared_ptr(std::auto_ptr<_Tp1>&& __r)
+        : _Base_type(std::move(__r))
+	{ }
+#endif
+
+      constexpr __shared_ptr(nullptr_t) noexcept : __shared_ptr() { }
+
+      // reset
+      void
+      reset() noexcept
+      { __shared_ptr(nullptr).swap(*this); }
+
+      template<typename _Tp1>
+	void
+	reset(_Tp1* __p)
+	{
+	  _GLIBCXX_DEBUG_ASSERT(__p == 0 || __p != get());
+	  __shared_ptr(__p).swap(*this);
+	}
+
+      template<typename _Tp1, typename _Deleter>
+	void
+	reset(_Tp1* __p, _Deleter __d)
+	{ __shared_ptr(__p, __d).swap(*this); }
+
+      template<typename _Tp1, typename _Deleter, typename _Alloc>
+	void
+	reset(_Tp1* __p, _Deleter __d, _Alloc __a)
+	{ __shared_ptr(__p, __d, std::move(__a)).swap(*this); }
+
+      using _Base_type::operator*;
+      using _Base_type::operator->;
+
+      template<typename _Tp1>
+	__shared_ptr&
+	operator=(const __shared_ptr<__libfund_v1<_Tp1>, _Lp>& __r) noexcept
+	{
+	  _Base_type::operator=(__r._M_get_base());
+	  return *this;
+	}
+
+      template<class _Tp1>
+	__shared_ptr&
+	operator=(__shared_ptr<__libfund_v1<_Tp1>, _Lp>&& __r) noexcept
+	{
+	  _Base_type::operator=(std::move(__r._M_get_base()));
+	  return *this;
+	}
+
+      template<typename _Tp1>
+	__shared_ptr&
+	operator=(std::unique_ptr<_Tp1>&& __r)
+	{
+	  _Base_type::operator=(std::move(__r));
+	  return *this;
+	}
+
+#if _GLIBCXX_USE_DEPRECATED
+      template<typename _Tp1>
+	__shared_ptr&
+	operator=(std::auto_ptr<_Tp1>&& __r)
+	{
+	  _Base_type::operator=(std::move(__r));
+	  return *this;
+	}
+#endif
+
+      void
+      swap(__shared_ptr& __other) noexcept
+      { _Base_type::swap(__other); }
+
+      template<typename _Tp1>
+	bool
+	owner_before(__shared_ptr<__libfund_v1<_Tp1>, _Lp> const& __rhs) const
+	{ return _Base_type::owner_before(__rhs._M_get_base()); }
+
+      template<typename _Tp1>
+	bool
+	owner_before(__weak_ptr<__libfund_v1<_Tp1>, _Lp> const& __rhs) const
+	{ return _Base_type::owner_before(__rhs._M_get_base()); }
+
+      using _Base_type::operator bool;
+      using _Base_type::get;
+      using _Base_type::unique;
+      using _Base_type::use_count;
+
+    protected:
+
+      // make_shared not yet support for shared_ptr_arrays
+      //template<typename _Alloc, typename... _Args>
+      //  __shared_ptr(_Sp_make_shared_tag __tag, const _Alloc& __a,
+      //	             _Args&&... __args)
+      //	: _M_ptr(), _M_refcount(__tag, (_Tp*)0, __a,
+      //	                        std::forward<_Args>(__args)...)
+      //	{
+      //	  void* __p = _M_refcount._M_get_deleter(typeid(__tag));
+      //	  _M_ptr = static_cast<_Tp*>(__p);
+      //	  __enable_shared_from_this_helper(_M_refcount, _M_ptr, _M_ptr);
+      //	}
+
+      // __weak_ptr::lock()
+      __shared_ptr(const __weak_ptr<__libfund_v1<_Tp>, _Lp>& __r,
+		   std::nothrow_t)
+      : _Base_type(__r._M_get_base(), std::nothrow)
+      { }
+
+    private:
+      template<typename _Tp1, _Lock_policy _Lp1> friend class __weak_ptr;
+      template<typename _Tp1, _Lock_policy _Lp1> friend class __shared_ptr;
+
+      // TODO
+      template<typename _Del, typename _Tp1, _Lock_policy _Lp1>
+	friend _Del* get_deleter(const __shared_ptr<_Tp1, _Lp1>&) noexcept;
+    };
+
+  // Partial specialization for base class of experimental::shared_ptr<T[N]>
+  // and experimental::shared_ptr<T[]> (i.e. the array forms).
+  template<typename _Tp, _Lock_policy _Lp>
+    class __shared_ptr<__libfund_v1<_Tp, true>, _Lp>
+    : private __shared_ptr<remove_extent_t<_Tp>, _Lp>
+    {
+    public:
+      using element_type = remove_extent_t<_Tp>;
+
+    private:
+      struct _Array_Deleter
+      {
+	void
+	operator()(element_type const *__p) const
+	{ delete [] __p; }
+      };
+
+      struct _Normal_Deleter
+      {
+	void
+	operator()(element_type const *__p) const
+	{ delete __p; }
+      };
+
+      template<typename _Tp1>
+	using _Compatible
+	  = enable_if_t<__sp_compatible<_Tp1, _Tp>::value>;
+
+      using _Deleter_type
+	= conditional_t<is_array<_Tp>::value, _Array_Deleter, _Normal_Deleter>;
+
+      using _Base_type = __shared_ptr<element_type>;
+
+      _Base_type&  _M_get_base() { return *this;}
+      const _Base_type&  _M_get_base() const { return *this;}
+
+    public:
+      constexpr __shared_ptr() noexcept
+      : _Base_type()
+      { }
+
+      template<typename _Tp1>
+	explicit __shared_ptr(_Tp1* __p)
+	: _Base_type(__p, _Deleter_type())
+	{ }
+
+      template<typename _Tp1, typename _Deleter>
+	__shared_ptr(_Tp1* __p, _Deleter __d)
+	: _Base_type(__p, __d)
+	{ }
+
+      template<typename _Tp1, typename _Deleter, typename _Alloc>
+	__shared_ptr(_Tp1* __p, _Deleter __d, _Alloc __a)
+	: _Base_type(__p, __d, __a)
+	{ }
+
+      template<typename _Deleter>
+	__shared_ptr(nullptr_t __p, _Deleter __d)
+	: _Base_type(__p, __d)
+	{ }
+
+      template<typename _Deleter, typename _Alloc>
+	__shared_ptr(nullptr_t __p, _Deleter __d, _Alloc __a)
+	: _Base_type(__p, __d, __a)
+	{ }
+
+      template<typename _Tp1>
+	__shared_ptr(const __shared_ptr<__libfund_v1<_Tp1>, _Lp>& __r,
+		     element_type* __p) noexcept
+	: _Base_type(__r._M_get_base(), __p)
+	{ }
+
+      __shared_ptr(const __shared_ptr&) noexcept = default;
+      __shared_ptr(__shared_ptr&&) noexcept = default;
+      __shared_ptr& operator=(const __shared_ptr&) noexcept = default;
+      __shared_ptr& operator=(__shared_ptr&&) noexcept = default;
+      ~__shared_ptr() = default;
+
+      template<typename _Tp1, typename = _Compatible<_Tp1>>
+	__shared_ptr(const __shared_ptr<__libfund_v1<_Tp1>, _Lp>& __r) noexcept
+	: _Base_type(__r._M_get_base())
+	{ }
+
+      template<typename _Tp1, typename = _Compatible<_Tp1>>
+	__shared_ptr(__shared_ptr<__libfund_v1<_Tp1>, _Lp>&& __r) noexcept
+	: _Base_type(std::move((__r._M_get_base())))
+	{ }
+
+      template<typename _Tp1>
+	explicit __shared_ptr(const __weak_ptr<__libfund_v1<_Tp1>, _Lp>& __r)
+	: _Base_type(__r._M_get_base())
+	{ }
+
+      template<typename _Tp1, typename _Del, typename
+	      = _Compatible<remove_pointer_t<
+			    typename unique_ptr<_Tp1, _Del>::pointer>>>
+	  __shared_ptr(std::unique_ptr<_Tp1, _Del>&& __r)
+	  : _Base_type(std::move(__r))
+	  { }
+
+#if _GLIBCXX_USE_DEPRECATED
+      // Postcondition: use_count() == 1 and __r.get() == 0
+      template<typename _Tp1>
+	__shared_ptr(std::auto_ptr<_Tp1>&& __r)
+        : _Base_type(std::move(__r))
+	{ }
+#endif
+
+      constexpr __shared_ptr(nullptr_t) noexcept : __shared_ptr() { }
+
+      // reset
+      void
+      reset() noexcept
+      { __shared_ptr(nullptr).swap(*this); }
+
+      template<typename _Tp1>
+	void
+	reset(_Tp1* __p)
+	{
+	  _GLIBCXX_DEBUG_ASSERT(__p == 0 || __p != get());
+	  __shared_ptr(__p, _Deleter_type()).swap(*this);
+	}
+
+      template<typename _Tp1, typename _Deleter>
+	void
+	reset(_Tp1* __p, _Deleter __d)
+	{ __shared_ptr(__p, __d).swap(*this); }
+
+      template<typename _Tp1, typename _Deleter, typename _Alloc>
+	void
+	reset(_Tp1* __p, _Deleter __d, _Alloc __a)
+	{ __shared_ptr(__p, __d, std::move(__a)).swap(*this); }
+
+      element_type&
+      operator[](ptrdiff_t i) const noexcept
+      {
+	_GLIBCXX_DEBUG_ASSERT(get() != 0 && i >= 0);
+	return get()[i];
+      }
+
+      template<typename _Tp1>
+	__shared_ptr&
+	operator=(const __shared_ptr<__libfund_v1<_Tp1>, _Lp>& __r) noexcept
+	{
+	  _Base_type::operator=(__r._M_get_base());
+	  return *this;
+	}
+
+      template<class _Tp1>
+	__shared_ptr&
+	operator=(__shared_ptr<__libfund_v1<_Tp1>, _Lp>&& __r) noexcept
+	{
+	  _Base_type::operator=(std::move(__r._M_get_base()));
+	  return *this;
+	}
+
+      template<typename _Tp1>
+	__shared_ptr&
+	operator=(std::unique_ptr<_Tp1>&& __r)
+	{
+	  _Base_type::operator=(std::move(__r));
+	  return *this;
+	}
+
+#if _GLIBCXX_USE_DEPRECATED
+      template<typename _Tp1>
+	__shared_ptr&
+	operator=(std::auto_ptr<_Tp1>&& __r)
+	{
+	  _Base_type::operator=(std::move(__r));
+	  return *this;
+	}
+#endif
+
+      void
+      swap(__shared_ptr& __other) noexcept
+      { _Base_type::swap(__other); }
+
+      template<typename _Tp1>
+	bool
+	owner_before(__shared_ptr<__libfund_v1<_Tp1>, _Lp> const& __rhs) const
+	{ return _Base_type::owner_before(__rhs._M_get_base()); }
+
+      template<typename _Tp1>
+	bool
+	owner_before(__weak_ptr<__libfund_v1<_Tp1>, _Lp> const& __rhs) const
+	{ return _Base_type::owner_before(__rhs._M_get_base()); }
+
+      using _Base_type::operator bool;
+      using _Base_type::get;
+      using _Base_type::unique;
+      using _Base_type::use_count;
+
+    protected:
+
+      // make_shared not yet support for shared_ptr_arrays
+      //template<typename _Alloc, typename... _Args>
+      //  __shared_ptr(_Sp_make_shared_tag __tag, const _Alloc& __a,
+      //	             _Args&&... __args)
+      //	: _M_ptr(), _M_refcount(__tag, (_Tp*)0, __a,
+      //	                        std::forward<_Args>(__args)...)
+      //	{
+      //	  void* __p = _M_refcount._M_get_deleter(typeid(__tag));
+      //	  _M_ptr = static_cast<_Tp*>(__p);
+      //	  __enable_shared_from_this_helper(_M_refcount, _M_ptr, _M_ptr);
+      //	}
+
+      // __weak_ptr::lock()
+      __shared_ptr(const __weak_ptr<__libfund_v1<_Tp>, _Lp>& __r,
+		   std::nothrow_t)
+      : _Base_type(__r._M_get_base(), std::nothrow)
+      { }
+
+    private:
+      template<typename _Tp1, _Lock_policy _Lp1> friend class __weak_ptr;
+      template<typename _Tp1, _Lock_policy _Lp1> friend class __shared_ptr;
+
+      // TODO
+      template<typename _Del, typename _Tp1, _Lock_policy _Lp1>
+	friend _Del* get_deleter(const __shared_ptr<_Tp1, _Lp1>&) noexcept;
+    };
+
+  // weak_ptr specialization for __shared_ptr array
+  template<typename _Tp, _Lock_policy _Lp>
+    class __weak_ptr<__libfund_v1<_Tp>, _Lp>
+    : __weak_ptr<remove_extent_t<_Tp>, _Lp>
+    {
+      template<typename _Tp1>
+	using _Compatible = enable_if_t<__sp_compatible<_Tp1, _Tp>::value>;
+
+      using _Base_type = __weak_ptr<remove_extent_t<_Tp>>;
+
+      _Base_type&  _M_get_base() { return *this;}
+      const _Base_type&  _M_get_base() const { return *this; }
+
+    public:
+      using element_type = remove_extent_t<_Tp>;
+
+      constexpr __weak_ptr() noexcept
+      : _Base_type()
+      { }
+
+      __weak_ptr(const __weak_ptr&) noexcept = default;
+
+      ~__weak_ptr() = default;
+
+      template<typename _Tp1, typename = _Compatible<_Tp1>>
+	__weak_ptr(const __weak_ptr<__libfund_v1<_Tp1>, _Lp>& __r) noexcept
+	: _Base_type(__r._M_get_base())
+	{ }
+
+      template<typename _Tp1, typename = _Compatible<_Tp1>>
+	__weak_ptr(const __shared_ptr<__libfund_v1<_Tp1>, _Lp>& __r) noexcept
+	: _Base_type(__r._M_get_base())
+	{ }
+
+      __weak_ptr(__weak_ptr&& __r) noexcept
+      : _Base_type(std::move(__r))
+      { }
+
+      template<typename _Tp1, typename = _Compatible<_Tp1>>
+	__weak_ptr(__weak_ptr<__libfund_v1<_Tp1>, _Lp>&& __r) noexcept
+	: _Base_type(std::move(__r._M_get_base()))
+	{ }
+
+      __weak_ptr&
+      operator=(const __weak_ptr& __r) noexcept = default;
+
+      template<typename _Tp1>
+	__weak_ptr&
+	operator=(const __weak_ptr<__libfund_v1<_Tp1>, _Lp>& __r) noexcept
+	{
+	  this->_Base_type::operator=(__r._M_get_base());
+	  return *this;
+	}
+
+      template<typename _Tp1>
+	__weak_ptr&
+	operator=(const __shared_ptr<_Tp1, _Lp>& __r) noexcept
+	{
+	  this->_Base_type::operator=(__r._M_get_base());
+	  return *this;
+	}
+
+      __weak_ptr&
+      operator=(__weak_ptr&& __r) noexcept
+      {
+	this->_Base_type::operator=(std::move(__r));
+	return *this;
+      }
+
+      template<typename _Tp1>
+	__weak_ptr&
+	operator=(__weak_ptr<_Tp1, _Lp>&& __r) noexcept
+	{
+	  this->_Base_type::operator=(std::move(__r._M_get_base()));
+	  return *this;
+	}
+
+      void
+      swap(__weak_ptr& __other) noexcept
+      { this->_Base_type::swap(__other); }
+
+      template<typename _Tp1>
+	bool
+	owner_before(const __shared_ptr<__libfund_v1<_Tp1>, _Lp>& __rhs) const
+	{ return _Base_type::owner_before(__rhs._M_get_base()); }
+
+      template<typename _Tp1>
+	bool
+	owner_before(const __weak_ptr<__libfund_v1<_Tp1>, _Lp>& __rhs) const
+	{ return _Base_type::owner_before(__rhs._M_get_base()); }
+
+      __shared_ptr<__libfund_v1<_Tp>, _Lp>
+      lock() const noexcept  // should not be element_type
+      { return __shared_ptr<__libfund_v1<_Tp>, _Lp>(*this, std::nothrow); }
+
+      using _Base_type::use_count;
+      using _Base_type::expired;
+      using _Base_type::reset;
+
+    private:
+      // Used by __enable_shared_from_this.
+      void
+      _M_assign(element_type* __ptr,
+		const __shared_count<_Lp>& __refcount) noexcept
+      { this->_Base_type::_M_assign(__ptr, __refcount); }
+
+      template<typename _Tp1, _Lock_policy _Lp1> friend class __shared_ptr;
+      template<typename _Tp1, _Lock_policy _Lp1> friend class __weak_ptr;
+      friend class __enable_shared_from_this<_Tp, _Lp>;
+      friend class experimental::enable_shared_from_this<_Tp>;
+      friend class enable_shared_from_this<_Tp>;
+    };
+
+_GLIBCXX_END_NAMESPACE_VERSION
+
+namespace experimental
+{
+inline namespace fundamentals_v2
+{
+_GLIBCXX_BEGIN_NAMESPACE_VERSION
+
+    // 8.2.1
+
+  template<typename _Tp> class shared_ptr;
+  template<typename _Tp> class weak_ptr;
+
+  template<typename _Tp, _Lock_policy _Lp = __default_lock_policy>
+    using __shared_ptr = std::__shared_ptr<__libfund_v1<_Tp>, _Lp>;
+
+  template<typename _Tp, _Lock_policy _Lp = __default_lock_policy>
+    using __weak_ptr = std::__weak_ptr<__libfund_v1<_Tp>, _Lp>;
+
+  template<typename _Tp>
+    class shared_ptr : public __shared_ptr<_Tp>
+    {
+      template<typename _Tp1>
+	using _Compatible = enable_if_t<__sp_compatible<_Tp1, _Tp>::value>;
+
+      using _Base_type = __shared_ptr<_Tp>;
+
+    public:
+      using element_type = typename _Base_type::element_type;
+
+      // 8.2.1.1, shared_ptr constructors
+      constexpr shared_ptr() noexcept = default;
+
+      template<typename _Tp1>
+	explicit shared_ptr(_Tp1* __p) : _Base_type(__p) { }
+
+      template<typename _Tp1, typename _Deleter>
+	shared_ptr(_Tp1* __p, _Deleter __d)
+	: _Base_type(__p, __d) { }
+
+      template<typename _Tp1, typename _Deleter, typename _Alloc>
+	shared_ptr(_Tp1* __p, _Deleter __d, _Alloc __a)
+	: _Base_type(__p, __d, __a) { }
+
+      template<typename _Deleter>
+	shared_ptr(nullptr_t __p, _Deleter __d)
+	: _Base_type(__p, __d) { }
+
+      template<typename _Deleter, typename _Alloc>
+	shared_ptr(nullptr_t __p, _Deleter __d, _Alloc __a)
+	: _Base_type(__p, __d, __a) { }
+
+      template<typename _Tp1>
+	shared_ptr(const shared_ptr<_Tp1>& __r, element_type* __p) noexcept
+	: _Base_type(__r, __p) { }
+
+      shared_ptr(const shared_ptr& __r) noexcept
+	: _Base_type(__r) { }
+
+      template<typename _Tp1, typename = _Compatible<_Tp1>>
+	shared_ptr(const shared_ptr<_Tp1>& __r) noexcept
+	: _Base_type(__r) { }
+
+      shared_ptr(const shared_ptr<_Tp>&& __r) noexcept
+      : _Base_type(std::move(__r)) { }
+
+      template<typename _Tp1, typename = _Compatible<_Tp1>>
+	shared_ptr(shared_ptr<_Tp1>&& __r) noexcept
+	: _Base_type(std::move(__r)) { }
+
+      template<typename _Tp1>
+	explicit shared_ptr(const weak_ptr<_Tp1>& __r)
+	: _Base_type(__r) { }
+
+#if _GLIBCXX_USE_DEPRECATED
+      template<typename _Tp1>
+	shared_ptr(std::auto_ptr<_Tp1>&& __r)
+	: _Base_type() { } // TODO
+#endif
+
+      template<typename _Tp1, typename _Del, typename
+	= _Compatible<remove_pointer_t<
+		      typename unique_ptr<_Tp1, _Del>::pointer>>>
+	shared_ptr(std::unique_ptr<_Tp1, _Del>&& __r)
+	: _Base_type(std::move(__r)) { }
+
+      constexpr shared_ptr(nullptr_t __p)
+      : _Base_type(__p) { }
+
+      // C++14 §20.8.2.2
+      ~shared_ptr() = default;
+
+      // C++14 §20.8.2.3
+      shared_ptr& operator=(const shared_ptr&) noexcept = default;
+
+      template <typename _Tp1>
+	shared_ptr&
+	operator=(const shared_ptr<_Tp1>& __r) noexcept
+	{
+	  _Base_type::operator=(__r);
+	  return *this;
+	}
+
+      shared_ptr&
+      operator=(shared_ptr&& __r) noexcept
+      {
+	_Base_type::operator=(std::move(__r));
+	return *this;
+      }
+
+      template <typename _Tp1>
+	shared_ptr&
+	operator=(shared_ptr<_Tp1>&& __r) noexcept
+	{
+	  _Base_type::operator=(std::move(__r));
+	  return *this;
+	}
+
+#if _GLIBCXX_USE_DEPRECATED
+      template<typename _Tp1>
+	shared_ptr&
+	operator=(std::auto_ptr<_Tp1>&& __r)
+	{
+	  __shared_ptr<_Tp>::operator=(std::move(__r));
+	  return *this;
+	}
+#endif
+
+      template <typename _Tp1, typename _Del>
+	shared_ptr&
+	operator=(unique_ptr<_Tp1, _Del>&& __r)
+	{
+	  _Base_type::operator=(std::move(__r));
+	  return *this;
+	}
+
+      // C++14 §20.8.2.2.4
+      // swap & reset
+      // 8.2.1.2 shared_ptr observers
+      // in __shared_ptr
+
+    private:
+      template<typename _Alloc, typename... _Args>
+      shared_ptr(_Sp_make_shared_tag __tag, const _Alloc& __a,
+		 _Args&&... __args)
+      : _Base_type(__tag, __a, std::forward<_Args>(__args)...)
+      { }
+
+      template<typename _Tp1, typename _Alloc, typename... _Args>
+	friend shared_ptr<_Tp1>
+	allocate_shared(const _Alloc& __a, _Args&&...  __args);
+
+      shared_ptr(const weak_ptr<_Tp>& __r, std::nothrow_t)
+      : _Base_type(__r, std::nothrow) { }
+
+      friend class weak_ptr<_Tp>;
+    };
+
+  // C++14 §20.8.2.2.7 //DOING
+   template<typename _Tp1, typename _Tp2>
+     bool operator==(const shared_ptr<_Tp1>& __a,
+		     const shared_ptr<_Tp2>& __b) noexcept
+     { return __a.get() == __b.get(); }
+
+   template<typename _Tp>
+     inline bool
+     operator==(const shared_ptr<_Tp>& __a, nullptr_t) noexcept
+     { return !__a; }
+
+   template<typename _Tp>
+     inline bool
+     operator==(nullptr_t, const shared_ptr<_Tp>& __a) noexcept
+     { return !__a; }
+
+   template<typename _Tp1, typename _Tp2>
+     inline bool
+     operator!=(const shared_ptr<_Tp1>& __a,
+		const shared_ptr<_Tp2>& __b) noexcept
+     { return __a.get() != __b.get(); }
+
+   template<typename _Tp>
+     inline bool
+     operator!=(const shared_ptr<_Tp>& __a, nullptr_t) noexcept
+     { return (bool)__a; }
+
+   template<typename _Tp>
+     inline bool
+     operator!=(nullptr_t, const shared_ptr<_Tp>& __a) noexcept
+     { return (bool)__a; }
+
+   template<typename _Tp1, typename _Tp2>
+     inline bool
+     operator<(const shared_ptr<_Tp1>& __a,
+	       const shared_ptr<_Tp2>& __b) noexcept
+     {
+       using __elem_t1 = typename shared_ptr<_Tp1>::element_type;
+       using __elem_t2 = typename shared_ptr<_Tp2>::element_type;
+       using _CT = common_type_t<__elem_t1*, __elem_t2*>;
+       return std::less<_CT>()(__a.get(), __b.get());
+     }
+
+   template<typename _Tp>
+     inline bool
+     operator<(const shared_ptr<_Tp>& __a, nullptr_t) noexcept
+     {
+       using __elem_t = typename shared_ptr<_Tp>::element_type;
+       return std::less<__elem_t>()(__a.get(), nullptr);
+     }
+
+   template<typename _Tp>
+     inline bool
+     operator<(nullptr_t, const shared_ptr<_Tp>& __a) noexcept
+     {
+       using __elem_t = typename shared_ptr<_Tp>::element_type;
+       return std::less<__elem_t*>()(nullptr, __a.get());
+     }
+
+   template<typename _Tp1, typename _Tp2>
+     inline bool
+     operator<=(const shared_ptr<_Tp1>& __a,
+		const shared_ptr<_Tp2>& __b) noexcept
+     { return !(__b < __a); }
+
+   template<typename _Tp>
+     inline bool
+     operator<=(const shared_ptr<_Tp>& __a, nullptr_t) noexcept
+     { return !(nullptr < __a); }
+
+   template<typename _Tp>
+     inline bool
+     operator<=(nullptr_t, const shared_ptr<_Tp>& __a) noexcept
+     { return !(__a < nullptr); }
+
+   template<typename _Tp1, typename _Tp2>
+     inline bool
+     operator>(const shared_ptr<_Tp1>& __a,
+	       const shared_ptr<_Tp2>& __b) noexcept
+     { return (__b < __a); }
+
+   template<typename _Tp>
+     inline bool
+     operator>(const shared_ptr<_Tp>& __a, nullptr_t) noexcept
+     {
+       using __elem_t = typename shared_ptr<_Tp>::element_type;
+       return std::less<__elem_t*>()(nullptr, __a.get());
+     }
+
+   template<typename _Tp>
+     inline bool
+     operator>(nullptr_t, const shared_ptr<_Tp>& __a) noexcept
+     {
+       using __elem_t = typename shared_ptr<_Tp>::element_type;
+       return std::less<__elem_t*>()(__a.get(), nullptr);
+     }
+
+   template<typename _Tp1, typename _Tp2>
+     inline bool
+     operator>=(const shared_ptr<_Tp1>& __a,
+		const shared_ptr<_Tp2>& __b) noexcept
+     { return !(__a < __b); }
+
+   template<typename _Tp>
+     inline bool
+     operator>=(const shared_ptr<_Tp>& __a, nullptr_t) noexcept
+     { return !(__a < nullptr); }
+
+   template<typename _Tp>
+     inline bool
+     operator>=(nullptr_t, const shared_ptr<_Tp>& __a) noexcept
+     { return !(nullptr < __a); }
+
+   // C++14 §20.8.2.2.8
+   template<typename _Tp>
+     inline void
+     swap(shared_ptr<_Tp>& __a, shared_ptr<_Tp>& __b) noexcept
+     { __a.swap(__b); }
+
+   // 8.2.1.3, shared_ptr casts
+   template<typename _Tp, typename _Tp1>
+     inline shared_ptr<_Tp>
+     static_pointer_cast(const shared_ptr<_Tp1>& __r) noexcept
+     {
+       using __elem_t = typename shared_ptr<_Tp>::element_type;
+       return shared_ptr<_Tp>(__r, static_cast<__elem_t*>(__r.get()));
+     }
+
+   template<typename _Tp, typename _Tp1>
+     inline shared_ptr<_Tp>
+     dynamic_pointer_cast(const shared_ptr<_Tp1>& __r) noexcept
+     {
+       using __elem_t = typename shared_ptr<_Tp>::element_type;
+       if (_Tp* __p = dynamic_cast<__elem_t*>(__r.get()))
+	 return shared_ptr<_Tp>(__r, __p);
+       return shared_ptr<_Tp>();
+     }
+
+   template<typename _Tp, typename _Tp1>
+     inline shared_ptr<_Tp>
+     const_pointer_cast(const shared_ptr<_Tp1>& __r) noexcept
+     {
+       using __elem_t = typename shared_ptr<_Tp>::element_type;
+       return shared_ptr<_Tp>(__r, const_cast<__elem_t*>(__r.get()));
+     }
+
+   template<typename _Tp, typename _Tp1>
+     inline shared_ptr<_Tp>
+     reinterpret_pointer_cast(const shared_ptr<_Tp1>& __r) noexcept
+     {
+       using __elem_t = typename shared_ptr<_Tp>::element_type;
+       return shared_ptr<_Tp>(__r, reinterpret_cast<__elem_t*>(__r.get()));
+     }
+
+   // C++14 §20.8.2.3
+   template<typename _Tp>
+     class weak_ptr : public __weak_ptr<_Tp>
+     {
+      template<typename _Tp1>
+	using _Compatible = enable_if_t<__sp_compatible<_Tp1, _Tp>::value>;
+
+      using _Base_type = __weak_ptr<_Tp>;
+
+   public:
+       constexpr weak_ptr() noexcept = default;
+
+       template<typename _Tp1, typename = _Compatible<_Tp1>>
+	 weak_ptr(const shared_ptr<_Tp1>& __r) noexcept
+	 : _Base_type(__r) { }
+
+       weak_ptr(const weak_ptr&) noexcept = default;
+
+       template<typename _Tp1, typename = _Compatible<_Tp1>>
+	 weak_ptr(const weak_ptr<_Tp1>& __r) noexcept
+	 : _Base_type(__r) { }
+
+       weak_ptr(weak_ptr&&) noexcept = default;
+
+       template<typename _Tp1, typename = _Compatible<_Tp1>>
+	 weak_ptr(weak_ptr<_Tp1>&& __r) noexcept
+	 : _Base_type(std::move(__r)) { }
+
+       weak_ptr&
+       operator=(const weak_ptr& __r) noexcept = default;
+
+       template<typename _Tp1>
+	 weak_ptr&
+	 operator=(const weak_ptr<_Tp1>& __r) noexcept
+	 {
+	   this->_Base_type::operator=(__r);
+	   return *this;
+	 }
+
+       template<typename _Tp1>
+	 weak_ptr&
+	 operator=(const shared_ptr<_Tp1>& __r) noexcept
+	 {
+	   this->_Base_type::operator=(__r);
+	   return *this;
+	 }
+
+       weak_ptr&
+       operator=(weak_ptr&& __r) noexcept = default;
+
+       template<typename _Tp1>
+	 weak_ptr&
+	 operator=(weak_ptr<_Tp1>&& __r) noexcept
+	 {
+	   this->_Base_type::operator=(std::move(__r));
+	   return *this;
+	 }
+
+       shared_ptr<_Tp>
+       lock() const noexcept
+       { return shared_ptr<_Tp>(*this, std::nothrow); }
+
+       friend class enable_shared_from_this<_Tp>;
+     };
+
+   // C++14 §20.8.2.3.6
+   template<typename _Tp>
+     inline void
+     swap(weak_ptr<_Tp>& __a, weak_ptr<_Tp>& __b) noexcept
+     { __a.swap(__b); }
+
+  /// C++14 §20.8.2.2.10
+  template<typename _Del, typename _Tp, _Lock_policy _Lp>
+    inline _Del*
+    get_deleter(const __shared_ptr<_Tp, _Lp>& __p) noexcept
+    { return std::get_deleter<_Del>(__p); }
+
+  // C++14 §20.8.2.2.11
+  template<typename _Ch, typename _Tr, typename _Tp, _Lock_policy _Lp>
+    inline std::basic_ostream<_Ch, _Tr>&
+    operator<<(std::basic_ostream<_Ch, _Tr>& __os,
+	       const __shared_ptr<_Tp, _Lp>& __p)
+    {
+      __os << __p.get();
+      return __os;
+    }
+
+   // C++14 §20.8.2.4
+   template<typename _Tp = void> class owner_less;
+
+   /// Partial specialization of owner_less for shared_ptr.
+  template<typename _Tp>
+    struct owner_less<shared_ptr<_Tp>>
+    : public _Sp_owner_less<shared_ptr<_Tp>, weak_ptr<_Tp>>
+    { };
+
+  /// Partial specialization of owner_less for weak_ptr.
+  template<typename _Tp>
+    struct owner_less<weak_ptr<_Tp>>
+    : public _Sp_owner_less<weak_ptr<_Tp>, shared_ptr<_Tp>>
+    { };
+
+  template<>
+    class owner_less<void>
+    {
+      template<typename _Tp, typename _Up>
+        bool
+        operator()(shared_ptr<_Tp> const& __lhs,
+                   shared_ptr<_Up> const& __rhs) const
+        { return __lhs.owner_before(__rhs); }
+
+      template<typename _Tp, typename _Up>
+        bool
+        operator()(shared_ptr<_Tp> const& __lhs,
+                   weak_ptr<_Up> const& __rhs) const
+        { return __lhs.owner_before(__rhs); }
+
+      template<typename _Tp, typename _Up>
+        bool
+        operator()(weak_ptr<_Tp> const& __lhs,
+                   shared_ptr<_Up> const& __rhs) const
+        { return __lhs.owner_before(__rhs); }
+
+      template<typename _Tp, typename _Up>
+        bool
+        operator()(weak_ptr<_Tp> const& __lhs,
+                   weak_ptr<_Up> const& __rhs) const
+        { return __lhs.owner_before(__rhs); }
+
+      typedef void is_transparent;
+    };
+
+   // C++14 §20.8.2.6
+   template<typename _Tp>
+     inline bool
+     atomic_is_lock_free(const shared_ptr<_Tp>* __p)
+     { return std::atomic_is_lock_free<_Tp, __default_lock_policy>(__p); }
+
+   template<typename _Tp>
+     shared_ptr<_Tp> atomic_load(const shared_ptr<_Tp>* __p)
+     { return std::atomic_load<_Tp>(__p); }
+
+   template<typename _Tp>
+     shared_ptr<_Tp>
+     atomic_load_explicit(const shared_ptr<_Tp>* __p, memory_order __mo)
+     { return std::atomic_load_explicit<_Tp>(__p, __mo); }
+
+   template<typename _Tp>
+     void atomic_store(shared_ptr<_Tp>* __p, shared_ptr<_Tp> __r)
+     { return std::atomic_store<_Tp>(__p, __r); }
+
+   template<typename _Tp>
+     shared_ptr<_Tp>
+     atomic_store_explicit(const shared_ptr<_Tp>* __p,
+			   shared_ptr<_Tp> __r,
+			   memory_order __mo)
+     { return std::atomic_store_explicit<_Tp>(__p, __r, __mo); }
+
+   template<typename _Tp>
+     void atomic_exchange(shared_ptr<_Tp>* __p, shared_ptr<_Tp> __r)
+     { return std::atomic_exchange<_Tp>(__p, __r); }
+
+   template<typename _Tp>
+     shared_ptr<_Tp>
+     atomic_exchange_explicit(const shared_ptr<_Tp>* __p,
+			      shared_ptr<_Tp> __r,
+			      memory_order __mo)
+     { return std::atomic_exchange_explicit<_Tp>(__p, __r, __mo); }
+
+   template<typename _Tp>
+     bool atomic_compare_exchange_weak(shared_ptr<_Tp>* __p,
+				       shared_ptr<_Tp>* __v,
+				       shared_ptr<_Tp> __w)
+     { return std::atomic_compare_exchange_weak<_Tp>(__p, __v, __w); }
+
+   template<typename _Tp>
+     bool atomic_compare_exchange_strong(shared_ptr<_Tp>* __p,
+					 shared_ptr<_Tp>* __v,
+					 shared_ptr<_Tp> __w)
+     { return std::atomic_compare_exchange_strong<_Tp>(__p, __v, __w); }
+
+   template<typename _Tp>
+     bool atomic_compare_exchange_weak_explicit(shared_ptr<_Tp>* __p,
+						shared_ptr<_Tp>* __v,
+						shared_ptr<_Tp> __w,
+						memory_order __success,
+						memory_order __failure)
+     { return std::atomic_compare_exchange_weak_explicit<_Tp>(__p, __v, __w,
+							      __success,
+							      __failure); }
+
+   template<typename _Tp>
+     bool atomic_compare_exchange_strong_explicit(shared_ptr<_Tp>* __p,
+						  shared_ptr<_Tp>* __v,
+						  shared_ptr<_Tp> __w,
+						  memory_order __success,
+						  memory_order __failure)
+     { return std::atomic_compare_exchange_strong_explicit<_Tp>(__p, __v, __w,
+								__success,
+								__failure); }
+
+  //enable_shared_from_this
+  template<typename _Tp>
+    class enable_shared_from_this
+    {
+    protected:
+      constexpr enable_shared_from_this() noexcept { }
+
+      enable_shared_from_this(const enable_shared_from_this&) noexcept { }
+
+      enable_shared_from_this&
+      operator=(const enable_shared_from_this&) noexcept
+      { return *this; }
+
+      ~enable_shared_from_this() { }
+
+    public:
+      shared_ptr<_Tp>
+      shared_from_this()
+      { return shared_ptr<_Tp>(this->_M_weak_this); }
+
+      shared_ptr<const _Tp>
+      shared_from_this() const
+      { return shared_ptr<const _Tp>(this->_M_weak_this); }
+
+    private:
+      template<typename _Tp1>
+	void
+	_M_weak_assign(_Tp1* __p, const __shared_count<>& __n) const noexcept
+	{ _M_weak_this._M_assign(__p, __n); }
+
+      template<typename _Tp1>
+	friend void
+	__enable_shared_from_this_helper(const __shared_count<>& __pn,
+					 const enable_shared_from_this* __pe,
+					 const _Tp1* __px) noexcept
+	{
+	  if(__pe != 0)
+	    __pe->_M_weak_assign(const_cast<_Tp1*>(__px), __pn);
+	}
+
+      mutable weak_ptr<_Tp> _M_weak_this;
+    };
+
+_GLIBCXX_END_NAMESPACE_VERSION
+} // namespace fundamentals_v2
+} // namespace experimental
+
+_GLIBCXX_BEGIN_NAMESPACE_VERSION
+
+  /// std::hash specialization for shared_ptr.
+  template<typename _Tp>
+    struct hash<experimental::shared_ptr<_Tp>>
+    : public __hash_base<size_t, experimental::shared_ptr<_Tp>>
+    {
+      size_t
+      operator()(const experimental::shared_ptr<_Tp>& __s) const noexcept
+      { return std::hash<_Tp*>()(__s.get()); }
+    };
+
+_GLIBCXX_END_NAMESPACE_VERSION
+} // namespace std
+
+#endif // __cplusplus <= 201103L
+
+#endif // _GLIBCXX_EXPERIMENTAL_SHARED_PTR_H

libstdc++-v3/include/experimental/memory

@@ -43,6 +43,7 @@
 #include <type_traits>
 #include <utility>
 #include <functional>
+#include <experimental/bits/shared_ptr.h>
 
 namespace std _GLIBCXX_VISIBILITY(default)
 {
@@ -247,7 +248,6 @@ template <typename _Tp>
     {
       return hash<typename add_pointer<_Tp>::type> {}(__t.get());
     }
-
   };
 
 } // namespace std

libstdc++-v3/testsuite/experimental/memory/shared_ptr/assign/assign.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A
+{
+  A() { ++ctor_count; }
+  virtual ~A() { ++dtor_count; }
+  static long ctor_count;
+  static long dtor_count;
+};
+long A::ctor_count = 0;
+long A::dtor_count = 0;
+
+struct B : A
+{
+  B() { ++ctor_count; }
+  virtual ~B() { ++dtor_count; }
+  static long ctor_count;
+  static long dtor_count;
+};
+long B::ctor_count = 0;
+long B::dtor_count = 0;
+
+struct reset_count_struct
+{
+  ~reset_count_struct()
+  {
+    A::ctor_count = 0;
+    A::dtor_count = 0;
+    B::ctor_count = 0;
+    B::dtor_count = 0;
+  }
+};
+
+// C++14 §20.8.2.2.3 shared_ptr assignment
+
+void
+test01()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> a;
+  std::experimental::shared_ptr<A[]> a1;
+  std::experimental::shared_ptr<B[5]> a2;
+
+  a = std::experimental::shared_ptr<A[5]> ();
+  VERIFY( a.get() == 0 );
+  VERIFY( A::ctor_count == 0 );
+  VERIFY( A::dtor_count == 0 );
+  VERIFY( B::ctor_count == 0 );
+  VERIFY( B::dtor_count == 0 );
+
+  a = std::experimental::shared_ptr<A[5]> (new A[5]);
+  VERIFY( a.get() != 0 );
+  VERIFY( A::ctor_count == 5 );
+  VERIFY( A::dtor_count == 0 );
+  VERIFY( B::ctor_count == 0 );
+  VERIFY( B::dtor_count == 0 );
+
+  a1 = std::experimental::shared_ptr<A[5]> (new A[5]);
+  VERIFY( a1.get() != 0 );
+  VERIFY( A::ctor_count == 10 );
+  VERIFY( A::dtor_count == 0 );
+  VERIFY( B::ctor_count == 0 );
+  VERIFY( B::dtor_count == 0 );
+
+  a2 = std::experimental::shared_ptr<B[5]> (new B[5]);
+  VERIFY( a2.get() != 0 );
+  VERIFY( A::ctor_count == 15 );
+  VERIFY( A::dtor_count == 0 );
+  VERIFY( B::ctor_count == 5 );
+  VERIFY( B::dtor_count == 0 );
+}
+
+void
+test02()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> p(new A[5]);
+  std::experimental::shared_ptr<A[5]> p1;
+  std::experimental::shared_ptr<A[]> p2;
+
+  p1 = p;
+  VERIFY( p.get() == p1.get() );
+
+  p2 = p1;
+  VERIFY( p1.get() == p2.get() );
+}
+
+int
+main()
+{
+  test01();
+  test02();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/cast/cast.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1.3 shared_ptr casts [memory.smartptr.shared.cast]
+
+#include <experimental/memory>
+#include <testsuite_tr1.h>
+
+// { dg-do compile }
+
+struct A { };
+
+int
+main()
+{
+  using __gnu_test::check_ret_type;
+  using std::experimental::shared_ptr;
+  using std::experimental::static_pointer_cast;
+  using std::experimental::const_pointer_cast;
+  using std::experimental::dynamic_pointer_cast;
+
+  shared_ptr<A[5]> spa;
+  shared_ptr<const A[5]> spa1;
+
+  check_ret_type<shared_ptr<A[]> >(static_pointer_cast<A[]>(spa));
+  check_ret_type<shared_ptr<A[]> >(const_pointer_cast<A[]>(spa1));
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/comparison/comparison.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A
+{
+    virtual ~A() { }
+};
+
+struct B : A
+{
+};
+
+// 20.8.2.2.7 shared_ptr comparison
+
+int
+test01()
+{
+  bool test __attribute__((unused)) = true;
+
+  // test empty shared_ptrs compare equivalent
+  std::experimental::shared_ptr<A[5]> p1;
+  std::experimental::shared_ptr<B[5]> p2;
+  VERIFY( p1 == p2 );
+  VERIFY( !(p1 != p2) );
+  VERIFY( !(p1 < p2) && !(p2 < p1) );
+  return 0;
+}
+
+int
+test02()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> A_default;
+
+  std::experimental::shared_ptr<A[5]> A_from_A(new A[5]);
+  VERIFY( A_default != A_from_A );
+  VERIFY( !(A_default == A_from_A) );
+  VERIFY( (A_default < A_from_A) || (A_from_A < A_default) );
+
+  std::experimental::shared_ptr<B[5]> B_from_B(new B[5]);
+  VERIFY( B_from_B != A_from_A );
+  VERIFY( !(B_from_B == A_from_A) );
+  VERIFY( (B_from_B < A_from_A) || (A_from_A < B_from_B) );
+
+  A_from_A.reset();
+  VERIFY( A_default == A_from_A );
+  VERIFY( !(A_default != A_from_A) );
+  VERIFY( !(A_default < A_from_A) && !(A_from_A < A_default));
+
+  B_from_B.reset();
+  VERIFY( B_from_B == A_from_A );
+  VERIFY( !(B_from_B != A_from_A) );
+  VERIFY( !(B_from_B < A_from_A) && !(A_from_A < B_from_B) );
+
+  return 0;
+}
+
+int
+main()
+{
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/cons/alias_ctor.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A
+{
+  A() : i() { }
+  virtual ~A() { }
+  int i;
+};
+
+struct B : A
+{
+  B() : A(), a() { }
+  virtual ~B() { }
+  A a;
+};
+
+// 8.2.1.1 shared_ptr constructors [memory.smartptr.shared.const]
+
+// Aliasing constructors
+
+void
+test01()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> a;
+  std::experimental::shared_ptr<bool> b1(a, &test);
+  VERIFY( b1.use_count() == 0 );
+  VERIFY( a.get() == 0 );
+  VERIFY( b1.get() == &test );
+
+  std::experimental::shared_ptr<bool> b2(b1);
+  VERIFY( b2.use_count() == 0 );
+  VERIFY( b1.get() == b2.get() );
+}
+
+void
+test02()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> a(new A[5]);
+  std::experimental::shared_ptr<int> i1(a, &a[0].i);
+  VERIFY( i1.use_count() == 2 );
+
+  std::experimental::shared_ptr<int> i2(i1);
+  VERIFY( i2.use_count() == 3 );
+  VERIFY( i2.get() == &a[0].i );
+}
+
+void
+test03()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<B> b(new B);
+  std::experimental::shared_ptr<A> a1(b, b.get());
+  std::experimental::shared_ptr<A> a2(b, &b->a);
+  VERIFY( a2.use_count() == 3 );
+  VERIFY( a1 == b );
+  VERIFY( a2 != b );
+  VERIFY( a1.get() != a2.get() );
+
+  std::experimental::shared_ptr<A> a3(a1);
+  VERIFY( a3 == b );
+
+  a3 = a2;
+  VERIFY( a3.get() == &b->a );
+}
+
+int
+main()
+{
+  test01();
+  test02();
+  test03();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/cons/alloc_ctor.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+#include <testsuite_allocator.h>
+
+using __gnu_test::tracker_allocator_counter;
+using __gnu_test::tracker_allocator;
+
+struct A { };
+void deletefunc(A* p) { delete [] p; }
+struct D
+{
+    void operator()(A* p) { delete [] p; ++delete_count; }
+    static long delete_count;
+};
+long D::delete_count = 0;
+
+// 8.2.1.1 shared_ptr constructors [memory.smartptr.shared.const]
+
+// Construction with allocator
+
+int
+test01()
+{
+  bool test __attribute__((unused)) = true;
+  tracker_allocator_counter::reset();
+
+  std::experimental::shared_ptr<A[5]> p1(new A[5], deletefunc, tracker_allocator<A[5]>());
+  std::size_t const sz = tracker_allocator_counter::get_allocation_count();
+  VERIFY( sz > 0 );
+  {
+    std::experimental::shared_ptr<A[5]> p2(p1);
+    VERIFY( p2.use_count() == 2 );
+    VERIFY( tracker_allocator_counter::get_allocation_count() == sz );
+    VERIFY( tracker_allocator_counter::get_deallocation_count() == 0 );
+  }
+  VERIFY( p1.use_count() == 1 );
+  VERIFY( tracker_allocator_counter::get_allocation_count() == sz);
+  VERIFY( tracker_allocator_counter::get_deallocation_count() == 0 );
+  p1.reset();
+  VERIFY( p1.use_count() == 0 );
+  VERIFY( tracker_allocator_counter::get_allocation_count() == sz );
+  VERIFY( tracker_allocator_counter::get_deallocation_count() == sz );
+
+  return 0;
+}
+
+int
+main()
+{
+  test01();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/cons/copy_ctor.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A
+{
+  A() { ++ctor_count; }
+  virtual ~A() { ++dtor_count; }
+  static long ctor_count;
+  static long dtor_count;
+};
+long A::ctor_count = 0;
+long A::dtor_count = 0;
+
+struct B : A
+{
+  B() { ++ctor_count; }
+  virtual ~B() { ++dtor_count; }
+  static long ctor_count;
+  static long dtor_count;
+};
+long B::ctor_count = 0;
+long B::dtor_count = 0;
+
+void deleter(A* p) { delete [] p; }
+
+struct reset_count_struct
+{
+  ~reset_count_struct()
+    {
+      A::ctor_count = 0;
+      A::dtor_count = 0;
+      B::ctor_count = 0;
+      B::dtor_count = 0;
+    }
+};
+
+// 8.2.1.1 shared_ptr constructors [memory.smartptr.shared.const]
+
+// Copy construction
+
+int
+test01()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> a1;
+  std::experimental::shared_ptr<A[5]> a2(a1);
+  VERIFY( a2.use_count() == 0 );
+  VERIFY( A::ctor_count == 0 );
+  VERIFY( A::dtor_count == 0 );
+  VERIFY( B::ctor_count == 0 );
+  VERIFY( B::dtor_count == 0 );
+
+  return 0;
+}
+
+int
+test02()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> a1(new A[5]);
+  std::experimental::shared_ptr<A[5]> a2(a1);
+  VERIFY( a2.use_count() == 2 );
+  VERIFY( A::ctor_count == 5 );
+  VERIFY( A::dtor_count == 0 );
+  VERIFY( B::ctor_count == 0 );
+  VERIFY( B::dtor_count == 0 );
+
+  return 0;
+}
+
+int
+test03()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> a1(new A[5], &deleter);
+  std::experimental::shared_ptr<A[5]> a2(a1);
+  VERIFY( a2.use_count() == 2 );
+  VERIFY( A::ctor_count == 5 );
+  VERIFY( A::dtor_count == 0 );
+  VERIFY( B::ctor_count == 0 );
+  VERIFY( B::dtor_count == 0 );
+
+  return 0;
+}
+
+int
+test04()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> a1(std::experimental::shared_ptr<A[5]>
+                                          (new A[5]));
+  VERIFY( a1.use_count() == 1 );
+  VERIFY( A::ctor_count == 5 );
+  VERIFY( A::dtor_count == 0 );
+  VERIFY( B::ctor_count == 0 );
+  VERIFY( B::dtor_count == 0 );
+
+  return 0;
+}
+
+int
+test05()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> a1(new A[5]);
+  std::experimental::shared_ptr<A[]> a2(a1);
+
+  VERIFY( a2.use_count() == 2 );
+  VERIFY( a2.get() == a1.get() );
+  VERIFY( A::ctor_count == 5 );
+  VERIFY( A::dtor_count == 0 );
+  VERIFY( B::ctor_count == 0 );
+  VERIFY( B::dtor_count == 0 );
+
+  return 0;
+}
+
+int
+test06()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<B> a1(new B);
+  std::experimental::shared_ptr<A> a2(a1);
+
+  VERIFY( a2.use_count() == 2 );
+  VERIFY( a2.get() == a1.get() );
+  VERIFY( A::ctor_count == 1 );
+  VERIFY( A::dtor_count == 0 );
+  VERIFY( B::ctor_count == 1 );
+  VERIFY( B::dtor_count == 0 );
+
+  return 0;
+}
+
+int
+main()
+{
+  test01();
+  test02();
+  test03();
+  test04();
+  test05();
+  test06();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/cons/copy_ctor_neg.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+
+struct A { virtual ~A() { } };
+struct B : A { };
+
+
+// 8.2.1.1 shared_ptr constructors [memory.smartptr.shared.const]
+
+// Copy construction
+
+void
+test01()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[3]> a;
+  a = std::experimental::shared_ptr<B[3]> (new B[3]); // { dg-excess-errors "no matching" }
+}
+
+void
+test02()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[]> a(new A[3]);
+  std::experimental::shared_ptr<A[2]> spa(a); // { dg-excess-errors "no matching" }
+}
+
+int
+main()
+{
+  test01();
+  test02();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/cons/default_ctor.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A { };
+
+// 8.2.1.1 shared_ptr constructors [memory.smartptr.shared.const]
+
+// Default construction
+int
+test01()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> a;
+  VERIFY( a.get() == 0 );
+
+  return 0;
+}
+
+int
+main()
+{
+  test01();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/cons/move_ctor.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A
+{
+  A() { ++ctor_count; }
+  virtual ~A() { ++dtor_count; }
+  static long ctor_count;
+  static long dtor_count;
+};
+long A::ctor_count = 0;
+long A::dtor_count = 0;
+
+struct D
+{
+  void operator()(A* p) const { delete [] p; ++delete_count; }
+  static long delete_count;
+};
+long D::delete_count = 0;
+
+struct reset_count_struct
+{
+  ~reset_count_struct()
+    {
+      A::ctor_count = 0;
+      A::dtor_count = 0;
+      D::delete_count = 0;
+    }
+};
+
+// 8.2.1.1 shared_ptr constructors [memory.smartptr.shared.const]
+
+// Rvalue construction
+int test01()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> a1;
+  std::experimental::shared_ptr<A[5]> a2(std::move(a1));
+  VERIFY( a1.use_count() == 0 );
+  VERIFY( a2.use_count() == 0 );
+  VERIFY( A::ctor_count == 0 );
+  VERIFY( A::dtor_count == 0 );
+
+  return 0;
+}
+
+int
+test02()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> a1(new A[5]);
+  std::experimental::shared_ptr<A[5]> a2(std::move(a1));
+  VERIFY( a2.use_count() == 1 );
+  VERIFY( A::ctor_count == 5 );
+  VERIFY( A::dtor_count == 0 );
+
+  return 0;
+}
+
+int
+test03()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> b(new A[5], D());
+  std::experimental::shared_ptr<A[5]> b1(std::move(b));
+  VERIFY( b.use_count() == 0 );
+  VERIFY( b1.use_count() == 1 );
+  VERIFY( A::ctor_count == 5 );
+  VERIFY( A::dtor_count == 0 );
+
+  b1 = std::move(std::experimental::shared_ptr<A[5]> ());
+
+  VERIFY( A::ctor_count == 5 );
+  VERIFY( A::dtor_count == 5 );
+  VERIFY( D::delete_count == 1 );
+
+  return 0;
+}
+
+void
+test04()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> a(std::move(std::experimental
+                                        ::shared_ptr<A[5]>
+                                        (new A[5])));
+
+  VERIFY( a.use_count() == 1 );
+  VERIFY( A::ctor_count == 5 );
+  VERIFY( A::dtor_count == 0 );
+}
+
+void
+test05()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[]> a(std::move(std::experimental
+                                        ::shared_ptr<A[5]>
+                                        (new A[5])));
+
+  VERIFY( a.use_count() == 1 );
+  VERIFY( A::ctor_count == 5 );
+  VERIFY( A::dtor_count == 0 );
+}
+
+int
+main()
+{
+  test01();
+  test02();
+  test03();
+  test04();
+  test05();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/cons/pointer_ctor.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A { };
+struct B : A { };
+
+// 8.2.1.1 shared_ptr constructors [memory.smartptr.shared.const]
+
+// Construction from pointer
+int
+test01()
+{
+  bool test __attribute__((unused)) = true;
+
+  A * const a = 0;
+  std::experimental::shared_ptr<A> p(a);
+  VERIFY( p.get() == 0 );
+  VERIFY( p.use_count() == 1 );
+  return 0;
+}
+
+int
+test02()
+{
+  bool test __attribute__((unused)) = true;
+
+  A * const a = new A[5];
+  std::experimental::shared_ptr<A[5]> p(a);
+  VERIFY( p.get() == a );
+  VERIFY( p.use_count() == 1 );
+  return 0;
+}
+
+int
+test03()
+{
+  bool test __attribute__((unused)) = true;
+
+  B * const b = new B[5];
+  std::experimental::shared_ptr<A[5]> p(b);
+  VERIFY( p.get() == b );
+  VERIFY( p.use_count() == 1 );
+
+  return 0;
+}
+
+int
+main()
+{
+  test01();
+  test02();
+  test03();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/cons/unique_ptr_ctor.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+int destroyed = 0;
+
+struct A : std::experimental::enable_shared_from_this<A>
+{
+    ~A() { ++destroyed; }
+};
+
+// 8.2.1.1 shared_ptr constructors [memory.smartptr.shared.const]
+
+// Construction from unique_ptr<A[]>
+
+int
+test01()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::unique_ptr<A[]> up(new A[5]);
+  std::experimental::shared_ptr<A> sp(std::move(up));
+  VERIFY( up.get() == 0 );
+  VERIFY( sp.get() != 0 );
+  VERIFY( sp.use_count() == 1 );
+
+  VERIFY( sp->shared_from_this() != nullptr );
+
+  sp.reset();
+  VERIFY( destroyed == 5 );
+
+  return 0;
+}
+
+int
+main()
+{
+  test01();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/cons/weak_ptr_ctor.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A { };
+
+// 8.2.1.1 shared_ptr constructors [memory.smartptr.shared.const]
+
+// Construction from weak_ptr
+int
+test01()
+{
+  bool test __attribute__((unused)) = true;
+
+  A * a = new A[5];
+  std::experimental::shared_ptr<A[5]> a1(a);
+  std::experimental::weak_ptr<A[5]> wa(a1);
+  std::experimental::shared_ptr<A[5]> a2(wa);
+  std::experimental::shared_ptr<A[5]> a3 = wa.lock();
+  VERIFY( a2.get() == a );
+  VERIFY( a3.get() == a );
+  VERIFY( a2.use_count() == wa.use_count() );
+  VERIFY( a3.use_count() == wa.use_count() );
+
+  return 0;
+}
+
+
+int
+main()
+{
+  test01();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/dest/dest.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A
+{
+  A() { ++ctor_count; }
+  ~A() { ++dtor_count; }
+  static long ctor_count;
+  static long dtor_count;
+};
+long A::ctor_count = 0;
+long A::dtor_count = 0;
+
+struct B : A
+{
+  B() { ++ctor_count; }
+  ~B() { ++dtor_count; }
+  static long ctor_count;
+  static long dtor_count;
+};
+long B::ctor_count = 0;
+long B::dtor_count = 0;
+
+struct D
+{
+  void operator()(const B* p) { delete [] p; ++delete_count; }
+  static long delete_count;
+};
+long D::delete_count = 0;
+
+struct reset_count_struct
+{
+  ~reset_count_struct()
+    {
+      A::ctor_count = 0;
+      A::dtor_count = 0;
+      B::ctor_count = 0;
+      B::dtor_count = 0;
+      D::delete_count = 0;
+    }
+};
+
+// 20.8.2.2.2 shared_ptr destructor
+
+int
+test01()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  {
+    std::experimental::shared_ptr<A[5]> a;
+  }
+  VERIFY( A::ctor_count == 0 );
+  VERIFY( A::dtor_count == 0 );
+  VERIFY( B::ctor_count == 0 );
+  VERIFY( B::dtor_count == 0 );
+  VERIFY( D::delete_count == 0 );
+
+  return 0;
+}
+
+int
+test02()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  {
+    std::experimental::shared_ptr<B[5]> a;
+    a = std::experimental::shared_ptr<B[5]>(new B[5], D());
+  }
+  VERIFY( A::ctor_count == 5 );
+  VERIFY( A::dtor_count == 5 );
+  VERIFY( B::ctor_count == 5 );
+  VERIFY( B::dtor_count == 5 );
+  VERIFY( D::delete_count == 1 );
+
+  return 0;
+}
+
+int
+test03()
+{
+  reset_count_struct __attribute__((unused)) reset;
+  bool test __attribute__((unused)) = true;
+
+  {
+    std::experimental::shared_ptr<B[]> a;
+    a = std::experimental::shared_ptr<B[5]>(new B[5], D());
+  }
+  VERIFY( A::ctor_count == 5 );
+  VERIFY( A::dtor_count == 5 );
+  VERIFY( B::ctor_count == 5 );
+  VERIFY( B::dtor_count == 5 );
+  VERIFY( D::delete_count == 1 );
+
+  return 0;
+}
+
+int
+main()
+{
+  test01();
+  test02();
+  test03();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/modifiers/reset.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A { };
+struct B : A { };
+struct D
+{
+  void operator()(B* p) { delete [] p; ++delete_count; }
+  static long delete_count;
+};
+long D::delete_count = 0;
+
+// C++14 §20.8.2.2.4
+
+// reset
+int
+test01()
+{
+  bool test __attribute__((unused)) = true;
+
+  A * const a = new A[5];
+  std::experimental::shared_ptr<A[5]> p1(a);
+  std::experimental::shared_ptr<A[5]> p2(p1);
+  p1.reset();
+  VERIFY( p1.get() == 0 );
+  VERIFY( p2.get() == a );
+
+  return 0;
+}
+
+int
+test02()
+{
+  bool test __attribute__((unused)) = true;
+
+  A * const a = new A[5];
+  B * const b = new B[5];
+  std::experimental::shared_ptr<A[5]> p1(a);
+  std::experimental::shared_ptr<A[5]> p2(p1);
+  p1.reset(b);
+  VERIFY( p1.get() == b );
+  VERIFY( p2.get() == a );
+
+  return 0;
+}
+
+int
+test03()
+{
+  bool test __attribute__((unused)) = true;
+
+  {
+    std::experimental::shared_ptr<A[5]> p1;
+    p1.reset(new B[5], D());
+  }
+  VERIFY( D::delete_count == 1 );
+
+  return 0;
+}
+
+int
+main()
+{
+  test01();
+  test02();
+  test03();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/modifiers/swap.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A { };
+
+// C++14 §20.8.2.2.4
+
+// swap
+int
+test01()
+{
+  bool test __attribute__((unused)) = true;
+
+  A * const a1 = new A[5];
+  A * const a2 = new A[5];
+  std::experimental::shared_ptr<A[5]> p1(a1);
+  std::experimental::shared_ptr<A[5]> p2(a2);
+  p1.swap(p2);
+  VERIFY( p1.get() == a2 );
+  VERIFY( p2.get() == a1 );
+
+  return 0;
+}
+
+
+
+int
+main()
+{
+  test01();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/observers/bool_conv.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A { };
+
+// 8.2.1.2 shared_ptr observers [memory.smartptr.shared.obs]
+
+// Conversion to bool
+void
+test01()
+{
+  bool test __attribute__((unused)) = true;
+
+  const std::experimental::shared_ptr<A[5]> p1;
+  VERIFY( static_cast<bool>(p1) == false );
+  const std::experimental::shared_ptr<A[5]> p2(p1);
+  VERIFY( static_cast<bool>(p2) == false );
+}
+
+void
+test02()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> p1(new A[5]);
+  VERIFY( static_cast<bool>(p1) );
+  std::experimental::shared_ptr<A[5]> p2(p1);
+  VERIFY( static_cast<bool>(p2) );
+  p1.reset();
+  VERIFY( !static_cast<bool>(p1) );
+  VERIFY( static_cast<bool>(p2) );
+}
+
+void
+test03()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> p1(new A[5]);
+  std::experimental::shared_ptr<A[5]> p2(p1);
+  p2.reset(new A[5]);
+  VERIFY( static_cast<bool>(p1) );
+  VERIFY( static_cast<bool>(p2) );
+}
+
+int
+main()
+{
+  test01();
+  test02();
+  test03();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/observers/operators.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A
+{
+  A() : i() {}
+  int i;
+};
+
+// 8.2.1.2 shared_ptr observers [memory.smartptr.shared.obs]
+
+// get
+void
+test01()
+{
+  bool test __attribute__((unused)) = true;
+
+  A * const a = new A[5];
+  const std::experimental::shared_ptr<A[5]> p(a);
+  VERIFY( p.get() == a );
+}
+
+// operator []
+int
+test02()
+{
+  A * p = new A[5];
+  std::experimental::shared_ptr<A[5]> a(p);
+
+  for(int j = 0; j < 5; j++)
+  { a[j].i = j; }
+
+  VERIFY(a.get() == p);
+  VERIFY(a.use_count() == 1);
+
+  for(int j = 0; j < 5; j++)
+  { VERIFY(a[j].i == j); }
+
+  return 0;
+}
+
+// operator*
+void
+test03()
+{
+  bool test __attribute__((unused)) = true;
+
+  A * const a = new A[5];
+  const std::experimental::shared_ptr<A[5]> p(a);
+  VERIFY( p.get() == a );
+}
+
+// operator->
+void
+test04()
+{
+  bool test __attribute__((unused)) = true;
+
+  A * const a = new A[5];
+  const std::experimental::shared_ptr<A[5]> p(a);
+  VERIFY( &p[0].i == &a[0].i );
+}
+
+int
+main()
+{
+  test01();
+  test02();
+  test03();
+  test04();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/observers/owner_before.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A
+{
+  int i;
+  virtual ~A() { }
+};
+
+struct B : A { };
+
+// 8.2.1.2 shared_ptr observers [memory.smartptr.shared.obs]
+
+// owner_before
+void
+test01()
+{
+  bool test __attribute__((unused)) = true;
+
+  // test empty shared_ptrs compare equivalent
+  std::experimental::shared_ptr<A[5]> p1;
+  std::experimental::shared_ptr<B[5]> p2;
+  VERIFY( !p1.owner_before(p2) && !p2.owner_before(p1) );
+}
+
+void
+test02()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> a0;
+
+  std::experimental::shared_ptr<A[5]> a1(new A[5]);
+  VERIFY( a1.owner_before(a0) || a0.owner_before(a1) );
+  VERIFY( !(a1.owner_before(a0) && a0.owner_before(a1)) );
+
+  std::experimental::shared_ptr<B[5]> b1(new B[5]);
+  VERIFY( a1.owner_before(b1) || b1.owner_before(a1) );
+  VERIFY( !(a1.owner_before(b1) && b1.owner_before(a1)) );
+
+  std::experimental::shared_ptr<A[5]> a2(a1);
+  VERIFY( !a1.owner_before(a2) && !a2.owner_before(a1) );
+
+  std::experimental::weak_ptr<A[5]> w1(a1);
+  VERIFY( !a1.owner_before(w1) && !w1.owner_before(a1) );
+}
+
+void
+test03()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> p1(new A[5]);
+  std::experimental::shared_ptr<int> p2(p1, &p1[0].i);
+  VERIFY( !p1.owner_before(p2) && !p2.owner_before(p1) );
+}
+
+int
+main()
+{
+  test01();
+  test02();
+  test03();
+  return 0;
+}

libstdc++-v3/testsuite/experimental/memory/shared_ptr/observers/use_count.cc

+// { dg-options "-std=gnu++1y" }
+
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// 8.2.1 Class template shared_ptr [memory.smartptr.shared]
+
+#include <experimental/memory>
+#include <testsuite_hooks.h>
+
+struct A { };
+struct B : A { };
+
+// 8.2.1.2 shared_ptr observers [memory.smartptr.shared.obs]
+
+// use_count
+void
+test01()
+{
+  bool test __attribute__((unused)) = true;
+
+  const std::experimental::shared_ptr<A[5]> p1;
+  VERIFY( p1.use_count() == 0 );
+  const std::experimental::shared_ptr<A[5]> p2(p1);
+  VERIFY( p1.use_count() == 0 );
+}
+
+void
+test02()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> p1(new A[5]);
+  std::experimental::shared_ptr<A[5]> p2(p1);
+  p1.reset();
+  VERIFY( p1.use_count() == 0 );
+  VERIFY( p2.use_count() == 1 );
+}
+
+void
+test03()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::experimental::shared_ptr<A[5]> p1(new A[5]);
+  std::experimental::shared_ptr<A[5]> p2(p1);
+  p2.reset(new B[5]);
+  VERIFY( p1.use_count() == 1 );
+  VERIFY( p2.use_count() == 1 );
+}
+
+int
+main()
+{
+  test01();
+  test02();
+  test03();
+  return 0;
+}