blob: 92c23035e4f36370d349b0b1d7f4d4c83a812afe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
|
// { dg-options "-std=gnu++20" }
// { dg-do compile { target c++20 } }
// { dg-xfail-if "not supported" { debug_mode } }
#include <vector>
#include <testsuite_hooks.h>
constexpr bool
test_empty()
{
std::vector<int> v;
VERIFY( v.empty() );
v = {1};
VERIFY( !v.empty() );
return true;
}
static_assert( test_empty() );
constexpr bool
test_size()
{
std::vector<int> v;
VERIFY( v.size() == 0 );
v = {1};
VERIFY( v.size() == 1 );
VERIFY( v.max_size() != 0 );
return true;
}
static_assert( test_size() );
constexpr bool
test_capacity()
{
std::vector<int> v;
VERIFY( v.size() == 0 );
VERIFY( v.capacity() == v.size() );
v = {1, 2, 3};
VERIFY( v.size() == 3 );
VERIFY( v.capacity() == v.size() );
return true;
}
static_assert( test_capacity() );
constexpr bool
test_resize()
{
std::vector<int> v;
v.reserve(9);
VERIFY( v.size() == 0 );
VERIFY( v.capacity() == 9 );
v.resize(5);
VERIFY( v.size() == 5 );
VERIFY( v.capacity() == 9 );
v.resize(15, 6);
VERIFY( v.size() == 15 );
VERIFY( v[10] == 6 );
return true;
}
static_assert( test_resize() );
constexpr bool
test_reserve()
{
std::vector<int> v;
v.reserve(9);
VERIFY( v.size() == 0 );
VERIFY( v.capacity() == 9 );
v.resize(2);
VERIFY( v.size() == 2 );
VERIFY( v.capacity() == 9 );
return true;
}
static_assert( test_reserve() );
constexpr bool
test_shrink_to_fit()
{
std::vector<int> v;
v.reserve(9);
v.shrink_to_fit();
VERIFY( v.capacity() == 0 );
v.reserve(9);
v.resize(5);
v.shrink_to_fit();
VERIFY( v.capacity() == v.size() );
return true;
}
static_assert( test_shrink_to_fit() );
|
