1 //===----------------------------------------------------------------------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 // <string>
11 
12 // void reserve(size_type res_arg=0);
13 
14 #include <string>
15 #include <stdexcept>
16 #include <cassert>
17 
18 #include "min_allocator.h"
19 
20 template <class S>
21 void
test(S s)22 test(S s)
23 {
24     typename S::size_type old_cap = s.capacity();
25     S s0 = s;
26     s.reserve();
27     assert(s.__invariants());
28     assert(s == s0);
29     assert(s.capacity() <= old_cap);
30     assert(s.capacity() >= s.size());
31 }
32 
33 template <class S>
34 void
test(S s,typename S::size_type res_arg)35 test(S s, typename S::size_type res_arg)
36 {
37     typename S::size_type old_cap = s.capacity();
38     S s0 = s;
39     try
40     {
41         s.reserve(res_arg);
42         assert(res_arg <= s.max_size());
43         assert(s == s0);
44         assert(s.capacity() >= res_arg);
45         assert(s.capacity() >= s.size());
46     }
47     catch (std::length_error&)
48     {
49         assert(res_arg > s.max_size());
50     }
51 }
52 
main()53 int main()
54 {
55     {
56     typedef std::string S;
57     {
58     S s;
59     test(s);
60 
61     s.assign(10, 'a');
62     s.erase(5);
63     test(s);
64 
65     s.assign(100, 'a');
66     s.erase(50);
67     test(s);
68     }
69     {
70     S s;
71     test(s, 5);
72     test(s, 10);
73     test(s, 50);
74     }
75     {
76     S s(100, 'a');
77     s.erase(50);
78     test(s, 5);
79     test(s, 10);
80     test(s, 50);
81     test(s, 100);
82     test(s, S::npos);
83     }
84     }
85 #if __cplusplus >= 201103L
86     {
87     typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
88     {
89     S s;
90     test(s);
91 
92     s.assign(10, 'a');
93     s.erase(5);
94     test(s);
95 
96     s.assign(100, 'a');
97     s.erase(50);
98     test(s);
99     }
100     {
101     S s;
102     test(s, 5);
103     test(s, 10);
104     test(s, 50);
105     }
106     {
107     S s(100, 'a');
108     s.erase(50);
109     test(s, 5);
110     test(s, 10);
111     test(s, 50);
112     test(s, 100);
113     test(s, S::npos);
114     }
115     }
116 #endif
117 }
118