1// Copyright (C) 2004, 2005, 2009 Free Software Foundation
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 <vector>
19#include <testsuite_hooks.h>
20
21struct T { int i; };
22
23int swap_calls;
24
25namespace std
26{
27  template<>
28    void
29    vector<T, allocator<T> >::swap(vector<T, allocator<T> >&)
30    { ++swap_calls; }
31}
32
33// Should use vector specialization for swap.
34void test01()
35{
36  bool test __attribute__((unused)) = true;
37  std::vector<T> A;
38  std::vector<T> B;
39  swap_calls = 0;
40  std::swap(A, B);
41  VERIFY(1 == swap_calls);
42}
43
44// Should use vector specialization for swap.
45void test02()
46{
47  bool test __attribute__((unused)) = true;
48  using namespace std;
49  vector<T> A;
50  vector<T> B;
51  swap_calls = 0;
52  swap(A, B);
53  VERIFY(1 == swap_calls);
54}
55
56// See c++/13658 for background info.
57int main()
58{
59  test01();
60  test02();
61  return 0;
62}
63