1 // Copyright (C) 2013-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 // { dg-do run { target c++11 } }
19
20 #include <map>
21 #include <testsuite_hooks.h>
22 #include <testsuite_allocator.h>
23
24 struct T { int i; };
25
operator <(T l,T r)26 bool operator<(T l, T r) { return l.i < r.i; }
27
28 using Cmp = std::less<T>;
29
30 struct U { };
31
32 using __gnu_test::propagating_allocator;
33
test01()34 void test01()
35 {
36 typedef propagating_allocator<std::pair<const T, U>, false> alloc_type;
37 typedef std::map<T, U, Cmp, alloc_type> test_type;
38 test_type v1(alloc_type(1));
39 v1 = { test_type::value_type{} };
40 test_type v2(alloc_type(2));
41 v2 = { test_type::value_type{} };
42 v2 = v1;
43 VERIFY(1 == v1.get_allocator().get_personality());
44 VERIFY(2 == v2.get_allocator().get_personality());
45 }
46
test02()47 void test02()
48 {
49 typedef propagating_allocator<std::pair<const T, U>, true> alloc_type;
50 typedef std::map<T, U, Cmp, alloc_type> test_type;
51 test_type v1(alloc_type(1));
52 v1 = { test_type::value_type{} };
53 test_type v2(alloc_type(2));
54 v2 = { test_type::value_type{} };
55 v2 = v1;
56 VERIFY(1 == v1.get_allocator().get_personality());
57 VERIFY(1 == v2.get_allocator().get_personality());
58 }
59
test03()60 void test03()
61 {
62 using namespace __gnu_test;
63
64 typedef tracker_allocator<std::pair<const int, int>> alloc_type;
65 typedef std::map<int, int, std::less<int>, alloc_type> test_type;
66
67 tracker_allocator_counter::reset();
68
69 test_type v1 = { { 0, 0 }, { 1, 1 } };
70 test_type v2 = { { 2, 2 }, { 3, 3 } };
71
72 auto allocs = tracker_allocator_counter::get_allocation_count();
73 auto constructs = tracker_allocator_counter::get_construct_count();
74
75 v1 = v2;
76
77 VERIFY( tracker_allocator_counter::get_allocation_count() == allocs );
78 VERIFY( tracker_allocator_counter::get_construct_count() == constructs + 2 );
79 }
80
main()81 int main()
82 {
83 test01();
84 test02();
85 test03();
86 return 0;
87 }
88