re PR libstdc++/53339 (unordered_map::iterator requires Value to be complete type)

2012-05-15  Paolo Carlini  <paolo.carlini@oracle.com>

	PR libstdc++/53339
	* include/bits/hashtable_policy.h (__detail::_Identity,
	__detail::_Select1st): Add.
	(_Map_base, _Hashtable_base): Use the latter, adjust parameters.
	* include/bits/hashtable.h (_Hashtable::__key_extract): Adjust.
	* include/bits/unordered_set.h (__uset_hashtable, __umset_hashtable):
	Likewise.
	* include/bits/unordered_map.h (__umap_hashtable, __ummap_hashtable):
	Likewise.
	* include/bits/stl_function.h (_Identity, _Select1st, _Select2nd)
	Unconditionally derive from unary_function.
	* include/ext/functional (identity, select1st, select2nd): Remove
	#ifdef __GXX_EXPERIMENTAL_CXX0X__ bits.
	* testsuite/23_containers/unordered_map/requirements/53339.cc: New.
	* testsuite/23_containers/unordered_multimap/requirements/
	53339.cc: Likewise.

From-SVN: r187515

10 files changed, 134 insertions, 56 deletions

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index f1dab1a..874eab8 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,22 @@
+2012-05-15  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR libstdc++/53339
+	* include/bits/hashtable_policy.h (__detail::_Identity,
+	__detail::_Select1st): Add.
+	(_Map_base, _Hashtable_base): Use the latter, adjust parameters.
+	* include/bits/hashtable.h (_Hashtable::__key_extract): Adjust.
+	* include/bits/unordered_set.h (__uset_hashtable, __umset_hashtable):
+	Likewise.
+	* include/bits/unordered_map.h (__umap_hashtable, __ummap_hashtable):
+	Likewise.
+	* include/bits/stl_function.h (_Identity, _Select1st, _Select2nd)
+	Unconditionally derive from unary_function.
+	* include/ext/functional (identity, select1st, select2nd): Remove
+	#ifdef __GXX_EXPERIMENTAL_CXX0X__ bits.
+	* testsuite/23_containers/unordered_map/requirements/53339.cc: New.
+	* testsuite/23_containers/unordered_multimap/requirements/
+	53339.cc: Likewise.
+
 2012-05-11  François Dumont  <fdumont@gcc.gnu.org>
 
 	PR libstdc++/53263
diff --git a/libstdc++-v3/include/bits/hashtable.h b/libstdc++-v3/include/bits/hashtable.h
index 9a79549..f5bc358 100644
--- a/libstdc++-v3/include/bits/hashtable.h
+++ b/libstdc++-v3/include/bits/hashtable.h
@@ -203,8 +203,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
 
       using __key_extract = typename std::conditional<
 					     __constant_iterators::value,
-				       	     std::_Identity<value_type>,
-					     std::_Select1st<value_type>>::type;
+				       	     __detail::_Identity,
+					     __detail::_Select1st>::type;
 
       using __hashtable_base = __detail::
 			       _Hashtable_base<_Key, _Value, _ExtractKey,
diff --git a/libstdc++-v3/include/bits/hashtable_policy.h b/libstdc++-v3/include/bits/hashtable_policy.h
index a42d3d3..708ef98 100644
--- a/libstdc++-v3/include/bits/hashtable_policy.h
+++ b/libstdc++-v3/include/bits/hashtable_policy.h
@@ -86,6 +86,23 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
 	noexcept(declval<const _Hash&>()(declval<const _Key&>()))>
     { };
 
+  struct _Identity
+  {
+    template<typename _Tp>
+      _Tp&&
+      operator()(_Tp&& __x) const
+      { return std::forward<_Tp>(__x); }
+  };
+
+  struct _Select1st
+  {
+    template<typename _Tp>
+      auto
+      operator()(_Tp&& __x) const
+      -> decltype(std::get<0>(std::forward<_Tp>(__x)))
+      { return std::get<0>(std::forward<_Tp>(__x)); }
+  };
+
   // Auxiliary types used for all instantiations of _Hashtable nodes
   // and iterators.
 
@@ -497,27 +514,27 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
   template<typename _Key, typename _Pair, typename _Alloc, typename _Equal,
 	   typename _H1, typename _H2, typename _Hash,
 	   typename _RehashPolicy, typename _Traits>
-    struct _Map_base<_Key, _Pair, _Alloc, std::_Select1st<_Pair>, _Equal,
+    struct _Map_base<_Key, _Pair, _Alloc, _Select1st, _Equal,
 		     _H1, _H2, _Hash, _RehashPolicy, _Traits, false>
     {
-      using mapped_type = typename _Pair::second_type;
+      using mapped_type = typename std::tuple_element<1, _Pair>::type;
     };
 
   /// Partial specialization, __unique_keys set to true.
   template<typename _Key, typename _Pair, typename _Alloc, typename _Equal,
 	   typename _H1, typename _H2, typename _Hash,
 	   typename _RehashPolicy, typename _Traits>
