re PR libstdc++/35541 (Legal C++ program can't be compiled with -D_GLIBCXX_DEBUG)

2008-03-13  Paolo Carlini  <pcarlini@suse.de>

	PR libstdc++/35541
	* include/debug/functions.h (__check_sorted_set_aux): Fix signature.
	* testsuite/25_algorithms/set_difference/35541.cc: New.

From-SVN: r133173

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 8753df3..fd3bad2 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,9 @@
+2008-03-13  Paolo Carlini  <pcarlini@suse.de>
+
+       PR libstdc++/35541
+       * include/debug/functions.h (__check_sorted_set_aux): Fix signature.
+       * testsuite/25_algorithms/set_difference/35541.cc: New.
+
 2008-03-07  Jakub Jelinek  <jakub@redhat.com>
 
        * config/abi/pre/gnu.ver: Move <system_error> related

diff --git a/libstdc++-v3/include/debug/functions.h b/libstdc++-v3/include/debug/functions.h
index 7e7562a..a2b5c5f 100644 (file)
--- a/libstdc++-v3/include/debug/functions.h
+++ b/libstdc++-v3/include/debug/functions.h
@@ -268,35 +268,31 @@ namespace __gnu_debug
       return __check_sorted_aux(__first, __last, __pred, _Category());
     }
 
-  template<typename _InputIterator1, typename _InputIterator2>
+  template<typename _InputIterator>
     inline bool
-    __check_sorted_set_aux(const _InputIterator1& __first,
-                          const _InputIterator1& __last,
-                          const _InputIterator2&, std::__true_type)
+    __check_sorted_set_aux(const _InputIterator& __first,
+                          const _InputIterator& __last,
+                          std::__true_type)
     { return __check_sorted(__first, __last); }
 
-  template<typename _InputIterator1, typename _InputIterator2>
+  template<typename _InputIterator>
     inline bool
-    __check_sorted_set_aux(const _InputIterator1&,
-                          const _InputIterator1&,
-                          const _InputIterator2&, std::__false_type)
+    __check_sorted_set_aux(const _InputIterator&,
+                          const _InputIterator&,
+                          std::__false_type)
     { return true; }
 
-  template<typename _InputIterator1, typename _InputIterator2,
-          typename _Predicate>
+  template<typename _InputIterator, typename _Predicate>
     inline bool
-    __check_sorted_set_aux(const _InputIterator1& __first,
-                          const _InputIterator1& __last,
-                          const _InputIterator2&, _Predicate __pred,
-                          std::__true_type)
+    __check_sorted_set_aux(const _InputIterator& __first,
+                          const _InputIterator& __last,
+                          _Predicate __pred, std::__true_type)
     { return __check_sorted(__first, __last, __pred); }
 
-  template<typename _InputIterator1, typename _InputIterator2,
-          typename _Predicate>
+  template<typename _InputIterator, typename _Predicate>
     inline bool
-    __check_sorted_set_aux(const _InputIterator1&,
-                          const _InputIterator1&,
-                          const _InputIterator2&, _Predicate,
+    __check_sorted_set_aux(const _InputIterator&,
+                          const _InputIterator&, _Predicate,
                           std::__false_type)
     { return true; }
 

diff --git a/libstdc++-v3/testsuite/25_algorithms/set_difference/35541.cc b/libstdc++-v3/testsuite/25_algorithms/set_difference/35541.cc
new file mode 100644 (file)
index 0000000..819175d
--- /dev/null
+++ b/libstdc++-v3/testsuite/25_algorithms/set_difference/35541.cc
@@ -0,0 +1,36 @@
+// Copyright (C) 2008 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 2, 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 COPYING.  If not, write to the Free
+// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
+// USA.
+
+// { dg-options "-D_GLIBCXX_DEBUG" }
+// { dg-do compile }
+
+// libstdc++/35541
+
+#include <set>
+#include <iterator>
+#include <algorithm>
+
+void test01()
+{
+  std::set<std::pair<unsigned,int> > mFactors;
+  std::set<std::pair<unsigned,int> > secondFactor;
+  std::set_difference(mFactors.begin(), mFactors.end(),
+                     mFactors.begin(), mFactors.end(),
+                     std::insert_iterator<std::set<std::pair<unsigned,int> > >
+                     (secondFactor, secondFactor.end())); 
+}