1 // Copyright (C) 2013-2018 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(v1);
41 VERIFY(1 == v1.get_allocator().get_personality());
42 VERIFY(0 == v2.get_allocator().get_personality());
43 }
44
test02()45 void test02()
46 {
47 typedef propagating_allocator<std::pair<const T, U>, true> alloc_type;
48 typedef std::map<T, U, Cmp, alloc_type> test_type;
49 test_type v1(alloc_type(1));
50 v1 = { test_type::value_type{} };
51 test_type v2(v1);
52 VERIFY(1 == v1.get_allocator().get_personality());
53 VERIFY(1 == v2.get_allocator().get_personality());
54 }
55
test03()56 void test03()
57 {
58 typedef propagating_allocator<std::pair<const T, U>, true> alloc_type;
59 typedef std::map<T, U, Cmp, alloc_type> test_type;
60 test_type v1(alloc_type(1));
61 v1 = { test_type::value_type{} };
62 test_type v2(v1, alloc_type(2));
63 VERIFY(1 == v1.get_allocator().get_personality());
64 VERIFY(2 == v2.get_allocator().get_personality());
65 }
66
main()67 int main()
68 {
69 test01();
70 test02();
71 test03();
72 return 0;
73 }
74