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)24bool 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()37void 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()47void 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()58int main() 59 { 60 test01(); 61 test02(); 62 return 0; 63 } 64