1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 // <string>
10
11 // template<class InputIterator>
12 // basic_string&
13 // replace(const_iterator i1, const_iterator i2, InputIterator j1, InputIterator j2);
14
15 #include <string>
16 #include <iterator>
17 #include <cassert>
18
19 #include "test_macros.h"
20 #include "min_allocator.h"
21 #include "test_iterators.h"
22
23 template <class S, class It>
24 void
test(S s,typename S::size_type pos1,typename S::size_type n1,It f,It l,S expected)25 test(S s, typename S::size_type pos1, typename S::size_type n1, It f, It l, S expected)
26 {
27 typename S::size_type old_size = s.size();
28 typename S::const_iterator first = s.begin() + pos1;
29 typename S::const_iterator last = s.begin() + pos1 + n1;
30 typename S::size_type xlen = last - first;
31 s.replace(first, last, f, l);
32 LIBCPP_ASSERT(s.__invariants());
33 assert(s == expected);
34 typename S::size_type rlen = std::distance(f, l);
35 assert(s.size() == old_size - xlen + rlen);
36 }
37
38 #ifndef TEST_HAS_NO_EXCEPTIONS
operator charWidget39 struct Widget { operator char() const { throw 42; } };
40
41 template <class S, class It>
42 void
test_exceptions(S s,typename S::size_type pos1,typename S::size_type n1,It f,It l)43 test_exceptions(S s, typename S::size_type pos1, typename S::size_type n1, It f, It l)
44 {
45 typename S::const_iterator first = s.begin() + pos1;
46 typename S::const_iterator last = s.begin() + pos1 + n1;
47
48 S original = s;
49 typename S::iterator begin = s.begin();
50 typename S::iterator end = s.end();
51
52 try {
53 s.replace(first, last, f, l);
54 assert(false);
55 } catch (...) {}
56
57 // Part of "no effects" is that iterators and pointers
58 // into the string must not have been invalidated.
59 LIBCPP_ASSERT(s.__invariants());
60 assert(s == original);
61 assert(s.begin() == begin);
62 assert(s.end() == end);
63 }
64 #endif
65
66 const char* str = "12345678901234567890";
67
68 template <class S>
test0()69 void test0()
70 {
71 test(S(""), 0, 0, str, str+0, S(""));
72 test(S(""), 0, 0, str, str+0, S(""));
73 test(S(""), 0, 0, str, str+1, S("1"));
74 test(S(""), 0, 0, str, str+2, S("12"));
75 test(S(""), 0, 0, str, str+4, S("1234"));
76 test(S(""), 0, 0, str, str+5, S("12345"));
77 test(S(""), 0, 0, str, str+0, S(""));
78 test(S(""), 0, 0, str, str+1, S("1"));
79 test(S(""), 0, 0, str, str+5, S("12345"));
80 test(S(""), 0, 0, str, str+9, S("123456789"));
81 test(S(""), 0, 0, str, str+10, S("1234567890"));
82 test(S(""), 0, 0, str, str+0, S(""));
83 test(S(""), 0, 0, str, str+1, S("1"));
84 test(S(""), 0, 0, str, str+10, S("1234567890"));
85 test(S(""), 0, 0, str, str+19, S("1234567890123456789"));
86 test(S(""), 0, 0, str, str+20, S("12345678901234567890"));
87 test(S("abcde"), 0, 0, str, str+0, S("abcde"));
88 test(S("abcde"), 0, 0, str, str+0, S("abcde"));
89 test(S("abcde"), 0, 0, str, str+1, S("1abcde"));
90 test(S("abcde"), 0, 0, str, str+2, S("12abcde"));
91 test(S("abcde"), 0, 0, str, str+4, S("1234abcde"));
92 test(S("abcde"), 0, 0, str, str+5, S("12345abcde"));
93 test(S("abcde"), 0, 0, str, str+0, S("abcde"));
94 test(S("abcde"), 0, 0, str, str+1, S("1abcde"));
95 test(S("abcde"), 0, 0, str, str+5, S("12345abcde"));
96 test(S("abcde"), 0, 0, str, str+9, S("123456789abcde"));
97 test(S("abcde"), 0, 0, str, str+10, S("1234567890abcde"));
98 test(S("abcde"), 0, 0, str, str+0, S("abcde"));
99 test(S("abcde"), 0, 0, str, str+1, S("1abcde"));
100 test(S("abcde"), 0, 0, str, str+10, S("1234567890abcde"));
101 test(S("abcde"), 0, 0, str, str+19, S("1234567890123456789abcde"));
102 test(S("abcde"), 0, 0, str, str+20, S("12345678901234567890abcde"));
103 test(S("abcde"), 0, 1, str, str+0, S("bcde"));
104 test(S("abcde"), 0, 1, str, str+0, S("bcde"));
105 test(S("abcde"), 0, 1, str, str+1, S("1bcde"));
106 test(S("abcde"), 0, 1, str, str+2, S("12bcde"));
107 test(S("abcde"), 0, 1, str, str+4, S("1234bcde"));
108 test(S("abcde"), 0, 1, str, str+5, S("12345bcde"));
109 test(S("abcde"), 0, 1, str, str+0, S("bcde"));
110 test(S("abcde"), 0, 1, str, str+1, S("1bcde"));
111 test(S("abcde"), 0, 1, str, str+5, S("12345bcde"));
112 test(S("abcde"), 0, 1, str, str+9, S("123456789bcde"));
113 test(S("abcde"), 0, 1, str, str+10, S("1234567890bcde"));
114 test(S("abcde"), 0, 1, str, str+0, S("bcde"));
115 test(S("abcde"), 0, 1, str, str+1, S("1bcde"));
116 test(S("abcde"), 0, 1, str, str+10, S("1234567890bcde"));
117 test(S("abcde"), 0, 1, str, str+19, S("1234567890123456789bcde"));
118 test(S("abcde"), 0, 1, str, str+20, S("12345678901234567890bcde"));
119 test(S("abcde"), 0, 2, str, str+0, S("cde"));
120 test(S("abcde"), 0, 2, str, str+0, S("cde"));
121 test(S("abcde"), 0, 2, str, str+1, S("1cde"));
122 test(S("abcde"), 0, 2, str, str+2, S("12cde"));
123 test(S("abcde"), 0, 2, str, str+4, S("1234cde"));
124 test(S("abcde"), 0, 2, str, str+5, S("12345cde"));
125 test(S("abcde"), 0, 2, str, str+0, S("cde"));
126 test(S("abcde"), 0, 2, str, str+1, S("1cde"));
127 test(S("abcde"), 0, 2, str, str+5, S("12345cde"));
128 test(S("abcde"), 0, 2, str, str+9, S("123456789cde"));
129 test(S("abcde"), 0, 2, str, str+10, S("1234567890cde"));
130 test(S("abcde"), 0, 2, str, str+0, S("cde"));
131 test(S("abcde"), 0, 2, str, str+1, S("1cde"));
132 test(S("abcde"), 0, 2, str, str+10, S("1234567890cde"));
133 test(S("abcde"), 0, 2, str, str+19, S("1234567890123456789cde"));
134 test(S("abcde"), 0, 2, str, str+20, S("12345678901234567890cde"));
135 test(S("abcde"), 0, 4, str, str+0, S("e"));
136 test(S("abcde"), 0, 4, str, str+0, S("e"));
137 test(S("abcde"), 0, 4, str, str+1, S("1e"));
138 test(S("abcde"), 0, 4, str, str+2, S("12e"));
139 test(S("abcde"), 0, 4, str, str+4, S("1234e"));
140 test(S("abcde"), 0, 4, str, str+5, S("12345e"));
141 test(S("abcde"), 0, 4, str, str+0, S("e"));
142 test(S("abcde"), 0, 4, str, str+1, S("1e"));
143 test(S("abcde"), 0, 4, str, str+5, S("12345e"));
144 test(S("abcde"), 0, 4, str, str+9, S("123456789e"));
145 test(S("abcde"), 0, 4, str, str+10, S("1234567890e"));
146 test(S("abcde"), 0, 4, str, str+0, S("e"));
147 test(S("abcde"), 0, 4, str, str+1, S("1e"));
148 test(S("abcde"), 0, 4, str, str+10, S("1234567890e"));
149 test(S("abcde"), 0, 4, str, str+19, S("1234567890123456789e"));
150 test(S("abcde"), 0, 4, str, str+20, S("12345678901234567890e"));
151 test(S("abcde"), 0, 5, str, str+0, S(""));
152 test(S("abcde"), 0, 5, str, str+0, S(""));
153 test(S("abcde"), 0, 5, str, str+1, S("1"));
154 test(S("abcde"), 0, 5, str, str+2, S("12"));
155 test(S("abcde"), 0, 5, str, str+4, S("1234"));
156 test(S("abcde"), 0, 5, str, str+5, S("12345"));
157 test(S("abcde"), 0, 5, str, str+0, S(""));
158 test(S("abcde"), 0, 5, str, str+1, S("1"));
159 test(S("abcde"), 0, 5, str, str+5, S("12345"));
160 test(S("abcde"), 0, 5, str, str+9, S("123456789"));
161 test(S("abcde"), 0, 5, str, str+10, S("1234567890"));
162 test(S("abcde"), 0, 5, str, str+0, S(""));
163 test(S("abcde"), 0, 5, str, str+1, S("1"));
164 test(S("abcde"), 0, 5, str, str+10, S("1234567890"));
165 test(S("abcde"), 0, 5, str, str+19, S("1234567890123456789"));
166 test(S("abcde"), 0, 5, str, str+20, S("12345678901234567890"));
167 test(S("abcde"), 1, 0, str, str+0, S("abcde"));
168 test(S("abcde"), 1, 0, str, str+0, S("abcde"));
169 test(S("abcde"), 1, 0, str, str+1, S("a1bcde"));
170 test(S("abcde"), 1, 0, str, str+2, S("a12bcde"));
171 }
172
173 template <class S>
test1()174 void test1()
175 {
176 test(S("abcde"), 1, 0, str, str+4, S("a1234bcde"));
177 test(S("abcde"), 1, 0, str, str+5, S("a12345bcde"));
178 test(S("abcde"), 1, 0, str, str+0, S("abcde"));
179 test(S("abcde"), 1, 0, str, str+1, S("a1bcde"));
180 test(S("abcde"), 1, 0, str, str+5, S("a12345bcde"));
181 test(S("abcde"), 1, 0, str, str+9, S("a123456789bcde"));
182 test(S("abcde"), 1, 0, str, str+10, S("a1234567890bcde"));
183 test(S("abcde"), 1, 0, str, str+0, S("abcde"));
184 test(S("abcde"), 1, 0, str, str+1, S("a1bcde"));
185 test(S("abcde"), 1, 0, str, str+10, S("a1234567890bcde"));
186 test(S("abcde"), 1, 0, str, str+19, S("a1234567890123456789bcde"));
187 test(S("abcde"), 1, 0, str, str+20, S("a12345678901234567890bcde"));
188 test(S("abcde"), 1, 1, str, str+0, S("acde"));
189 test(S("abcde"), 1, 1, str, str+0, S("acde"));
190 test(S("abcde"), 1, 1, str, str+1, S("a1cde"));
191 test(S("abcde"), 1, 1, str, str+2, S("a12cde"));
192 test(S("abcde"), 1, 1, str, str+4, S("a1234cde"));
193 test(S("abcde"), 1, 1, str, str+5, S("a12345cde"));
194 test(S("abcde"), 1, 1, str, str+0, S("acde"));
195 test(S("abcde"), 1, 1, str, str+1, S("a1cde"));
196 test(S("abcde"), 1, 1, str, str+5, S("a12345cde"));
197 test(S("abcde"), 1, 1, str, str+9, S("a123456789cde"));
198 test(S("abcde"), 1, 1, str, str+10, S("a1234567890cde"));
199 test(S("abcde"), 1, 1, str, str+0, S("acde"));
200 test(S("abcde"), 1, 1, str, str+1, S("a1cde"));
201 test(S("abcde"), 1, 1, str, str+10, S("a1234567890cde"));
202 test(S("abcde"), 1, 1, str, str+19, S("a1234567890123456789cde"));
203 test(S("abcde"), 1, 1, str, str+20, S("a12345678901234567890cde"));
204 test(S("abcde"), 1, 2, str, str+0, S("ade"));
205 test(S("abcde"), 1, 2, str, str+0, S("ade"));
206 test(S("abcde"), 1, 2, str, str+1, S("a1de"));
207 test(S("abcde"), 1, 2, str, str+2, S("a12de"));
208 test(S("abcde"), 1, 2, str, str+4, S("a1234de"));
209 test(S("abcde"), 1, 2, str, str+5, S("a12345de"));
210 test(S("abcde"), 1, 2, str, str+0, S("ade"));
211 test(S("abcde"), 1, 2, str, str+1, S("a1de"));
212 test(S("abcde"), 1, 2, str, str+5, S("a12345de"));
213 test(S("abcde"), 1, 2, str, str+9, S("a123456789de"));
214 test(S("abcde"), 1, 2, str, str+10, S("a1234567890de"));
215 test(S("abcde"), 1, 2, str, str+0, S("ade"));
216 test(S("abcde"), 1, 2, str, str+1, S("a1de"));
217 test(S("abcde"), 1, 2, str, str+10, S("a1234567890de"));
218 test(S("abcde"), 1, 2, str, str+19, S("a1234567890123456789de"));
219 test(S("abcde"), 1, 2, str, str+20, S("a12345678901234567890de"));
220 test(S("abcde"), 1, 3, str, str+0, S("ae"));
221 test(S("abcde"), 1, 3, str, str+0, S("ae"));
222 test(S("abcde"), 1, 3, str, str+1, S("a1e"));
223 test(S("abcde"), 1, 3, str, str+2, S("a12e"));
224 test(S("abcde"), 1, 3, str, str+4, S("a1234e"));
225 test(S("abcde"), 1, 3, str, str+5, S("a12345e"));
226 test(S("abcde"), 1, 3, str, str+0, S("ae"));
227 test(S("abcde"), 1, 3, str, str+1, S("a1e"));
228 test(S("abcde"), 1, 3, str, str+5, S("a12345e"));
229 test(S("abcde"), 1, 3, str, str+9, S("a123456789e"));
230 test(S("abcde"), 1, 3, str, str+10, S("a1234567890e"));
231 test(S("abcde"), 1, 3, str, str+0, S("ae"));
232 test(S("abcde"), 1, 3, str, str+1, S("a1e"));
233 test(S("abcde"), 1, 3, str, str+10, S("a1234567890e"));
234 test(S("abcde"), 1, 3, str, str+19, S("a1234567890123456789e"));
235 test(S("abcde"), 1, 3, str, str+20, S("a12345678901234567890e"));
236 test(S("abcde"), 1, 4, str, str+0, S("a"));
237 test(S("abcde"), 1, 4, str, str+0, S("a"));
238 test(S("abcde"), 1, 4, str, str+1, S("a1"));
239 test(S("abcde"), 1, 4, str, str+2, S("a12"));
240 test(S("abcde"), 1, 4, str, str+4, S("a1234"));
241 test(S("abcde"), 1, 4, str, str+5, S("a12345"));
242 test(S("abcde"), 1, 4, str, str+0, S("a"));
243 test(S("abcde"), 1, 4, str, str+1, S("a1"));
244 test(S("abcde"), 1, 4, str, str+5, S("a12345"));
245 test(S("abcde"), 1, 4, str, str+9, S("a123456789"));
246 test(S("abcde"), 1, 4, str, str+10, S("a1234567890"));
247 test(S("abcde"), 1, 4, str, str+0, S("a"));
248 test(S("abcde"), 1, 4, str, str+1, S("a1"));
249 test(S("abcde"), 1, 4, str, str+10, S("a1234567890"));
250 test(S("abcde"), 1, 4, str, str+19, S("a1234567890123456789"));
251 test(S("abcde"), 1, 4, str, str+20, S("a12345678901234567890"));
252 test(S("abcde"), 2, 0, str, str+0, S("abcde"));
253 test(S("abcde"), 2, 0, str, str+0, S("abcde"));
254 test(S("abcde"), 2, 0, str, str+1, S("ab1cde"));
255 test(S("abcde"), 2, 0, str, str+2, S("ab12cde"));
256 test(S("abcde"), 2, 0, str, str+4, S("ab1234cde"));
257 test(S("abcde"), 2, 0, str, str+5, S("ab12345cde"));
258 test(S("abcde"), 2, 0, str, str+0, S("abcde"));
259 test(S("abcde"), 2, 0, str, str+1, S("ab1cde"));
260 test(S("abcde"), 2, 0, str, str+5, S("ab12345cde"));
261 test(S("abcde"), 2, 0, str, str+9, S("ab123456789cde"));
262 test(S("abcde"), 2, 0, str, str+10, S("ab1234567890cde"));
263 test(S("abcde"), 2, 0, str, str+0, S("abcde"));
264 test(S("abcde"), 2, 0, str, str+1, S("ab1cde"));
265 test(S("abcde"), 2, 0, str, str+10, S("ab1234567890cde"));
266 test(S("abcde"), 2, 0, str, str+19, S("ab1234567890123456789cde"));
267 test(S("abcde"), 2, 0, str, str+20, S("ab12345678901234567890cde"));
268 test(S("abcde"), 2, 1, str, str+0, S("abde"));
269 test(S("abcde"), 2, 1, str, str+0, S("abde"));
270 test(S("abcde"), 2, 1, str, str+1, S("ab1de"));
271 test(S("abcde"), 2, 1, str, str+2, S("ab12de"));
272 test(S("abcde"), 2, 1, str, str+4, S("ab1234de"));
273 test(S("abcde"), 2, 1, str, str+5, S("ab12345de"));
274 test(S("abcde"), 2, 1, str, str+0, S("abde"));
275 test(S("abcde"), 2, 1, str, str+1, S("ab1de"));
276 }
277
278 template <class S>
test2()279 void test2()
280 {
281 test(S("abcde"), 2, 1, str, str+5, S("ab12345de"));
282 test(S("abcde"), 2, 1, str, str+9, S("ab123456789de"));
283 test(S("abcde"), 2, 1, str, str+10, S("ab1234567890de"));
284 test(S("abcde"), 2, 1, str, str+0, S("abde"));
285 test(S("abcde"), 2, 1, str, str+1, S("ab1de"));
286 test(S("abcde"), 2, 1, str, str+10, S("ab1234567890de"));
287 test(S("abcde"), 2, 1, str, str+19, S("ab1234567890123456789de"));
288 test(S("abcde"), 2, 1, str, str+20, S("ab12345678901234567890de"));
289 test(S("abcde"), 2, 2, str, str+0, S("abe"));
290 test(S("abcde"), 2, 2, str, str+0, S("abe"));
291 test(S("abcde"), 2, 2, str, str+1, S("ab1e"));
292 test(S("abcde"), 2, 2, str, str+2, S("ab12e"));
293 test(S("abcde"), 2, 2, str, str+4, S("ab1234e"));
294 test(S("abcde"), 2, 2, str, str+5, S("ab12345e"));
295 test(S("abcde"), 2, 2, str, str+0, S("abe"));
296 test(S("abcde"), 2, 2, str, str+1, S("ab1e"));
297 test(S("abcde"), 2, 2, str, str+5, S("ab12345e"));
298 test(S("abcde"), 2, 2, str, str+9, S("ab123456789e"));
299 test(S("abcde"), 2, 2, str, str+10, S("ab1234567890e"));
300 test(S("abcde"), 2, 2, str, str+0, S("abe"));
301 test(S("abcde"), 2, 2, str, str+1, S("ab1e"));
302 test(S("abcde"), 2, 2, str, str+10, S("ab1234567890e"));
303 test(S("abcde"), 2, 2, str, str+19, S("ab1234567890123456789e"));
304 test(S("abcde"), 2, 2, str, str+20, S("ab12345678901234567890e"));
305 test(S("abcde"), 2, 3, str, str+0, S("ab"));
306 test(S("abcde"), 2, 3, str, str+0, S("ab"));
307 test(S("abcde"), 2, 3, str, str+1, S("ab1"));
308 test(S("abcde"), 2, 3, str, str+2, S("ab12"));
309 test(S("abcde"), 2, 3, str, str+4, S("ab1234"));
310 test(S("abcde"), 2, 3, str, str+5, S("ab12345"));
311 test(S("abcde"), 2, 3, str, str+0, S("ab"));
312 test(S("abcde"), 2, 3, str, str+1, S("ab1"));
313 test(S("abcde"), 2, 3, str, str+5, S("ab12345"));
314 test(S("abcde"), 2, 3, str, str+9, S("ab123456789"));
315 test(S("abcde"), 2, 3, str, str+10, S("ab1234567890"));
316 test(S("abcde"), 2, 3, str, str+0, S("ab"));
317 test(S("abcde"), 2, 3, str, str+1, S("ab1"));
318 test(S("abcde"), 2, 3, str, str+10, S("ab1234567890"));
319 test(S("abcde"), 2, 3, str, str+19, S("ab1234567890123456789"));
320 test(S("abcde"), 2, 3, str, str+20, S("ab12345678901234567890"));
321 test(S("abcde"), 4, 0, str, str+0, S("abcde"));
322 test(S("abcde"), 4, 0, str, str+0, S("abcde"));
323 test(S("abcde"), 4, 0, str, str+1, S("abcd1e"));
324 test(S("abcde"), 4, 0, str, str+2, S("abcd12e"));
325 test(S("abcde"), 4, 0, str, str+4, S("abcd1234e"));
326 test(S("abcde"), 4, 0, str, str+5, S("abcd12345e"));
327 test(S("abcde"), 4, 0, str, str+0, S("abcde"));
328 test(S("abcde"), 4, 0, str, str+1, S("abcd1e"));
329 test(S("abcde"), 4, 0, str, str+5, S("abcd12345e"));
330 test(S("abcde"), 4, 0, str, str+9, S("abcd123456789e"));
331 test(S("abcde"), 4, 0, str, str+10, S("abcd1234567890e"));
332 test(S("abcde"), 4, 0, str, str+0, S("abcde"));
333 test(S("abcde"), 4, 0, str, str+1, S("abcd1e"));
334 test(S("abcde"), 4, 0, str, str+10, S("abcd1234567890e"));
335 test(S("abcde"), 4, 0, str, str+19, S("abcd1234567890123456789e"));
336 test(S("abcde"), 4, 0, str, str+20, S("abcd12345678901234567890e"));
337 test(S("abcde"), 4, 1, str, str+0, S("abcd"));
338 test(S("abcde"), 4, 1, str, str+0, S("abcd"));
339 test(S("abcde"), 4, 1, str, str+1, S("abcd1"));
340 test(S("abcde"), 4, 1, str, str+2, S("abcd12"));
341 test(S("abcde"), 4, 1, str, str+4, S("abcd1234"));
342 test(S("abcde"), 4, 1, str, str+5, S("abcd12345"));
343 test(S("abcde"), 4, 1, str, str+0, S("abcd"));
344 test(S("abcde"), 4, 1, str, str+1, S("abcd1"));
345 test(S("abcde"), 4, 1, str, str+5, S("abcd12345"));
346 test(S("abcde"), 4, 1, str, str+9, S("abcd123456789"));
347 test(S("abcde"), 4, 1, str, str+10, S("abcd1234567890"));
348 test(S("abcde"), 4, 1, str, str+0, S("abcd"));
349 test(S("abcde"), 4, 1, str, str+1, S("abcd1"));
350 test(S("abcde"), 4, 1, str, str+10, S("abcd1234567890"));
351 test(S("abcde"), 4, 1, str, str+19, S("abcd1234567890123456789"));
352 test(S("abcde"), 4, 1, str, str+20, S("abcd12345678901234567890"));
353 test(S("abcde"), 5, 0, str, str+0, S("abcde"));
354 test(S("abcde"), 5, 0, str, str+0, S("abcde"));
355 test(S("abcde"), 5, 0, str, str+1, S("abcde1"));
356 test(S("abcde"), 5, 0, str, str+2, S("abcde12"));
357 test(S("abcde"), 5, 0, str, str+4, S("abcde1234"));
358 test(S("abcde"), 5, 0, str, str+5, S("abcde12345"));
359 test(S("abcde"), 5, 0, str, str+0, S("abcde"));
360 test(S("abcde"), 5, 0, str, str+1, S("abcde1"));
361 test(S("abcde"), 5, 0, str, str+5, S("abcde12345"));
362 test(S("abcde"), 5, 0, str, str+9, S("abcde123456789"));
363 test(S("abcde"), 5, 0, str, str+10, S("abcde1234567890"));
364 test(S("abcde"), 5, 0, str, str+0, S("abcde"));
365 test(S("abcde"), 5, 0, str, str+1, S("abcde1"));
366 test(S("abcde"), 5, 0, str, str+10, S("abcde1234567890"));
367 test(S("abcde"), 5, 0, str, str+19, S("abcde1234567890123456789"));
368 test(S("abcde"), 5, 0, str, str+20, S("abcde12345678901234567890"));
369 test(S("abcdefghij"), 0, 0, str, str+0, S("abcdefghij"));
370 test(S("abcdefghij"), 0, 0, str, str+0, S("abcdefghij"));
371 test(S("abcdefghij"), 0, 0, str, str+1, S("1abcdefghij"));
372 test(S("abcdefghij"), 0, 0, str, str+2, S("12abcdefghij"));
373 test(S("abcdefghij"), 0, 0, str, str+4, S("1234abcdefghij"));
374 test(S("abcdefghij"), 0, 0, str, str+5, S("12345abcdefghij"));
375 test(S("abcdefghij"), 0, 0, str, str+0, S("abcdefghij"));
376 test(S("abcdefghij"), 0, 0, str, str+1, S("1abcdefghij"));
377 test(S("abcdefghij"), 0, 0, str, str+5, S("12345abcdefghij"));
378 test(S("abcdefghij"), 0, 0, str, str+9, S("123456789abcdefghij"));
379 test(S("abcdefghij"), 0, 0, str, str+10, S("1234567890abcdefghij"));
380 test(S("abcdefghij"), 0, 0, str, str+0, S("abcdefghij"));
381 }
382
383 template <class S>
test3()384 void test3()
385 {
386 test(S("abcdefghij"), 0, 0, str, str+1, S("1abcdefghij"));
387 test(S("abcdefghij"), 0, 0, str, str+10, S("1234567890abcdefghij"));
388 test(S("abcdefghij"), 0, 0, str, str+19, S("1234567890123456789abcdefghij"));
389 test(S("abcdefghij"), 0, 0, str, str+20, S("12345678901234567890abcdefghij"));
390 test(S("abcdefghij"), 0, 1, str, str+0, S("bcdefghij"));
391 test(S("abcdefghij"), 0, 1, str, str+0, S("bcdefghij"));
392 test(S("abcdefghij"), 0, 1, str, str+1, S("1bcdefghij"));
393 test(S("abcdefghij"), 0, 1, str, str+2, S("12bcdefghij"));
394 test(S("abcdefghij"), 0, 1, str, str+4, S("1234bcdefghij"));
395 test(S("abcdefghij"), 0, 1, str, str+5, S("12345bcdefghij"));
396 test(S("abcdefghij"), 0, 1, str, str+0, S("bcdefghij"));
397 test(S("abcdefghij"), 0, 1, str, str+1, S("1bcdefghij"));
398 test(S("abcdefghij"), 0, 1, str, str+5, S("12345bcdefghij"));
399 test(S("abcdefghij"), 0, 1, str, str+9, S("123456789bcdefghij"));
400 test(S("abcdefghij"), 0, 1, str, str+10, S("1234567890bcdefghij"));
401 test(S("abcdefghij"), 0, 1, str, str+0, S("bcdefghij"));
402 test(S("abcdefghij"), 0, 1, str, str+1, S("1bcdefghij"));
403 test(S("abcdefghij"), 0, 1, str, str+10, S("1234567890bcdefghij"));
404 test(S("abcdefghij"), 0, 1, str, str+19, S("1234567890123456789bcdefghij"));
405 test(S("abcdefghij"), 0, 1, str, str+20, S("12345678901234567890bcdefghij"));
406 test(S("abcdefghij"), 0, 5, str, str+0, S("fghij"));
407 test(S("abcdefghij"), 0, 5, str, str+0, S("fghij"));
408 test(S("abcdefghij"), 0, 5, str, str+1, S("1fghij"));
409 test(S("abcdefghij"), 0, 5, str, str+2, S("12fghij"));
410 test(S("abcdefghij"), 0, 5, str, str+4, S("1234fghij"));
411 test(S("abcdefghij"), 0, 5, str, str+5, S("12345fghij"));
412 test(S("abcdefghij"), 0, 5, str, str+0, S("fghij"));
413 test(S("abcdefghij"), 0, 5, str, str+1, S("1fghij"));
414 test(S("abcdefghij"), 0, 5, str, str+5, S("12345fghij"));
415 test(S("abcdefghij"), 0, 5, str, str+9, S("123456789fghij"));
416 test(S("abcdefghij"), 0, 5, str, str+10, S("1234567890fghij"));
417 test(S("abcdefghij"), 0, 5, str, str+0, S("fghij"));
418 test(S("abcdefghij"), 0, 5, str, str+1, S("1fghij"));
419 test(S("abcdefghij"), 0, 5, str, str+10, S("1234567890fghij"));
420 test(S("abcdefghij"), 0, 5, str, str+19, S("1234567890123456789fghij"));
421 test(S("abcdefghij"), 0, 5, str, str+20, S("12345678901234567890fghij"));
422 test(S("abcdefghij"), 0, 9, str, str+0, S("j"));
423 test(S("abcdefghij"), 0, 9, str, str+0, S("j"));
424 test(S("abcdefghij"), 0, 9, str, str+1, S("1j"));
425 test(S("abcdefghij"), 0, 9, str, str+2, S("12j"));
426 test(S("abcdefghij"), 0, 9, str, str+4, S("1234j"));
427 test(S("abcdefghij"), 0, 9, str, str+5, S("12345j"));
428 test(S("abcdefghij"), 0, 9, str, str+0, S("j"));
429 test(S("abcdefghij"), 0, 9, str, str+1, S("1j"));
430 test(S("abcdefghij"), 0, 9, str, str+5, S("12345j"));
431 test(S("abcdefghij"), 0, 9, str, str+9, S("123456789j"));
432 test(S("abcdefghij"), 0, 9, str, str+10, S("1234567890j"));
433 test(S("abcdefghij"), 0, 9, str, str+0, S("j"));
434 test(S("abcdefghij"), 0, 9, str, str+1, S("1j"));
435 test(S("abcdefghij"), 0, 9, str, str+10, S("1234567890j"));
436 test(S("abcdefghij"), 0, 9, str, str+19, S("1234567890123456789j"));
437 test(S("abcdefghij"), 0, 9, str, str+20, S("12345678901234567890j"));
438 test(S("abcdefghij"), 0, 10, str, str+0, S(""));
439 test(S("abcdefghij"), 0, 10, str, str+0, S(""));
440 test(S("abcdefghij"), 0, 10, str, str+1, S("1"));
441 test(S("abcdefghij"), 0, 10, str, str+2, S("12"));
442 test(S("abcdefghij"), 0, 10, str, str+4, S("1234"));
443 test(S("abcdefghij"), 0, 10, str, str+5, S("12345"));
444 test(S("abcdefghij"), 0, 10, str, str+0, S(""));
445 test(S("abcdefghij"), 0, 10, str, str+1, S("1"));
446 test(S("abcdefghij"), 0, 10, str, str+5, S("12345"));
447 test(S("abcdefghij"), 0, 10, str, str+9, S("123456789"));
448 test(S("abcdefghij"), 0, 10, str, str+10, S("1234567890"));
449 test(S("abcdefghij"), 0, 10, str, str+0, S(""));
450 test(S("abcdefghij"), 0, 10, str, str+1, S("1"));
451 test(S("abcdefghij"), 0, 10, str, str+10, S("1234567890"));
452 test(S("abcdefghij"), 0, 10, str, str+19, S("1234567890123456789"));
453 test(S("abcdefghij"), 0, 10, str, str+20, S("12345678901234567890"));
454 test(S("abcdefghij"), 1, 0, str, str+0, S("abcdefghij"));
455 test(S("abcdefghij"), 1, 0, str, str+0, S("abcdefghij"));
456 test(S("abcdefghij"), 1, 0, str, str+1, S("a1bcdefghij"));
457 test(S("abcdefghij"), 1, 0, str, str+2, S("a12bcdefghij"));
458 test(S("abcdefghij"), 1, 0, str, str+4, S("a1234bcdefghij"));
459 test(S("abcdefghij"), 1, 0, str, str+5, S("a12345bcdefghij"));
460 test(S("abcdefghij"), 1, 0, str, str+0, S("abcdefghij"));
461 test(S("abcdefghij"), 1, 0, str, str+1, S("a1bcdefghij"));
462 test(S("abcdefghij"), 1, 0, str, str+5, S("a12345bcdefghij"));
463 test(S("abcdefghij"), 1, 0, str, str+9, S("a123456789bcdefghij"));
464 test(S("abcdefghij"), 1, 0, str, str+10, S("a1234567890bcdefghij"));
465 test(S("abcdefghij"), 1, 0, str, str+0, S("abcdefghij"));
466 test(S("abcdefghij"), 1, 0, str, str+1, S("a1bcdefghij"));
467 test(S("abcdefghij"), 1, 0, str, str+10, S("a1234567890bcdefghij"));
468 test(S("abcdefghij"), 1, 0, str, str+19, S("a1234567890123456789bcdefghij"));
469 test(S("abcdefghij"), 1, 0, str, str+20, S("a12345678901234567890bcdefghij"));
470 test(S("abcdefghij"), 1, 1, str, str+0, S("acdefghij"));
471 test(S("abcdefghij"), 1, 1, str, str+0, S("acdefghij"));
472 test(S("abcdefghij"), 1, 1, str, str+1, S("a1cdefghij"));
473 test(S("abcdefghij"), 1, 1, str, str+2, S("a12cdefghij"));
474 test(S("abcdefghij"), 1, 1, str, str+4, S("a1234cdefghij"));
475 test(S("abcdefghij"), 1, 1, str, str+5, S("a12345cdefghij"));
476 test(S("abcdefghij"), 1, 1, str, str+0, S("acdefghij"));
477 test(S("abcdefghij"), 1, 1, str, str+1, S("a1cdefghij"));
478 test(S("abcdefghij"), 1, 1, str, str+5, S("a12345cdefghij"));
479 test(S("abcdefghij"), 1, 1, str, str+9, S("a123456789cdefghij"));
480 test(S("abcdefghij"), 1, 1, str, str+10, S("a1234567890cdefghij"));
481 test(S("abcdefghij"), 1, 1, str, str+0, S("acdefghij"));
482 test(S("abcdefghij"), 1, 1, str, str+1, S("a1cdefghij"));
483 test(S("abcdefghij"), 1, 1, str, str+10, S("a1234567890cdefghij"));
484 test(S("abcdefghij"), 1, 1, str, str+19, S("a1234567890123456789cdefghij"));
485 test(S("abcdefghij"), 1, 1, str, str+20, S("a12345678901234567890cdefghij"));
486 }
487
488 template <class S>
test4()489 void test4()
490 {
491 test(S("abcdefghij"), 1, 4, str, str+0, S("afghij"));
492 test(S("abcdefghij"), 1, 4, str, str+0, S("afghij"));
493 test(S("abcdefghij"), 1, 4, str, str+1, S("a1fghij"));
494 test(S("abcdefghij"), 1, 4, str, str+2, S("a12fghij"));
495 test(S("abcdefghij"), 1, 4, str, str+4, S("a1234fghij"));
496 test(S("abcdefghij"), 1, 4, str, str+5, S("a12345fghij"));
497 test(S("abcdefghij"), 1, 4, str, str+0, S("afghij"));
498 test(S("abcdefghij"), 1, 4, str, str+1, S("a1fghij"));
499 test(S("abcdefghij"), 1, 4, str, str+5, S("a12345fghij"));
500 test(S("abcdefghij"), 1, 4, str, str+9, S("a123456789fghij"));
501 test(S("abcdefghij"), 1, 4, str, str+10, S("a1234567890fghij"));
502 test(S("abcdefghij"), 1, 4, str, str+0, S("afghij"));
503 test(S("abcdefghij"), 1, 4, str, str+1, S("a1fghij"));
504 test(S("abcdefghij"), 1, 4, str, str+10, S("a1234567890fghij"));
505 test(S("abcdefghij"), 1, 4, str, str+19, S("a1234567890123456789fghij"));
506 test(S("abcdefghij"), 1, 4, str, str+20, S("a12345678901234567890fghij"));
507 test(S("abcdefghij"), 1, 8, str, str+0, S("aj"));
508 test(S("abcdefghij"), 1, 8, str, str+0, S("aj"));
509 test(S("abcdefghij"), 1, 8, str, str+1, S("a1j"));
510 test(S("abcdefghij"), 1, 8, str, str+2, S("a12j"));
511 test(S("abcdefghij"), 1, 8, str, str+4, S("a1234j"));
512 test(S("abcdefghij"), 1, 8, str, str+5, S("a12345j"));
513 test(S("abcdefghij"), 1, 8, str, str+0, S("aj"));
514 test(S("abcdefghij"), 1, 8, str, str+1, S("a1j"));
515 test(S("abcdefghij"), 1, 8, str, str+5, S("a12345j"));
516 test(S("abcdefghij"), 1, 8, str, str+9, S("a123456789j"));
517 test(S("abcdefghij"), 1, 8, str, str+10, S("a1234567890j"));
518 test(S("abcdefghij"), 1, 8, str, str+0, S("aj"));
519 test(S("abcdefghij"), 1, 8, str, str+1, S("a1j"));
520 test(S("abcdefghij"), 1, 8, str, str+10, S("a1234567890j"));
521 test(S("abcdefghij"), 1, 8, str, str+19, S("a1234567890123456789j"));
522 test(S("abcdefghij"), 1, 8, str, str+20, S("a12345678901234567890j"));
523 test(S("abcdefghij"), 1, 9, str, str+0, S("a"));
524 test(S("abcdefghij"), 1, 9, str, str+0, S("a"));
525 test(S("abcdefghij"), 1, 9, str, str+1, S("a1"));
526 test(S("abcdefghij"), 1, 9, str, str+2, S("a12"));
527 test(S("abcdefghij"), 1, 9, str, str+4, S("a1234"));
528 test(S("abcdefghij"), 1, 9, str, str+5, S("a12345"));
529 test(S("abcdefghij"), 1, 9, str, str+0, S("a"));
530 test(S("abcdefghij"), 1, 9, str, str+1, S("a1"));
531 test(S("abcdefghij"), 1, 9, str, str+5, S("a12345"));
532 test(S("abcdefghij"), 1, 9, str, str+9, S("a123456789"));
533 test(S("abcdefghij"), 1, 9, str, str+10, S("a1234567890"));
534 test(S("abcdefghij"), 1, 9, str, str+0, S("a"));
535 test(S("abcdefghij"), 1, 9, str, str+1, S("a1"));
536 test(S("abcdefghij"), 1, 9, str, str+10, S("a1234567890"));
537 test(S("abcdefghij"), 1, 9, str, str+19, S("a1234567890123456789"));
538 test(S("abcdefghij"), 1, 9, str, str+20, S("a12345678901234567890"));
539 test(S("abcdefghij"), 5, 0, str, str+0, S("abcdefghij"));
540 test(S("abcdefghij"), 5, 0, str, str+0, S("abcdefghij"));
541 test(S("abcdefghij"), 5, 0, str, str+1, S("abcde1fghij"));
542 test(S("abcdefghij"), 5, 0, str, str+2, S("abcde12fghij"));
543 test(S("abcdefghij"), 5, 0, str, str+4, S("abcde1234fghij"));
544 test(S("abcdefghij"), 5, 0, str, str+5, S("abcde12345fghij"));
545 test(S("abcdefghij"), 5, 0, str, str+0, S("abcdefghij"));
546 test(S("abcdefghij"), 5, 0, str, str+1, S("abcde1fghij"));
547 test(S("abcdefghij"), 5, 0, str, str+5, S("abcde12345fghij"));
548 test(S("abcdefghij"), 5, 0, str, str+9, S("abcde123456789fghij"));
549 test(S("abcdefghij"), 5, 0, str, str+10, S("abcde1234567890fghij"));
550 test(S("abcdefghij"), 5, 0, str, str+0, S("abcdefghij"));
551 test(S("abcdefghij"), 5, 0, str, str+1, S("abcde1fghij"));
552 test(S("abcdefghij"), 5, 0, str, str+10, S("abcde1234567890fghij"));
553 test(S("abcdefghij"), 5, 0, str, str+19, S("abcde1234567890123456789fghij"));
554 test(S("abcdefghij"), 5, 0, str, str+20, S("abcde12345678901234567890fghij"));
555 test(S("abcdefghij"), 5, 1, str, str+0, S("abcdeghij"));
556 test(S("abcdefghij"), 5, 1, str, str+0, S("abcdeghij"));
557 test(S("abcdefghij"), 5, 1, str, str+1, S("abcde1ghij"));
558 test(S("abcdefghij"), 5, 1, str, str+2, S("abcde12ghij"));
559 test(S("abcdefghij"), 5, 1, str, str+4, S("abcde1234ghij"));
560 test(S("abcdefghij"), 5, 1, str, str+5, S("abcde12345ghij"));
561 test(S("abcdefghij"), 5, 1, str, str+0, S("abcdeghij"));
562 test(S("abcdefghij"), 5, 1, str, str+1, S("abcde1ghij"));
563 test(S("abcdefghij"), 5, 1, str, str+5, S("abcde12345ghij"));
564 test(S("abcdefghij"), 5, 1, str, str+9, S("abcde123456789ghij"));
565 test(S("abcdefghij"), 5, 1, str, str+10, S("abcde1234567890ghij"));
566 test(S("abcdefghij"), 5, 1, str, str+0, S("abcdeghij"));
567 test(S("abcdefghij"), 5, 1, str, str+1, S("abcde1ghij"));
568 test(S("abcdefghij"), 5, 1, str, str+10, S("abcde1234567890ghij"));
569 test(S("abcdefghij"), 5, 1, str, str+19, S("abcde1234567890123456789ghij"));
570 test(S("abcdefghij"), 5, 1, str, str+20, S("abcde12345678901234567890ghij"));
571 test(S("abcdefghij"), 5, 2, str, str+0, S("abcdehij"));
572 test(S("abcdefghij"), 5, 2, str, str+0, S("abcdehij"));
573 test(S("abcdefghij"), 5, 2, str, str+1, S("abcde1hij"));
574 test(S("abcdefghij"), 5, 2, str, str+2, S("abcde12hij"));
575 test(S("abcdefghij"), 5, 2, str, str+4, S("abcde1234hij"));
576 test(S("abcdefghij"), 5, 2, str, str+5, S("abcde12345hij"));
577 test(S("abcdefghij"), 5, 2, str, str+0, S("abcdehij"));
578 test(S("abcdefghij"), 5, 2, str, str+1, S("abcde1hij"));
579 test(S("abcdefghij"), 5, 2, str, str+5, S("abcde12345hij"));
580 test(S("abcdefghij"), 5, 2, str, str+9, S("abcde123456789hij"));
581 test(S("abcdefghij"), 5, 2, str, str+10, S("abcde1234567890hij"));
582 test(S("abcdefghij"), 5, 2, str, str+0, S("abcdehij"));
583 test(S("abcdefghij"), 5, 2, str, str+1, S("abcde1hij"));
584 test(S("abcdefghij"), 5, 2, str, str+10, S("abcde1234567890hij"));
585 test(S("abcdefghij"), 5, 2, str, str+19, S("abcde1234567890123456789hij"));
586 test(S("abcdefghij"), 5, 2, str, str+20, S("abcde12345678901234567890hij"));
587 test(S("abcdefghij"), 5, 4, str, str+0, S("abcdej"));
588 test(S("abcdefghij"), 5, 4, str, str+0, S("abcdej"));
589 test(S("abcdefghij"), 5, 4, str, str+1, S("abcde1j"));
590 test(S("abcdefghij"), 5, 4, str, str+2, S("abcde12j"));
591 }
592
593 template <class S>
test5()594 void test5()
595 {
596 test(S("abcdefghij"), 5, 4, str, str+4, S("abcde1234j"));
597 test(S("abcdefghij"), 5, 4, str, str+5, S("abcde12345j"));
598 test(S("abcdefghij"), 5, 4, str, str+0, S("abcdej"));
599 test(S("abcdefghij"), 5, 4, str, str+1, S("abcde1j"));
600 test(S("abcdefghij"), 5, 4, str, str+5, S("abcde12345j"));
601 test(S("abcdefghij"), 5, 4, str, str+9, S("abcde123456789j"));
602 test(S("abcdefghij"), 5, 4, str, str+10, S("abcde1234567890j"));
603 test(S("abcdefghij"), 5, 4, str, str+0, S("abcdej"));
604 test(S("abcdefghij"), 5, 4, str, str+1, S("abcde1j"));
605 test(S("abcdefghij"), 5, 4, str, str+10, S("abcde1234567890j"));
606 test(S("abcdefghij"), 5, 4, str, str+19, S("abcde1234567890123456789j"));
607 test(S("abcdefghij"), 5, 4, str, str+20, S("abcde12345678901234567890j"));
608 test(S("abcdefghij"), 5, 5, str, str+0, S("abcde"));
609 test(S("abcdefghij"), 5, 5, str, str+0, S("abcde"));
610 test(S("abcdefghij"), 5, 5, str, str+1, S("abcde1"));
611 test(S("abcdefghij"), 5, 5, str, str+2, S("abcde12"));
612 test(S("abcdefghij"), 5, 5, str, str+4, S("abcde1234"));
613 test(S("abcdefghij"), 5, 5, str, str+5, S("abcde12345"));
614 test(S("abcdefghij"), 5, 5, str, str+0, S("abcde"));
615 test(S("abcdefghij"), 5, 5, str, str+1, S("abcde1"));
616 test(S("abcdefghij"), 5, 5, str, str+5, S("abcde12345"));
617 test(S("abcdefghij"), 5, 5, str, str+9, S("abcde123456789"));
618 test(S("abcdefghij"), 5, 5, str, str+10, S("abcde1234567890"));
619 test(S("abcdefghij"), 5, 5, str, str+0, S("abcde"));
620 test(S("abcdefghij"), 5, 5, str, str+1, S("abcde1"));
621 test(S("abcdefghij"), 5, 5, str, str+10, S("abcde1234567890"));
622 test(S("abcdefghij"), 5, 5, str, str+19, S("abcde1234567890123456789"));
623 test(S("abcdefghij"), 5, 5, str, str+20, S("abcde12345678901234567890"));
624 test(S("abcdefghij"), 9, 0, str, str+0, S("abcdefghij"));
625 test(S("abcdefghij"), 9, 0, str, str+0, S("abcdefghij"));
626 test(S("abcdefghij"), 9, 0, str, str+1, S("abcdefghi1j"));
627 test(S("abcdefghij"), 9, 0, str, str+2, S("abcdefghi12j"));
628 test(S("abcdefghij"), 9, 0, str, str+4, S("abcdefghi1234j"));
629 test(S("abcdefghij"), 9, 0, str, str+5, S("abcdefghi12345j"));
630 test(S("abcdefghij"), 9, 0, str, str+0, S("abcdefghij"));
631 test(S("abcdefghij"), 9, 0, str, str+1, S("abcdefghi1j"));
632 test(S("abcdefghij"), 9, 0, str, str+5, S("abcdefghi12345j"));
633 test(S("abcdefghij"), 9, 0, str, str+9, S("abcdefghi123456789j"));
634 test(S("abcdefghij"), 9, 0, str, str+10, S("abcdefghi1234567890j"));
635 test(S("abcdefghij"), 9, 0, str, str+0, S("abcdefghij"));
636 test(S("abcdefghij"), 9, 0, str, str+1, S("abcdefghi1j"));
637 test(S("abcdefghij"), 9, 0, str, str+10, S("abcdefghi1234567890j"));
638 test(S("abcdefghij"), 9, 0, str, str+19, S("abcdefghi1234567890123456789j"));
639 test(S("abcdefghij"), 9, 0, str, str+20, S("abcdefghi12345678901234567890j"));
640 test(S("abcdefghij"), 9, 1, str, str+0, S("abcdefghi"));
641 test(S("abcdefghij"), 9, 1, str, str+0, S("abcdefghi"));
642 test(S("abcdefghij"), 9, 1, str, str+1, S("abcdefghi1"));
643 test(S("abcdefghij"), 9, 1, str, str+2, S("abcdefghi12"));
644 test(S("abcdefghij"), 9, 1, str, str+4, S("abcdefghi1234"));
645 test(S("abcdefghij"), 9, 1, str, str+5, S("abcdefghi12345"));
646 test(S("abcdefghij"), 9, 1, str, str+0, S("abcdefghi"));
647 test(S("abcdefghij"), 9, 1, str, str+1, S("abcdefghi1"));
648 test(S("abcdefghij"), 9, 1, str, str+5, S("abcdefghi12345"));
649 test(S("abcdefghij"), 9, 1, str, str+9, S("abcdefghi123456789"));
650 test(S("abcdefghij"), 9, 1, str, str+10, S("abcdefghi1234567890"));
651 test(S("abcdefghij"), 9, 1, str, str+0, S("abcdefghi"));
652 test(S("abcdefghij"), 9, 1, str, str+1, S("abcdefghi1"));
653 test(S("abcdefghij"), 9, 1, str, str+10, S("abcdefghi1234567890"));
654 test(S("abcdefghij"), 9, 1, str, str+19, S("abcdefghi1234567890123456789"));
655 test(S("abcdefghij"), 9, 1, str, str+20, S("abcdefghi12345678901234567890"));
656 test(S("abcdefghij"), 10, 0, str, str+0, S("abcdefghij"));
657 test(S("abcdefghij"), 10, 0, str, str+0, S("abcdefghij"));
658 test(S("abcdefghij"), 10, 0, str, str+1, S("abcdefghij1"));
659 test(S("abcdefghij"), 10, 0, str, str+2, S("abcdefghij12"));
660 test(S("abcdefghij"), 10, 0, str, str+4, S("abcdefghij1234"));
661 test(S("abcdefghij"), 10, 0, str, str+5, S("abcdefghij12345"));
662 test(S("abcdefghij"), 10, 0, str, str+0, S("abcdefghij"));
663 test(S("abcdefghij"), 10, 0, str, str+1, S("abcdefghij1"));
664 test(S("abcdefghij"), 10, 0, str, str+5, S("abcdefghij12345"));
665 test(S("abcdefghij"), 10, 0, str, str+9, S("abcdefghij123456789"));
666 test(S("abcdefghij"), 10, 0, str, str+10, S("abcdefghij1234567890"));
667 test(S("abcdefghij"), 10, 0, str, str+0, S("abcdefghij"));
668 test(S("abcdefghij"), 10, 0, str, str+1, S("abcdefghij1"));
669 test(S("abcdefghij"), 10, 0, str, str+10, S("abcdefghij1234567890"));
670 test(S("abcdefghij"), 10, 0, str, str+19, S("abcdefghij1234567890123456789"));
671 test(S("abcdefghij"), 10, 0, str, str+20, S("abcdefghij12345678901234567890"));
672 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+0, S("abcdefghijklmnopqrst"));
673 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+0, S("abcdefghijklmnopqrst"));
674 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+1, S("1abcdefghijklmnopqrst"));
675 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+2, S("12abcdefghijklmnopqrst"));
676 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+4, S("1234abcdefghijklmnopqrst"));
677 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+5, S("12345abcdefghijklmnopqrst"));
678 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+0, S("abcdefghijklmnopqrst"));
679 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+1, S("1abcdefghijklmnopqrst"));
680 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+5, S("12345abcdefghijklmnopqrst"));
681 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+9, S("123456789abcdefghijklmnopqrst"));
682 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+10, S("1234567890abcdefghijklmnopqrst"));
683 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+0, S("abcdefghijklmnopqrst"));
684 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+1, S("1abcdefghijklmnopqrst"));
685 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+10, S("1234567890abcdefghijklmnopqrst"));
686 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+19, S("1234567890123456789abcdefghijklmnopqrst"));
687 test(S("abcdefghijklmnopqrst"), 0, 0, str, str+20, S("12345678901234567890abcdefghijklmnopqrst"));
688 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+0, S("bcdefghijklmnopqrst"));
689 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+0, S("bcdefghijklmnopqrst"));
690 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+1, S("1bcdefghijklmnopqrst"));
691 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+2, S("12bcdefghijklmnopqrst"));
692 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+4, S("1234bcdefghijklmnopqrst"));
693 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+5, S("12345bcdefghijklmnopqrst"));
694 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+0, S("bcdefghijklmnopqrst"));
695 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+1, S("1bcdefghijklmnopqrst"));
696 }
697
698 template <class S>
test6()699 void test6()
700 {
701 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+5, S("12345bcdefghijklmnopqrst"));
702 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+9, S("123456789bcdefghijklmnopqrst"));
703 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+10, S("1234567890bcdefghijklmnopqrst"));
704 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+0, S("bcdefghijklmnopqrst"));
705 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+1, S("1bcdefghijklmnopqrst"));
706 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+10, S("1234567890bcdefghijklmnopqrst"));
707 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+19, S("1234567890123456789bcdefghijklmnopqrst"));
708 test(S("abcdefghijklmnopqrst"), 0, 1, str, str+20, S("12345678901234567890bcdefghijklmnopqrst"));
709 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+0, S("klmnopqrst"));
710 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+0, S("klmnopqrst"));
711 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+1, S("1klmnopqrst"));
712 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+2, S("12klmnopqrst"));
713 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+4, S("1234klmnopqrst"));
714 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+5, S("12345klmnopqrst"));
715 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+0, S("klmnopqrst"));
716 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+1, S("1klmnopqrst"));
717 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+5, S("12345klmnopqrst"));
718 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+9, S("123456789klmnopqrst"));
719 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+10, S("1234567890klmnopqrst"));
720 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+0, S("klmnopqrst"));
721 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+1, S("1klmnopqrst"));
722 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+10, S("1234567890klmnopqrst"));
723 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+19, S("1234567890123456789klmnopqrst"));
724 test(S("abcdefghijklmnopqrst"), 0, 10, str, str+20, S("12345678901234567890klmnopqrst"));
725 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+0, S("t"));
726 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+0, S("t"));
727 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+1, S("1t"));
728 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+2, S("12t"));
729 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+4, S("1234t"));
730 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+5, S("12345t"));
731 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+0, S("t"));
732 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+1, S("1t"));
733 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+5, S("12345t"));
734 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+9, S("123456789t"));
735 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+10, S("1234567890t"));
736 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+0, S("t"));
737 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+1, S("1t"));
738 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+10, S("1234567890t"));
739 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+19, S("1234567890123456789t"));
740 test(S("abcdefghijklmnopqrst"), 0, 19, str, str+20, S("12345678901234567890t"));
741 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+0, S(""));
742 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+0, S(""));
743 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+1, S("1"));
744 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+2, S("12"));
745 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+4, S("1234"));
746 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+5, S("12345"));
747 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+0, S(""));
748 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+1, S("1"));
749 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+5, S("12345"));
750 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+9, S("123456789"));
751 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+10, S("1234567890"));
752 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+0, S(""));
753 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+1, S("1"));
754 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+10, S("1234567890"));
755 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+19, S("1234567890123456789"));
756 test(S("abcdefghijklmnopqrst"), 0, 20, str, str+20, S("12345678901234567890"));
757 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+0, S("abcdefghijklmnopqrst"));
758 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+0, S("abcdefghijklmnopqrst"));
759 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+1, S("a1bcdefghijklmnopqrst"));
760 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+2, S("a12bcdefghijklmnopqrst"));
761 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+4, S("a1234bcdefghijklmnopqrst"));
762 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+5, S("a12345bcdefghijklmnopqrst"));
763 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+0, S("abcdefghijklmnopqrst"));
764 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+1, S("a1bcdefghijklmnopqrst"));
765 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+5, S("a12345bcdefghijklmnopqrst"));
766 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+9, S("a123456789bcdefghijklmnopqrst"));
767 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+10, S("a1234567890bcdefghijklmnopqrst"));
768 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+0, S("abcdefghijklmnopqrst"));
769 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+1, S("a1bcdefghijklmnopqrst"));
770 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+10, S("a1234567890bcdefghijklmnopqrst"));
771 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+19, S("a1234567890123456789bcdefghijklmnopqrst"));
772 test(S("abcdefghijklmnopqrst"), 1, 0, str, str+20, S("a12345678901234567890bcdefghijklmnopqrst"));
773 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+0, S("acdefghijklmnopqrst"));
774 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+0, S("acdefghijklmnopqrst"));
775 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+1, S("a1cdefghijklmnopqrst"));
776 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+2, S("a12cdefghijklmnopqrst"));
777 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+4, S("a1234cdefghijklmnopqrst"));
778 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+5, S("a12345cdefghijklmnopqrst"));
779 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+0, S("acdefghijklmnopqrst"));
780 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+1, S("a1cdefghijklmnopqrst"));
781 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+5, S("a12345cdefghijklmnopqrst"));
782 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+9, S("a123456789cdefghijklmnopqrst"));
783 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+10, S("a1234567890cdefghijklmnopqrst"));
784 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+0, S("acdefghijklmnopqrst"));
785 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+1, S("a1cdefghijklmnopqrst"));
786 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+10, S("a1234567890cdefghijklmnopqrst"));
787 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+19, S("a1234567890123456789cdefghijklmnopqrst"));
788 test(S("abcdefghijklmnopqrst"), 1, 1, str, str+20, S("a12345678901234567890cdefghijklmnopqrst"));
789 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+0, S("aklmnopqrst"));
790 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+0, S("aklmnopqrst"));
791 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+1, S("a1klmnopqrst"));
792 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+2, S("a12klmnopqrst"));
793 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+4, S("a1234klmnopqrst"));
794 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+5, S("a12345klmnopqrst"));
795 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+0, S("aklmnopqrst"));
796 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+1, S("a1klmnopqrst"));
797 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+5, S("a12345klmnopqrst"));
798 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+9, S("a123456789klmnopqrst"));
799 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+10, S("a1234567890klmnopqrst"));
800 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+0, S("aklmnopqrst"));
801 }
802
803 template <class S>
test7()804 void test7()
805 {
806 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+1, S("a1klmnopqrst"));
807 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+10, S("a1234567890klmnopqrst"));
808 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+19, S("a1234567890123456789klmnopqrst"));
809 test(S("abcdefghijklmnopqrst"), 1, 9, str, str+20, S("a12345678901234567890klmnopqrst"));
810 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+0, S("at"));
811 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+0, S("at"));
812 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+1, S("a1t"));
813 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+2, S("a12t"));
814 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+4, S("a1234t"));
815 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+5, S("a12345t"));
816 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+0, S("at"));
817 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+1, S("a1t"));
818 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+5, S("a12345t"));
819 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+9, S("a123456789t"));
820 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+10, S("a1234567890t"));
821 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+0, S("at"));
822 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+1, S("a1t"));
823 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+10, S("a1234567890t"));
824 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+19, S("a1234567890123456789t"));
825 test(S("abcdefghijklmnopqrst"), 1, 18, str, str+20, S("a12345678901234567890t"));
826 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+0, S("a"));
827 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+0, S("a"));
828 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+1, S("a1"));
829 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+2, S("a12"));
830 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+4, S("a1234"));
831 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+5, S("a12345"));
832 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+0, S("a"));
833 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+1, S("a1"));
834 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+5, S("a12345"));
835 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+9, S("a123456789"));
836 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+10, S("a1234567890"));
837 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+0, S("a"));
838 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+1, S("a1"));
839 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+10, S("a1234567890"));
840 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+19, S("a1234567890123456789"));
841 test(S("abcdefghijklmnopqrst"), 1, 19, str, str+20, S("a12345678901234567890"));
842 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+0, S("abcdefghijklmnopqrst"));
843 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+0, S("abcdefghijklmnopqrst"));
844 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+1, S("abcdefghij1klmnopqrst"));
845 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+2, S("abcdefghij12klmnopqrst"));
846 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+4, S("abcdefghij1234klmnopqrst"));
847 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+5, S("abcdefghij12345klmnopqrst"));
848 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+0, S("abcdefghijklmnopqrst"));
849 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+1, S("abcdefghij1klmnopqrst"));
850 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+5, S("abcdefghij12345klmnopqrst"));
851 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+9, S("abcdefghij123456789klmnopqrst"));
852 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+10, S("abcdefghij1234567890klmnopqrst"));
853 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+0, S("abcdefghijklmnopqrst"));
854 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+1, S("abcdefghij1klmnopqrst"));
855 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+10, S("abcdefghij1234567890klmnopqrst"));
856 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+19, S("abcdefghij1234567890123456789klmnopqrst"));
857 test(S("abcdefghijklmnopqrst"), 10, 0, str, str+20, S("abcdefghij12345678901234567890klmnopqrst"));
858 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+0, S("abcdefghijlmnopqrst"));
859 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+0, S("abcdefghijlmnopqrst"));
860 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+1, S("abcdefghij1lmnopqrst"));
861 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+2, S("abcdefghij12lmnopqrst"));
862 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+4, S("abcdefghij1234lmnopqrst"));
863 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+5, S("abcdefghij12345lmnopqrst"));
864 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+0, S("abcdefghijlmnopqrst"));
865 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+1, S("abcdefghij1lmnopqrst"));
866 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+5, S("abcdefghij12345lmnopqrst"));
867 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+9, S("abcdefghij123456789lmnopqrst"));
868 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+10, S("abcdefghij1234567890lmnopqrst"));
869 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+0, S("abcdefghijlmnopqrst"));
870 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+1, S("abcdefghij1lmnopqrst"));
871 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+10, S("abcdefghij1234567890lmnopqrst"));
872 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+19, S("abcdefghij1234567890123456789lmnopqrst"));
873 test(S("abcdefghijklmnopqrst"), 10, 1, str, str+20, S("abcdefghij12345678901234567890lmnopqrst"));
874 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+0, S("abcdefghijpqrst"));
875 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+0, S("abcdefghijpqrst"));
876 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+1, S("abcdefghij1pqrst"));
877 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+2, S("abcdefghij12pqrst"));
878 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+4, S("abcdefghij1234pqrst"));
879 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+5, S("abcdefghij12345pqrst"));
880 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+0, S("abcdefghijpqrst"));
881 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+1, S("abcdefghij1pqrst"));
882 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+5, S("abcdefghij12345pqrst"));
883 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+9, S("abcdefghij123456789pqrst"));
884 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+10, S("abcdefghij1234567890pqrst"));
885 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+0, S("abcdefghijpqrst"));
886 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+1, S("abcdefghij1pqrst"));
887 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+10, S("abcdefghij1234567890pqrst"));
888 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+19, S("abcdefghij1234567890123456789pqrst"));
889 test(S("abcdefghijklmnopqrst"), 10, 5, str, str+20, S("abcdefghij12345678901234567890pqrst"));
890 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+0, S("abcdefghijt"));
891 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+0, S("abcdefghijt"));
892 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+1, S("abcdefghij1t"));
893 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+2, S("abcdefghij12t"));
894 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+4, S("abcdefghij1234t"));
895 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+5, S("abcdefghij12345t"));
896 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+0, S("abcdefghijt"));
897 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+1, S("abcdefghij1t"));
898 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+5, S("abcdefghij12345t"));
899 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+9, S("abcdefghij123456789t"));
900 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+10, S("abcdefghij1234567890t"));
901 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+0, S("abcdefghijt"));
902 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+1, S("abcdefghij1t"));
903 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+10, S("abcdefghij1234567890t"));
904 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+19, S("abcdefghij1234567890123456789t"));
905 test(S("abcdefghijklmnopqrst"), 10, 9, str, str+20, S("abcdefghij12345678901234567890t"));
906 }
907
908 template <class S>
test8()909 void test8()
910 {
911 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+0, S("abcdefghij"));
912 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+0, S("abcdefghij"));
913 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+1, S("abcdefghij1"));
914 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+2, S("abcdefghij12"));
915 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+4, S("abcdefghij1234"));
916 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+5, S("abcdefghij12345"));
917 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+0, S("abcdefghij"));
918 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+1, S("abcdefghij1"));
919 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+5, S("abcdefghij12345"));
920 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+9, S("abcdefghij123456789"));
921 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+10, S("abcdefghij1234567890"));
922 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+0, S("abcdefghij"));
923 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+1, S("abcdefghij1"));
924 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+10, S("abcdefghij1234567890"));
925 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+19, S("abcdefghij1234567890123456789"));
926 test(S("abcdefghijklmnopqrst"), 10, 10, str, str+20, S("abcdefghij12345678901234567890"));
927 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+0, S("abcdefghijklmnopqrst"));
928 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+0, S("abcdefghijklmnopqrst"));
929 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+1, S("abcdefghijklmnopqrs1t"));
930 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+2, S("abcdefghijklmnopqrs12t"));
931 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+4, S("abcdefghijklmnopqrs1234t"));
932 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+5, S("abcdefghijklmnopqrs12345t"));
933 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+0, S("abcdefghijklmnopqrst"));
934 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+1, S("abcdefghijklmnopqrs1t"));
935 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+5, S("abcdefghijklmnopqrs12345t"));
936 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+9, S("abcdefghijklmnopqrs123456789t"));
937 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+10, S("abcdefghijklmnopqrs1234567890t"));
938 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+0, S("abcdefghijklmnopqrst"));
939 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+1, S("abcdefghijklmnopqrs1t"));
940 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+10, S("abcdefghijklmnopqrs1234567890t"));
941 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+19, S("abcdefghijklmnopqrs1234567890123456789t"));
942 test(S("abcdefghijklmnopqrst"), 19, 0, str, str+20, S("abcdefghijklmnopqrs12345678901234567890t"));
943 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+0, S("abcdefghijklmnopqrs"));
944 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+0, S("abcdefghijklmnopqrs"));
945 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+1, S("abcdefghijklmnopqrs1"));
946 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+2, S("abcdefghijklmnopqrs12"));
947 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+4, S("abcdefghijklmnopqrs1234"));
948 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+5, S("abcdefghijklmnopqrs12345"));
949 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+0, S("abcdefghijklmnopqrs"));
950 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+1, S("abcdefghijklmnopqrs1"));
951 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+5, S("abcdefghijklmnopqrs12345"));
952 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+9, S("abcdefghijklmnopqrs123456789"));
953 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+10, S("abcdefghijklmnopqrs1234567890"));
954 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+0, S("abcdefghijklmnopqrs"));
955 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+1, S("abcdefghijklmnopqrs1"));
956 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+10, S("abcdefghijklmnopqrs1234567890"));
957 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+19, S("abcdefghijklmnopqrs1234567890123456789"));
958 test(S("abcdefghijklmnopqrst"), 19, 1, str, str+20, S("abcdefghijklmnopqrs12345678901234567890"));
959 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+0, S("abcdefghijklmnopqrst"));
960 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+0, S("abcdefghijklmnopqrst"));
961 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+1, S("abcdefghijklmnopqrst1"));
962 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+2, S("abcdefghijklmnopqrst12"));
963 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+4, S("abcdefghijklmnopqrst1234"));
964 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+5, S("abcdefghijklmnopqrst12345"));
965 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+0, S("abcdefghijklmnopqrst"));
966 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+1, S("abcdefghijklmnopqrst1"));
967 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+5, S("abcdefghijklmnopqrst12345"));
968 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+9, S("abcdefghijklmnopqrst123456789"));
969 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+10, S("abcdefghijklmnopqrst1234567890"));
970 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+0, S("abcdefghijklmnopqrst"));
971 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+1, S("abcdefghijklmnopqrst1"));
972 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+10, S("abcdefghijklmnopqrst1234567890"));
973 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+19, S("abcdefghijklmnopqrst1234567890123456789"));
974 test(S("abcdefghijklmnopqrst"), 20, 0, str, str+20, S("abcdefghijklmnopqrst12345678901234567890"));
975 }
976
main(int,char **)977 int main(int, char**)
978 {
979 {
980 typedef std::string S;
981 test0<S>();
982 test1<S>();
983 test2<S>();
984 test3<S>();
985 test4<S>();
986 test5<S>();
987 test6<S>();
988 test7<S>();
989 test8<S>();
990 }
991 #if TEST_STD_VER >= 11
992 {
993 typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
994 test0<S>();
995 test1<S>();
996 test2<S>();
997 test3<S>();
998 test4<S>();
999 test5<S>();
1000 test6<S>();
1001 test7<S>();
1002 test8<S>();
1003 }
1004 #endif
1005 #ifndef TEST_HAS_NO_EXCEPTIONS
1006 { // test iterator operations that throw
1007 typedef std::string S;
1008 typedef ThrowingIterator<char> TIter;
1009 typedef cpp17_input_iterator<TIter> IIter;
1010 const char* s = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz";
1011 test_exceptions(S("abcdefghijklmnopqrst"), 10, 5, IIter(TIter(s, s+10, 4, TIter::TAIncrement)), IIter());
1012 test_exceptions(S("abcdefghijklmnopqrst"), 10, 5, IIter(TIter(s, s+10, 5, TIter::TADereference)), IIter());
1013 test_exceptions(S("abcdefghijklmnopqrst"), 10, 5, IIter(TIter(s, s+10, 6, TIter::TAComparison)), IIter());
1014
1015 test_exceptions(S("abcdefghijklmnopqrst"), 10, 5, TIter(s, s+10, 4, TIter::TAIncrement), TIter());
1016 test_exceptions(S("abcdefghijklmnopqrst"), 10, 5, TIter(s, s+10, 5, TIter::TADereference), TIter());
1017 test_exceptions(S("abcdefghijklmnopqrst"), 10, 5, TIter(s, s+10, 6, TIter::TAComparison), TIter());
1018
1019 Widget w[100];
1020 test_exceptions(S("abcdefghijklmnopqrst"), 10, 5, w, w+100);
1021 }
1022 #endif
1023
1024 { // test replacing into self
1025 typedef std::string S;
1026 S s_short = "123/";
1027 S s_long = "Lorem ipsum dolor sit amet, consectetur/";
1028
1029 s_short.replace(s_short.begin(), s_short.begin(), s_short.begin(), s_short.end());
1030 assert(s_short == "123/123/");
1031 s_short.replace(s_short.begin(), s_short.begin(), s_short.begin(), s_short.end());
1032 assert(s_short == "123/123/123/123/");
1033 s_short.replace(s_short.begin(), s_short.begin(), s_short.begin(), s_short.end());
1034 assert(s_short == "123/123/123/123/123/123/123/123/");
1035
1036 s_long.replace(s_long.begin(), s_long.begin(), s_long.begin(), s_long.end());
1037 assert(s_long == "Lorem ipsum dolor sit amet, consectetur/Lorem ipsum dolor sit amet, consectetur/");
1038 }
1039
1040 { // test assigning a different type
1041 typedef std::string S;
1042 const uint8_t pc[] = "ABCD";
1043 uint8_t p[] = "EFGH";
1044
1045 S s;
1046 s.replace(s.begin(), s.end(), pc, pc + 4);
1047 assert(s == "ABCD");
1048
1049 s.clear();
1050 s.replace(s.begin(), s.end(), p, p + 4);
1051 assert(s == "EFGH");
1052 }
1053
1054 return 0;
1055 }
1056