any (any::_Manager_alloc::_Data): Reorder tuple members to simplify pretty printing.

	* include/experimental/any (any::_Manager_alloc::_Data): Reorder
	tuple members to simplify pretty printing.
	(any::_Manager_alloc::_Data::_M_construct): Fix uses-allocator
	construction.
	* testsuite/experimental/any/cons/4.cc: New.

From-SVN: r212435

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 95c8aadb463cde98e881de242ebee0c547d3e9b1..85e5f88a3bd7d9e860d80b37acf2493e961dd10d 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,11 @@
+2014-07-10  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/experimental/any (any::_Manager_alloc::_Data): Reorder
+       tuple members to simplify pretty printing.
+       (any::_Manager_alloc::_Data::_M_construct): Fix uses-allocator
+       construction.
+       * testsuite/experimental/any/cons/4.cc: New.
+
 2014-07-09  Jason Merrill  <jason@redhat.com>
 
        PR libstdc++/61728

diff --git a/libstdc++-v3/include/experimental/any b/libstdc++-v3/include/experimental/any
index a69d0067fd91668f6e20a1acfa2b4ba7196b3839..a4ac983d711ecb7b78ade93395d15d0629bef282 100644 (file)
--- a/libstdc++-v3/include/experimental/any
+++ b/libstdc++-v3/include/experimental/any
@@ -450,18 +450,18 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
     {
       using _Traits = std::allocator_traits<_Alloc>;
 
-      std::tuple<_Alloc, __gnu_cxx::__aligned_buffer<_Tp>> _M_data;
+      std::tuple<__gnu_cxx::__aligned_buffer<_Tp>, _Alloc> _M_data;
 
-      _Alloc&       _M_alloc()       { return std::get<0>(_M_data); }
-      const _Alloc& _M_alloc() const { return std::get<0>(_M_data); }
+      _Alloc&       _M_alloc()       { return std::get<1>(_M_data); }
+      const _Alloc& _M_alloc() const { return std::get<1>(_M_data); }
 
-      _Tp*       _M_obj()       { return std::get<1>(_M_data)._M_ptr(); }
-      const _Tp* _M_obj() const { return std::get<1>(_M_data)._M_ptr(); }
+      _Tp*       _M_obj()       { return std::get<0>(_M_data)._M_ptr(); }
+      const _Tp* _M_obj() const { return std::get<0>(_M_data)._M_ptr(); }
 
       template<typename _Up>
-       _Data(const _Alloc& __a, _Up&& __val) : _M_data(__a, nullptr)
+       _Data(const _Alloc& __a, _Up&& __val) : _M_data(nullptr, __a)
        {
-         this->_M_construct(std::__use_alloc<_Tp>(_M_alloc()),
+         this->_M_construct(std::__use_alloc<_Tp, _Alloc, _Up&&>(_M_alloc()),
                             std::forward<_Up>(__val));
        }
 
@@ -479,8 +479,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
        void
        _M_construct(__uses_alloc1<_Alloc> __a, _Up&& __val)
        {
-         _Traits::construct(__a._M_a, _M_obj(),
-                            std::allocator_arg, __a._M_a,
+         _Traits::construct(_M_alloc(), _M_obj(),
+                            std::allocator_arg, *__a._M_a,
                             std::forward<_Up>(__val));
        }
 
@@ -488,8 +488,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
        void
        _M_construct(__uses_alloc2<_Alloc> __a, _Up&& __val)
        {
-         _Traits::construct(__a._M_a, _M_obj(),
-                            std::forward<_Up>(__val), __a._M_a);
+         _Traits::construct(_M_alloc(), _M_obj(),
+                            std::forward<_Up>(__val), *__a._M_a);
        }
     };
 

diff --git a/libstdc++-v3/testsuite/experimental/any/cons/4.cc b/libstdc++-v3/testsuite/experimental/any/cons/4.cc
new file mode 100644 (file)
index 0000000..6e5e019
--- /dev/null
+++ b/libstdc++-v3/testsuite/experimental/any/cons/4.cc
@@ -0,0 +1,73 @@
+// { dg-options "-std=gnu++14" }
+// { dg-do run }
+
+// Copyright (C) 2014 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/>.
+
+#include <experimental/any>
+#include <memory>
+#include <testsuite_hooks.h>
+
+using std::experimental::any;
+
+struct NotSmall
+{
+  char c[64];  // prevent small-object optimization
+};
+
+struct T1
+{
+  using allocator_type = std::allocator<char>;
+
+  T1() = default;
+  T1(const T1&) : used_alloc(false) { }
+  T1(const T1&, const allocator_type&) : used_alloc(true) { }
+
+  bool used_alloc;
+
+  NotSmall x;
+};
+
+struct T2
+{
+  using allocator_type = std::allocator<char>;
+
+  T2() = default;
+  T2(const T2&) : used_alloc(false) { }
+  T2(std::allocator_arg_t, const allocator_type&, const T2&) : used_alloc(true)
+  { }
+
+  bool used_alloc;
+
+  NotSmall x;
+};
+
+bool test [[gnu::unused]] = true;
+
+void test01()
+{
+  any x1(std::allocator_arg, std::allocator<char>{}, T1{});
+  VERIFY( std::experimental::any_cast<T1&>(x1).used_alloc );
+
+  any x2(std::allocator_arg, std::allocator<char>{}, T2{});
+  VERIFY( std::experimental::any_cast<T2&>(x2).used_alloc );
+}
+
+int main()
+{
+  test01();
+}