1 // Copyright (C) 2013-2024 Free Software Foundation, Inc.
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)
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.
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/>.
18 // { dg-do run { target c++11 } }
21 #include <testsuite_hooks.h>
22 #include <testsuite_allocator.h>
26 bool operator<(T l
, T r
) { return l
.i
< r
.i
; }
28 using Cmp
= std::less
<T
>;
32 using __gnu_test::propagating_allocator
;
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
{} };
41 test_type
v2(alloc_type(2));
42 v2
= { test_type::value_type
{} };
45 VERIFY( 1 == v1
.get_allocator().get_personality() );
46 VERIFY( 2 == v2
.get_allocator().get_personality() );
51 typedef propagating_allocator
<std::pair
<const T
, U
>, true> alloc_type
;
52 typedef std::map
<T
, U
, Cmp
, alloc_type
> test_type
;
53 test_type
v1(alloc_type(1));
54 v1
= { test_type::value_type
{} };
57 test_type
v2(alloc_type(2));
58 v2
= { test_type::value_type
{} };
61 VERIFY( 1 == v1
.get_allocator().get_personality() );
62 VERIFY( 1 == v2
.get_allocator().get_personality() );
63 VERIFY( it
== v2
.begin() );
68 using namespace __gnu_test
;
70 typedef propagating_allocator
<std::pair
<const int, int>, false,
71 tracker_allocator
<std::pair
<const int, int>>>
73 typedef std::map
<int, int, std::less
<int>, alloc_type
> test_type
;
75 tracker_allocator_counter::reset();
77 test_type
v1(alloc_type(1));
78 v1
= { { 0, 0 }, { 1, 1 } };
80 test_type
v2(alloc_type(2));
81 v2
= { { 2, 2 }, { 3, 3 } };
83 auto allocs
= tracker_allocator_counter::get_allocation_count();
84 auto constructs
= tracker_allocator_counter::get_construct_count();
86 // Check no allocation on move assignment with non propagating allocators.
89 VERIFY( 1 == v1
.get_allocator().get_personality() );
90 VERIFY( 2 == v2
.get_allocator().get_personality() );
92 VERIFY( tracker_allocator_counter::get_allocation_count() == allocs
);
93 VERIFY( tracker_allocator_counter::get_construct_count() == constructs
+ 2 );