1 // Copyright (C) 2015-2019 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 // COW strings don't support C++11 allocators:
20 // { dg-require-effective-target cxx11-abi }
21
22 #include <string>
23 #include <testsuite_hooks.h>
24 #include <testsuite_allocator.h>
25
26 using C = char;
27 const C c = 'a';
28 using traits = std::char_traits<C>;
29
30 using __gnu_test::propagating_allocator;
31
32 // It is undefined behaviour to swap() containers wth unequal allocators
33 // if the allocator doesn't propagate, so ensure the allocators compare
34 // equal, while still being able to test propagation via get_personality().
35 bool
operator ==(const propagating_allocator<C,false> &,const propagating_allocator<C,false> &)36 operator==(const propagating_allocator<C, false>&,
37 const propagating_allocator<C, false>&)
38 {
39 return true;
40 }
41
42 bool
operator !=(const propagating_allocator<C,false> &,const propagating_allocator<C,false> &)43 operator!=(const propagating_allocator<C, false>&,
44 const propagating_allocator<C, false>&)
45 {
46 return false;
47 }
48
test01()49 void test01()
50 {
51 typedef propagating_allocator<C, false> alloc_type;
52 typedef std::basic_string<C, traits, alloc_type> test_type;
53 test_type v1(alloc_type(1));
54 v1.push_back(C());
55 test_type v2(alloc_type(2));
56 v2.push_back(C());
57 std::swap(v1, v2);
58 VERIFY(1 == v1.get_allocator().get_personality());
59 VERIFY(2 == v2.get_allocator().get_personality());
60 // swap back so assertions in uneq_allocator::deallocate don't fail
61 std::swap(v1, v2);
62 }
63
test02()64 void test02()
65 {
66 typedef propagating_allocator<C, true> alloc_type;
67 typedef std::basic_string<C, traits, alloc_type> test_type;
68 test_type v1(alloc_type(1));
69 v1.push_back(C());
70 test_type v2(alloc_type(2));
71 v2.push_back(C());
72 std::swap(v1, v2);
73 VERIFY(2 == v1.get_allocator().get_personality());
74 VERIFY(1 == v2.get_allocator().get_personality());
75 }
76
main()77 int main()
78 {
79 test01();
80 test02();
81 return 0;
82 }
83