1 // Copyright (C) 2004-2020 Free Software Foundation, Inc.
2 //
3 // This file is part of the GNU ISO C++ Library.  This library is free
4 // software; you can redistribute it and/or modify it under the
5 // terms of the GNU General Public License as published by the
6 // Free Software Foundation; either version 3, or (at your option)
7 // any later version.
8 
9 // This library is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12 // GNU General Public License for more details.
13 
14 // You should have received a copy of the GNU General Public License along
15 // with this library; see the file COPYING3.  If not see
16 // <http://www.gnu.org/licenses/>.
17 
18 #include <set>
19 #include <testsuite_hooks.h>
20 
21 struct T { int i; };
22 
23 // T must be LessThanComparable to pass concept-checks
operator <(T l,T r)24 bool operator<(T l, T r) { return l.i < r.i; }
25 
26 int swap_calls;
27 
28 namespace std
29 {
30   template<>
31     void
swap(set<T> &)32     set<T>::swap(set<T>&)
33     { ++swap_calls; }
34 }
35 
36 // Should use set specialization for swap.
test01()37 void test01()
38 {
39   std::set<T> A;
40   std::set<T> B;
41   swap_calls = 0;
42   std::swap(A, B);
43   VERIFY(1 == swap_calls);
44 }
45 
46 // Should use set specialization for swap.
test02()47 void test02()
48 {
49   using namespace std;
50   set<T> A;
51   set<T> B;
52   swap_calls = 0;
53   swap(A, B);
54   VERIFY(1 == swap_calls);
55 }
56 
57 // See c++/13658 for background info.
main()58 int main()
59 {
60   test01();
61   test02();
62   return 0;
63 }
64