blob: 8c18941cf46a196232a8cdec1676286b54562e74 [file] [log] [blame]
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001//===----------------------------------------------------------------------===//
2//
Howard Hinnantf5256e12010-05-11 21:36:01 +00003// The LLVM Compiler Infrastructure
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00004//
Howard Hinnantb64f8b02010-11-16 22:09:02 +00005// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00007//
8//===----------------------------------------------------------------------===//
9
10// <string>
11
Howard Hinnant6e0a1f42010-08-22 00:47:54 +000012// basic_string<charT,traits,Allocator>&
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000013// insert(size_type pos1, const basic_string& str);
14
15#include <string>
16#include <stdexcept>
17#include <cassert>
18
Marshall Clow061d0cc2013-11-26 20:58:02 +000019#include "min_allocator.h"
Howard Hinnant9dcdcde2013-06-28 16:59:19 +000020
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000021template <class S>
22void
23test(S s, typename S::size_type pos, S str, S expected)
24{
25 typename S::size_type old_size = s.size();
26 S s0 = s;
27 try
28 {
29 s.insert(pos, str);
Dan Albert1d4a1ed2016-05-25 22:36:09 -070030 assert(s.__invariants());
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000031 assert(pos <= old_size);
32 assert(s == expected);
33 }
34 catch (std::out_of_range&)
35 {
36 assert(pos > old_size);
37 assert(s == s0);
38 }
39}
40
41int main()
42{
Howard Hinnant9dcdcde2013-06-28 16:59:19 +000043 {
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000044 typedef std::string S;
45 test(S(""), 0, S(""), S(""));
46 test(S(""), 0, S("12345"), S("12345"));
47 test(S(""), 0, S("1234567890"), S("1234567890"));
48 test(S(""), 0, S("12345678901234567890"), S("12345678901234567890"));
49 test(S(""), 1, S(""), S("can't happen"));
50 test(S(""), 1, S("12345"), S("can't happen"));
51 test(S(""), 1, S("1234567890"), S("can't happen"));
52 test(S(""), 1, S("12345678901234567890"), S("can't happen"));
53 test(S("abcde"), 0, S(""), S("abcde"));
54 test(S("abcde"), 0, S("12345"), S("12345abcde"));
55 test(S("abcde"), 0, S("1234567890"), S("1234567890abcde"));
56 test(S("abcde"), 0, S("12345678901234567890"), S("12345678901234567890abcde"));
57 test(S("abcde"), 1, S(""), S("abcde"));
58 test(S("abcde"), 1, S("12345"), S("a12345bcde"));
59 test(S("abcde"), 1, S("1234567890"), S("a1234567890bcde"));
60 test(S("abcde"), 1, S("12345678901234567890"), S("a12345678901234567890bcde"));
61 test(S("abcde"), 2, S(""), S("abcde"));
62 test(S("abcde"), 2, S("12345"), S("ab12345cde"));
63 test(S("abcde"), 2, S("1234567890"), S("ab1234567890cde"));
64 test(S("abcde"), 2, S("12345678901234567890"), S("ab12345678901234567890cde"));
65 test(S("abcde"), 4, S(""), S("abcde"));
66 test(S("abcde"), 4, S("12345"), S("abcd12345e"));
67 test(S("abcde"), 4, S("1234567890"), S("abcd1234567890e"));
68 test(S("abcde"), 4, S("12345678901234567890"), S("abcd12345678901234567890e"));
69 test(S("abcde"), 5, S(""), S("abcde"));
70 test(S("abcde"), 5, S("12345"), S("abcde12345"));
71 test(S("abcde"), 5, S("1234567890"), S("abcde1234567890"));
72 test(S("abcde"), 5, S("12345678901234567890"), S("abcde12345678901234567890"));
73 test(S("abcde"), 6, S(""), S("can't happen"));
74 test(S("abcde"), 6, S("12345"), S("can't happen"));
75 test(S("abcde"), 6, S("1234567890"), S("can't happen"));
76 test(S("abcde"), 6, S("12345678901234567890"), S("can't happen"));
77 test(S("abcdefghij"), 0, S(""), S("abcdefghij"));
78 test(S("abcdefghij"), 0, S("12345"), S("12345abcdefghij"));
79 test(S("abcdefghij"), 0, S("1234567890"), S("1234567890abcdefghij"));
80 test(S("abcdefghij"), 0, S("12345678901234567890"), S("12345678901234567890abcdefghij"));
81 test(S("abcdefghij"), 1, S(""), S("abcdefghij"));
82 test(S("abcdefghij"), 1, S("12345"), S("a12345bcdefghij"));
83 test(S("abcdefghij"), 1, S("1234567890"), S("a1234567890bcdefghij"));
84 test(S("abcdefghij"), 1, S("12345678901234567890"), S("a12345678901234567890bcdefghij"));
85 test(S("abcdefghij"), 5, S(""), S("abcdefghij"));
86 test(S("abcdefghij"), 5, S("12345"), S("abcde12345fghij"));
87 test(S("abcdefghij"), 5, S("1234567890"), S("abcde1234567890fghij"));
88 test(S("abcdefghij"), 5, S("12345678901234567890"), S("abcde12345678901234567890fghij"));
89 test(S("abcdefghij"), 9, S(""), S("abcdefghij"));
90 test(S("abcdefghij"), 9, S("12345"), S("abcdefghi12345j"));
91 test(S("abcdefghij"), 9, S("1234567890"), S("abcdefghi1234567890j"));
92 test(S("abcdefghij"), 9, S("12345678901234567890"), S("abcdefghi12345678901234567890j"));
93 test(S("abcdefghij"), 10, S(""), S("abcdefghij"));
94 test(S("abcdefghij"), 10, S("12345"), S("abcdefghij12345"));
95 test(S("abcdefghij"), 10, S("1234567890"), S("abcdefghij1234567890"));
96 test(S("abcdefghij"), 10, S("12345678901234567890"), S("abcdefghij12345678901234567890"));
97 test(S("abcdefghij"), 11, S(""), S("can't happen"));
98 test(S("abcdefghij"), 11, S("12345"), S("can't happen"));
99 test(S("abcdefghij"), 11, S("1234567890"), S("can't happen"));
100 test(S("abcdefghij"), 11, S("12345678901234567890"), S("can't happen"));
101 test(S("abcdefghijklmnopqrst"), 0, S(""), S("abcdefghijklmnopqrst"));
102 test(S("abcdefghijklmnopqrst"), 0, S("12345"), S("12345abcdefghijklmnopqrst"));
103 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), S("1234567890abcdefghijklmnopqrst"));
104 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), S("12345678901234567890abcdefghijklmnopqrst"));
105 test(S("abcdefghijklmnopqrst"), 1, S(""), S("abcdefghijklmnopqrst"));
106 test(S("abcdefghijklmnopqrst"), 1, S("12345"), S("a12345bcdefghijklmnopqrst"));
107 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), S("a1234567890bcdefghijklmnopqrst"));
108 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), S("a12345678901234567890bcdefghijklmnopqrst"));
109 test(S("abcdefghijklmnopqrst"), 10, S(""), S("abcdefghijklmnopqrst"));
110 test(S("abcdefghijklmnopqrst"), 10, S("12345"), S("abcdefghij12345klmnopqrst"));
111 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), S("abcdefghij1234567890klmnopqrst"));
112 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), S("abcdefghij12345678901234567890klmnopqrst"));
113 test(S("abcdefghijklmnopqrst"), 19, S(""), S("abcdefghijklmnopqrst"));
114 test(S("abcdefghijklmnopqrst"), 19, S("12345"), S("abcdefghijklmnopqrs12345t"));
115 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), S("abcdefghijklmnopqrs1234567890t"));
116 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), S("abcdefghijklmnopqrs12345678901234567890t"));
117 test(S("abcdefghijklmnopqrst"), 20, S(""), S("abcdefghijklmnopqrst"));
118 test(S("abcdefghijklmnopqrst"), 20, S("12345"), S("abcdefghijklmnopqrst12345"));
119 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), S("abcdefghijklmnopqrst1234567890"));
120 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), S("abcdefghijklmnopqrst12345678901234567890"));
121 test(S("abcdefghijklmnopqrst"), 21, S(""), S("can't happen"));
122 test(S("abcdefghijklmnopqrst"), 21, S("12345"), S("can't happen"));
123 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), S("can't happen"));
124 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), S("can't happen"));
Howard Hinnant9dcdcde2013-06-28 16:59:19 +0000125 }
Dan Albert1d4a1ed2016-05-25 22:36:09 -0700126#if __cplusplus >= 201103L
Howard Hinnant9dcdcde2013-06-28 16:59:19 +0000127 {
128 typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
129 test(S(""), 0, S(""), S(""));
130 test(S(""), 0, S("12345"), S("12345"));
131 test(S(""), 0, S("1234567890"), S("1234567890"));
132 test(S(""), 0, S("12345678901234567890"), S("12345678901234567890"));
133 test(S(""), 1, S(""), S("can't happen"));
134 test(S(""), 1, S("12345"), S("can't happen"));
135 test(S(""), 1, S("1234567890"), S("can't happen"));
136 test(S(""), 1, S("12345678901234567890"), S("can't happen"));
137 test(S("abcde"), 0, S(""), S("abcde"));
138 test(S("abcde"), 0, S("12345"), S("12345abcde"));
139 test(S("abcde"), 0, S("1234567890"), S("1234567890abcde"));
140 test(S("abcde"), 0, S("12345678901234567890"), S("12345678901234567890abcde"));
141 test(S("abcde"), 1, S(""), S("abcde"));
142 test(S("abcde"), 1, S("12345"), S("a12345bcde"));
143 test(S("abcde"), 1, S("1234567890"), S("a1234567890bcde"));
144 test(S("abcde"), 1, S("12345678901234567890"), S("a12345678901234567890bcde"));
145 test(S("abcde"), 2, S(""), S("abcde"));
146 test(S("abcde"), 2, S("12345"), S("ab12345cde"));
147 test(S("abcde"), 2, S("1234567890"), S("ab1234567890cde"));
148 test(S("abcde"), 2, S("12345678901234567890"), S("ab12345678901234567890cde"));
149 test(S("abcde"), 4, S(""), S("abcde"));
150 test(S("abcde"), 4, S("12345"), S("abcd12345e"));
151 test(S("abcde"), 4, S("1234567890"), S("abcd1234567890e"));
152 test(S("abcde"), 4, S("12345678901234567890"), S("abcd12345678901234567890e"));
153 test(S("abcde"), 5, S(""), S("abcde"));
154 test(S("abcde"), 5, S("12345"), S("abcde12345"));
155 test(S("abcde"), 5, S("1234567890"), S("abcde1234567890"));
156 test(S("abcde"), 5, S("12345678901234567890"), S("abcde12345678901234567890"));
157 test(S("abcde"), 6, S(""), S("can't happen"));
158 test(S("abcde"), 6, S("12345"), S("can't happen"));
159 test(S("abcde"), 6, S("1234567890"), S("can't happen"));
160 test(S("abcde"), 6, S("12345678901234567890"), S("can't happen"));
161 test(S("abcdefghij"), 0, S(""), S("abcdefghij"));
162 test(S("abcdefghij"), 0, S("12345"), S("12345abcdefghij"));
163 test(S("abcdefghij"), 0, S("1234567890"), S("1234567890abcdefghij"));
164 test(S("abcdefghij"), 0, S("12345678901234567890"), S("12345678901234567890abcdefghij"));
165 test(S("abcdefghij"), 1, S(""), S("abcdefghij"));
166 test(S("abcdefghij"), 1, S("12345"), S("a12345bcdefghij"));
167 test(S("abcdefghij"), 1, S("1234567890"), S("a1234567890bcdefghij"));
168 test(S("abcdefghij"), 1, S("12345678901234567890"), S("a12345678901234567890bcdefghij"));
169 test(S("abcdefghij"), 5, S(""), S("abcdefghij"));
170 test(S("abcdefghij"), 5, S("12345"), S("abcde12345fghij"));
171 test(S("abcdefghij"), 5, S("1234567890"), S("abcde1234567890fghij"));
172 test(S("abcdefghij"), 5, S("12345678901234567890"), S("abcde12345678901234567890fghij"));
173 test(S("abcdefghij"), 9, S(""), S("abcdefghij"));
174 test(S("abcdefghij"), 9, S("12345"), S("abcdefghi12345j"));
175 test(S("abcdefghij"), 9, S("1234567890"), S("abcdefghi1234567890j"));
176 test(S("abcdefghij"), 9, S("12345678901234567890"), S("abcdefghi12345678901234567890j"));
177 test(S("abcdefghij"), 10, S(""), S("abcdefghij"));
178 test(S("abcdefghij"), 10, S("12345"), S("abcdefghij12345"));
179 test(S("abcdefghij"), 10, S("1234567890"), S("abcdefghij1234567890"));
180 test(S("abcdefghij"), 10, S("12345678901234567890"), S("abcdefghij12345678901234567890"));
181 test(S("abcdefghij"), 11, S(""), S("can't happen"));
182 test(S("abcdefghij"), 11, S("12345"), S("can't happen"));
183 test(S("abcdefghij"), 11, S("1234567890"), S("can't happen"));
184 test(S("abcdefghij"), 11, S("12345678901234567890"), S("can't happen"));
185 test(S("abcdefghijklmnopqrst"), 0, S(""), S("abcdefghijklmnopqrst"));
186 test(S("abcdefghijklmnopqrst"), 0, S("12345"), S("12345abcdefghijklmnopqrst"));
187 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), S("1234567890abcdefghijklmnopqrst"));
188 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), S("12345678901234567890abcdefghijklmnopqrst"));
189 test(S("abcdefghijklmnopqrst"), 1, S(""), S("abcdefghijklmnopqrst"));
190 test(S("abcdefghijklmnopqrst"), 1, S("12345"), S("a12345bcdefghijklmnopqrst"));
191 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), S("a1234567890bcdefghijklmnopqrst"));
192 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), S("a12345678901234567890bcdefghijklmnopqrst"));
193 test(S("abcdefghijklmnopqrst"), 10, S(""), S("abcdefghijklmnopqrst"));
194 test(S("abcdefghijklmnopqrst"), 10, S("12345"), S("abcdefghij12345klmnopqrst"));
195 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), S("abcdefghij1234567890klmnopqrst"));
196 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), S("abcdefghij12345678901234567890klmnopqrst"));
197 test(S("abcdefghijklmnopqrst"), 19, S(""), S("abcdefghijklmnopqrst"));
198 test(S("abcdefghijklmnopqrst"), 19, S("12345"), S("abcdefghijklmnopqrs12345t"));
199 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), S("abcdefghijklmnopqrs1234567890t"));
200 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), S("abcdefghijklmnopqrs12345678901234567890t"));
201 test(S("abcdefghijklmnopqrst"), 20, S(""), S("abcdefghijklmnopqrst"));
202 test(S("abcdefghijklmnopqrst"), 20, S("12345"), S("abcdefghijklmnopqrst12345"));
203 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), S("abcdefghijklmnopqrst1234567890"));
204 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), S("abcdefghijklmnopqrst12345678901234567890"));
205 test(S("abcdefghijklmnopqrst"), 21, S(""), S("can't happen"));
206 test(S("abcdefghijklmnopqrst"), 21, S("12345"), S("can't happen"));
207 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), S("can't happen"));
208 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), S("can't happen"));
209 }
210#endif
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000211}