tuple: Restore is_convertible constraint.

2011-05-31  Jonathan Wakely  <jwakely.gcc@gmail.com>

	* include/std/tuple: Restore is_convertible constraint.
	* testsuite/20_util/tuple/cons/allocate_noncopyable.cc: Remove.

From-SVN: r174458

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index e55103ed74b3a3f6794b84958bf66156679b38c6..e5fd280b1ed97ba6b58829f21f318b8a6deb3052 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,8 @@
+2011-05-31  Jonathan Wakely  <jwakely.gcc@gmail.com>
+
+       * include/std/tuple: Restore is_convertible constraint.
+       * testsuite/20_util/tuple/cons/allocate_noncopyable.cc: Remove.
+
 2011-05-30  Paolo Carlini  <paolo.carlini@oracle.com>
 
        PR libstdc++/49236

diff --git a/libstdc++-v3/include/std/tuple b/libstdc++-v3/include/std/tuple
index a0e9e694dc2bb586dfffecd5aee68373b75e88c2..f8ec271c1c575d1d9d8ab8c049e406c743ed1ba9 100644 (file)
--- a/libstdc++-v3/include/std/tuple
+++ b/libstdc++-v3/include/std/tuple
@@ -629,7 +629,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
       : _Inherited(__a1) { }
 
       template<typename _U1, typename = typename
-              std::enable_if<std::is_constructible<_T1, _U1&&>::value>::type>
+              std::enable_if<std::is_convertible<_U1, _T1>::value>::type>
         explicit
         tuple(_U1&& __a1)
        : _Inherited(std::forward<_U1>(__a1)) { }

diff --git a/libstdc++-v3/testsuite/20_util/tuple/cons/allocate_noncopyable.cc b/libstdc++-v3/testsuite/20_util/tuple/cons/allocate_noncopyable.cc
deleted file mode 100644 (file)
index d729178..0000000
--- a/libstdc++-v3/testsuite/20_util/tuple/cons/allocate_noncopyable.cc
+++ /dev/null
@@ -1,73 +0,0 @@
-// { dg-options "-std=gnu++0x" }
-// { dg-do compile }
-
-// Copyright (C) 2011 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/>.
-
-// 20.4.2.1 [tuple.cnstr] Allocator-extended constructors
-
-#include <memory>
-#include <tuple>
-
-struct MyAlloc { };
-
-struct Tag0 { };
-struct Tag1 { };
-struct Tag2 { };
-
-// A non-copyable and non-movable type
-struct Type
-{
-  typedef MyAlloc allocator_type;
-
-  explicit Type(Tag0) { }
-  Type(std::allocator_arg_t, MyAlloc, Tag1) { }
-  Type(Tag2, MyAlloc) { }
-
-  Type(const Type&) = delete;
-  Type(Type&&) = delete;
-  Type& operator=(const Type&) = delete;
-  Type& operator=(Type&&) = delete;
-};
-
-void test01()
-{
-  using std::allocator_arg;
-  using std::tuple;
-
-  MyAlloc a;
-  Tag0 tag0;
-  Tag1 tag1;
-  Tag2 tag2;
-
-  // N.B. cannot use Tag0 with uses-allocator construction, because
-  // uses_allocator<Type, MyAlloc> is true but no suitable cosntructor
-  tuple<Type>            t1(tag0);
-
-  tuple<Type>            t2(allocator_arg, a, tag1);
-  tuple<Type>            t3(allocator_arg, a, tag2);
-
-  tuple<Type, Type>      t4(allocator_arg, a, tag1, tag2);
-
-  tuple<Type, Type, Type> t5(allocator_arg, a, tag2, tag1, tag2);
-}
-
-int main()
-{
-  test01();
-  return 0;
-}