1// Copyright (C) 2013-2015 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// { dg-options "-std=gnu++11" }
19
20#include <unordered_set>
21#include <testsuite_hooks.h>
22#include <testsuite_allocator.h>
23#include <testsuite_counter_type.h>
24
25using __gnu_test::propagating_allocator;
26using __gnu_test::counter_type;
27
28void test01()
29{
30  bool test __attribute__((unused)) = true;
31  typedef propagating_allocator<counter_type, false> alloc_type;
32  typedef __gnu_test::counter_type_hasher hash;
33  typedef std::unordered_set<counter_type, hash,
34			     std::equal_to<counter_type>,
35			     alloc_type> test_type;
36
37  test_type v1(alloc_type(1));
38  v1.emplace(0);
39
40  test_type v2(alloc_type(2));
41  v2.emplace(1);
42
43  counter_type::reset();
44
45  v2 = std::move(v1);
46
47  VERIFY( 1 == v1.get_allocator().get_personality() );
48  VERIFY( 2 == v2.get_allocator().get_personality() );
49
50  VERIFY( counter_type::move_count == 1  );
51  VERIFY( counter_type::destructor_count == 2 );
52}
53
54void test02()
55{
56  bool test __attribute__((unused)) = true;
57  typedef propagating_allocator<counter_type, true> alloc_type;
58  typedef __gnu_test::counter_type_hasher hash;
59  typedef std::unordered_set<counter_type, hash,
60			     std::equal_to<counter_type>,
61			     alloc_type> test_type;
62
63  test_type v1(alloc_type(1));
64  v1.emplace(0);
65
66  auto it = v1.begin();
67
68  test_type v2(alloc_type(2));
69  v2.emplace(0);
70
71  counter_type::reset();
72
73  v2 = std::move(v1);
74
75  VERIFY(0 == v1.get_allocator().get_personality());
76  VERIFY(1 == v2.get_allocator().get_personality());
77
78  VERIFY( counter_type::move_count == 0 );
79  VERIFY( counter_type::copy_count == 0 );
80  VERIFY( counter_type::destructor_count == 1 );
81
82  VERIFY( it == v2.begin() );
83}
84
85int main()
86{
87  test01();
88  test02();
89  return 0;
90}
91