-    struct _Map_base<_Key, _Pair, _Alloc, std::_Select1st<_Pair>, _Equal,
+    struct _Map_base<_Key, _Pair, _Alloc, _Select1st, _Equal,
 		     _H1, _H2, _Hash, _RehashPolicy, _Traits, true>
     {
     private:
       using __hashtable_base = __detail::_Hashtable_base<_Key, _Pair,
-							 std::_Select1st<_Pair>,
+							 _Select1st,
 							_Equal, _H1, _H2, _Hash,
 							  _Traits>;
 
       using __hashtable = _Hashtable<_Key, _Pair, _Alloc,
-				     std::_Select1st<_Pair>, _Equal,
+				     _Select1st, _Equal,
 				     _H1, _H2, _Hash, _RehashPolicy, _Traits>;
 
       using __hash_code = typename __hashtable_base::__hash_code;
@@ -526,7 +543,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
     public:
       using key_type = typename __hashtable_base::key_type;
       using iterator = typename __hashtable_base::iterator;
-      using mapped_type = typename _Pair::second_type;
+      using mapped_type = typename std::tuple_element<1, _Pair>::type;
 
       mapped_type&
       operator[](const key_type& __k);
@@ -546,10 +563,10 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
   template<typename _Key, typename _Pair, typename _Alloc, typename _Equal,
 	   typename _H1, typename _H2, typename _Hash,
 	   typename _RehashPolicy, typename _Traits>
-    typename _Map_base<_Key, _Pair, _Alloc, std::_Select1st<_Pair>, _Equal,
+    typename _Map_base<_Key, _Pair, _Alloc, _Select1st, _Equal,
 		       _H1, _H2, _Hash, _RehashPolicy, _Traits, true>
 		       ::mapped_type&
-    _Map_base<_Key, _Pair, _Alloc, std::_Select1st<_Pair>, _Equal,
+    _Map_base<_Key, _Pair, _Alloc, _Select1st, _Equal,
 	      _H1, _H2, _Hash, _RehashPolicy, _Traits, true>::
     operator[](const key_type& __k)
     {
@@ -567,10 +584,10 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
   template<typename _Key, typename _Pair, typename _Alloc, typename _Equal,
 	   typename _H1, typename _H2, typename _Hash,
 	   typename _RehashPolicy, typename _Traits>
-    typename _Map_base<_Key, _Pair, _Alloc, std::_Select1st<_Pair>, _Equal,
+    typename _Map_base<_Key, _Pair, _Alloc, _Select1st, _Equal,
 		       _H1, _H2, _Hash, _RehashPolicy, _Traits, true>
 		       ::mapped_type&
-    _Map_base<_Key, _Pair, _Alloc, std::_Select1st<_Pair>, _Equal,
+    _Map_base<_Key, _Pair, _Alloc, _Select1st, _Equal,
 	      _H1, _H2, _Hash, _RehashPolicy, _Traits, true>::
     operator[](key_type&& __k)
     {
@@ -589,10 +606,10 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
   template<typename _Key, typename _Pair, typename _Alloc, typename _Equal,
 	   typename _H1, typename _H2, typename _Hash,
 	   typename _RehashPolicy, typename _Traits>
-    typename _Map_base<_Key, _Pair, _Alloc, std::_Select1st<_Pair>, _Equal,
+    typename _Map_base<_Key, _Pair, _Alloc, _Select1st, _Equal,
 		       _H1, _H2, _Hash, _RehashPolicy, _Traits, true>
 		       ::mapped_type&
-    _Map_base<_Key, _Pair, _Alloc, std::_Select1st<_Pair>, _Equal,
+    _Map_base<_Key, _Pair, _Alloc, _Select1st, _Equal,
 	      _H1, _H2, _Hash, _RehashPolicy, _Traits, true>::
     at(const key_type& __k)
     {
@@ -609,11 +626,10 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
   template<typename _Key, typename _Pair, typename _Alloc, typename _Equal,
 	   typename _H1, typename _H2, typename _Hash,
 	   typename _RehashPolicy, typename _Traits>
-    const typename _Map_base<_Key, _Pair, _Alloc, std::_Select1st<_Pair>,
-			     _Equal,
-		       _H1, _H2, _Hash, _RehashPolicy, _Traits, true>
-		       ::mapped_type&
-    _Map_base<_Key, _Pair, _Alloc, std::_Select1st<_Pair>, _Equal,
+    const typename _Map_base<_Key, _Pair, _Alloc, _Select1st,
+			     _Equal, _H1, _H2, _Hash, _RehashPolicy,
+			     _Traits, true>::mapped_type&
+    _Map_base<_Key, _Pair, _Alloc, _Select1st, _Equal,
 	      _H1, _H2, _Hash, _RehashPolicy, _Traits, true>::
     at(const key_type& __k) const
     {
@@ -1492,8 +1508,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
 						     iterator>::type;
 
     using __iconv_type = typename  std::conditional<__unique_keys::value,
-					       std::_Select1st<__ireturn_type>,
-					       std::_Identity<__ireturn_type>
+						    _Select1st, _Identity
 						    >::type;
   private:
     using _EqualEBO = _Hashtable_ebo_helper<0, _Equal>;
diff --git a/libstdc++-v3/include/bits/stl_function.h b/libstdc++-v3/include/bits/stl_function.h
index 33d5e70..42f5c17 100644
--- a/libstdc++-v3/include/bits/stl_function.h
+++ b/libstdc++-v3/include/bits/stl_function.h
@@ -473,11 +473,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
 
   template<typename _Tp>
     struct _Identity
-#ifndef __GXX_EXPERIMENTAL_CXX0X__
-    // unary_function itself is deprecated in C++11 and deriving from
-    // it can even be a nuisance (see PR 52942).
     : public unary_function<_Tp,_Tp>
-#endif
     {
       _Tp&
       operator()(_Tp& __x) const
@@ -490,9 +486,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
 
   template<typename _Pair>
     struct _Select1st
-#ifndef __GXX_EXPERIMENTAL_CXX0X__
     : public unary_function<_Pair, typename _Pair::first_type>
-#endif
     {
       typename _Pair::first_type&
       operator()(_Pair& __x) const
@@ -517,9 +511,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
 
   template<typename _Pair>
     struct _Select2nd
-#ifndef __GXX_EXPERIMENTAL_CXX0X__
     : public unary_function<_Pair, typename _Pair::second_type>
-#endif
     {
       typename _Pair::second_type&
       operator()(_Pair& __x) const
diff --git a/libstdc++-v3/include/bits/unordered_map.h b/libstdc++-v3/include/bits/unordered_map.h
index bd3e46d..27703b6 100644
--- a/libstdc++-v3/include/bits/unordered_map.h
+++ b/libstdc++-v3/include/bits/unordered_map.h
@@ -45,12 +45,11 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
 	   typename _Alloc = std::allocator<std::pair<const _Key, _Tp> >,
 	   typename _Tr = __umap_traits<__cache_default<_Key, _Hash>::value>>
     using __umap_hashtable = _Hashtable<_Key, std::pair<const _Key, _Tp>,
-					_Alloc,
-				   std::_Select1st<std::pair<const _Key, _Tp>>,
-				       _Pred, _Hash,
-				       __detail::_Mod_range_hashing,
-				       __detail::_Default_ranged_hash,
-				       __detail::_Prime_rehash_policy, _Tr>;
+                                        _Alloc, __detail::_Select1st,
+				        _Pred, _Hash,
+				        __detail::_Mod_range_hashing,
+				        __detail::_Default_ranged_hash,
+				        __detail::_Prime_rehash_policy, _Tr>;
 
   /// Base types for unordered_multimap.
   template<bool _Cache>
@@ -63,8 +62,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
 	   typename _Alloc = std::allocator<std::pair<const _Key, _Tp> >,
 	   typename _Tr = __ummap_traits<__cache_default<_Key, _Hash>::value>>
     using __ummap_hashtable = _Hashtable<_Key, std::pair<const _Key, _Tp>,
-					 _Alloc,
-				  std::_Select1st<std::pair<const _Key, _Tp>>,
+					 _Alloc, __detail::_Select1st,
 					 _Pred, _Hash,
 					 __detail::_Mod_range_hashing,
 					 __detail::_Default_ranged_hash,
diff --git a/libstdc++-v3/include/bits/unordered_set.h b/libstdc++-v3/include/bits/unordered_set.h
index 32b606a..8817947 100644
--- a/libstdc++-v3/include/bits/unordered_set.h
+++ b/libstdc++-v3/include/bits/unordered_set.h
@@ -44,7 +44,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
   	   typename _Alloc = std::allocator<_Value>,
 	   typename _Tr = __uset_traits<__cache_default<_Value, _Hash>::value>>
     using __uset_hashtable = _Hashtable<_Value, _Value, _Alloc,
-					std::_Identity<_Value>, _Pred, _Hash,
+					__detail::_Identity, _Pred, _Hash,
 					__detail::_Mod_range_hashing,
 					__detail::_Default_ranged_hash,
 					__detail::_Prime_rehash_policy, _Tr>;
@@ -59,7 +59,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
 	   typename _Alloc = std::allocator<_Value>,
 	   typename _Tr = __umset_traits<__cache_default<_Value, _Hash>::value>>
     using __umset_hashtable = _Hashtable<_Value, _Value, _Alloc,
-					 std::_Identity<_Value>,
+					 __detail::_Identity,
 					 _Pred, _Hash,
 					 __detail::_Mod_range_hashing,
 					 __detail::_Default_ranged_hash,
diff --git a/libstdc++-v3/include/ext/functional b/libstdc++-v3/include/ext/functional
index f8402c1..c981da0 100644
--- a/libstdc++-v3/include/ext/functional
+++ b/libstdc++-v3/include/ext/functional
@@ -184,12 +184,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
    */
   template <class _Tp>
     struct identity
-#ifdef __GXX_EXPERIMENTAL_CXX0X__
-    : public std::unary_function<_Tp,_Tp>,
-      public std::_Identity<_Tp> {};
-#else
     : public std::_Identity<_Tp> {};
-#endif
 
   /** @c select1st and @c select2nd are extensions provided by SGI.  Their
    *  @c operator()s
@@ -204,22 +199,13 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
   /// An \link SGIextensions SGI extension \endlink.
   template <class _Pair>
     struct select1st
-#ifdef __GXX_EXPERIMENTAL_CXX0X__
-    : public std::unary_function<_Pair, typename _Pair::first_type>,
-      public std::_Select1st<_Pair> {};
-#else
     : public std::_Select1st<_Pair> {};
-#endif
 
   /// An \link SGIextensions SGI extension \endlink.
   template <class _Pair>
     struct select2nd
-#ifdef __GXX_EXPERIMENTAL_CXX0X__
-    : public std::unary_function<_Pair, typename _Pair::second_type>,
-      public std::_Select2nd<_Pair> {};
-#else
     : public std::_Select2nd<_Pair> {};
-#endif
+
   /** @}  */
 
   // extension documented next
diff --git a/libstdc++-v3/testsuite/20_util/ratio/cons/cons_overflow_neg.cc b/libstdc++-v3/testsuite/20_util/ratio/cons/cons_overflow_neg.cc
index d2694e2..a6881dbc 100644
--- a/libstdc++-v3/testsuite/20_util/ratio/cons/cons_overflow_neg.cc
+++ b/libstdc++-v3/testsuite/20_util/ratio/cons/cons_overflow_neg.cc
@@ -2,7 +2,7 @@
 // { dg-options "-std=gnu++0x" }
 // { dg-require-cstdint "" }
 
-// Copyright (C) 2008, 2009, 2010, 2011 Free Software Foundation
+// Copyright (C) 2008, 2009, 2010, 2011, 2012 Free Software Foundation
 //
 // 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
@@ -51,5 +51,5 @@ test04()
 // { dg-error "required from here" "" { target *-*-* } 46 }
 // { dg-error "denominator cannot be zero" "" { target *-*-* } 265 }
 // { dg-error "out of range" "" { target *-*-* } 266 }
-// { dg-error "overflow in constant expression" "" { target *-*-* } 61 }
+// { dg-error "overflow in constant expression" "" { target *-*-* } 62 }
 // { dg-prune-output "not a member" }
diff --git a/libstdc++-v3/testsuite/23_containers/unordered_map/requirements/53339.cc b/libstdc++-v3/testsuite/23_containers/unordered_map/requirements/53339.cc
new file mode 100644
index 0000000..809b10d
--- /dev/null
+++ b/libstdc++-v3/testsuite/23_containers/unordered_map/requirements/53339.cc
@@ -0,0 +1,34 @@
+// { dg-do compile }
+// { dg-options "-std=gnu++11" }
+
+// Copyright (C) 2012 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 Pred 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 <unordered_map>
+
+struct LinkedHashMap
+{
+  struct Entry;
+
+  typedef std::unordered_map<int, Entry> Storage;
+  typedef Storage::iterator EntryPtr;
+
+  struct Entry
+  {
+    EntryPtr prev, next;
+  };
+};
diff --git a/libstdc++-v3/testsuite/23_containers/unordered_multimap/requirements/53339.cc b/libstdc++-v3/testsuite/23_containers/unordered_multimap/requirements/53339.cc
new file mode 100644
index 0000000..9272133
--- /dev/null
+++ b/libstdc++-v3/testsuite/23_containers/unordered_multimap/requirements/53339.cc
@@ -0,0 +1,34 @@
+// { dg-do compile }
+// { dg-options "-std=gnu++11" }
+
+// Copyright (C) 2012 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 Pred 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 <unordered_map>
+
+struct LinkedHashMap
+{
+  struct Entry;
+
+  typedef std::unordered_multimap<int, Entry> Storage;
+  typedef Storage::iterator EntryPtr;
+
+  struct Entry
+  {
+    EntryPtr prev, next;
+  };
+};