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 // basic_string<charT,traits,Allocator>& 13 // insert(size_type pos1, const basic_string<charT,traits,Allocator>& str, 14 // size_type pos2, size_type n); 15 16 #include <string> 17 #include <stdexcept> 18 #include <cassert> 19 20 #include "../../min_allocator.h" 21 22 template <class S> 23 void 24 test(S s, typename S::size_type pos1, S str, typename S::size_type pos2, 25 typename S::size_type n, S expected) 26 { 27 typename S::size_type old_size = s.size(); 28 S s0 = s; 29 try 30 { 31 s.insert(pos1, str, pos2, n); 32 assert(s.__invariants()); 33 assert(pos1 <= old_size && pos2 <= str.size()); 34 assert(s == expected); 35 } 36 catch (std::out_of_range&) 37 { 38 assert(pos1 > old_size || pos2 > str.size()); 39 assert(s == s0); 40 } 41 } 42 43 template <class S> 44 void test0() 45 { 46 test(S(""), 0, S(""), 0, 0, S("")); 47 test(S(""), 0, S(""), 0, 1, S("")); 48 test(S(""), 0, S(""), 1, 0, S("can't happen")); 49 test(S(""), 0, S("12345"), 0, 0, S("")); 50 test(S(""), 0, S("12345"), 0, 1, S("1")); 51 test(S(""), 0, S("12345"), 0, 2, S("12")); 52 test(S(""), 0, S("12345"), 0, 4, S("1234")); 53 test(S(""), 0, S("12345"), 0, 5, S("12345")); 54 test(S(""), 0, S("12345"), 0, 6, S("12345")); 55 test(S(""), 0, S("12345"), 1, 0, S("")); 56 test(S(""), 0, S("12345"), 1, 1, S("2")); 57 test(S(""), 0, S("12345"), 1, 2, S("23")); 58 test(S(""), 0, S("12345"), 1, 3, S("234")); 59 test(S(""), 0, S("12345"), 1, 4, S("2345")); 60 test(S(""), 0, S("12345"), 1, 5, S("2345")); 61 test(S(""), 0, S("12345"), 2, 0, S("")); 62 test(S(""), 0, S("12345"), 2, 1, S("3")); 63 test(S(""), 0, S("12345"), 2, 2, S("34")); 64 test(S(""), 0, S("12345"), 2, 3, S("345")); 65 test(S(""), 0, S("12345"), 2, 4, S("345")); 66 test(S(""), 0, S("12345"), 4, 0, S("")); 67 test(S(""), 0, S("12345"), 4, 1, S("5")); 68 test(S(""), 0, S("12345"), 4, 2, S("5")); 69 test(S(""), 0, S("12345"), 5, 0, S("")); 70 test(S(""), 0, S("12345"), 5, 1, S("")); 71 test(S(""), 0, S("12345"), 6, 0, S("can't happen")); 72 test(S(""), 0, S("1234567890"), 0, 0, S("")); 73 test(S(""), 0, S("1234567890"), 0, 1, S("1")); 74 test(S(""), 0, S("1234567890"), 0, 5, S("12345")); 75 test(S(""), 0, S("1234567890"), 0, 9, S("123456789")); 76 test(S(""), 0, S("1234567890"), 0, 10, S("1234567890")); 77 test(S(""), 0, S("1234567890"), 0, 11, S("1234567890")); 78 test(S(""), 0, S("1234567890"), 1, 0, S("")); 79 test(S(""), 0, S("1234567890"), 1, 1, S("2")); 80 test(S(""), 0, S("1234567890"), 1, 4, S("2345")); 81 test(S(""), 0, S("1234567890"), 1, 8, S("23456789")); 82 test(S(""), 0, S("1234567890"), 1, 9, S("234567890")); 83 test(S(""), 0, S("1234567890"), 1, 10, S("234567890")); 84 test(S(""), 0, S("1234567890"), 5, 0, S("")); 85 test(S(""), 0, S("1234567890"), 5, 1, S("6")); 86 test(S(""), 0, S("1234567890"), 5, 2, S("67")); 87 test(S(""), 0, S("1234567890"), 5, 4, S("6789")); 88 test(S(""), 0, S("1234567890"), 5, 5, S("67890")); 89 test(S(""), 0, S("1234567890"), 5, 6, S("67890")); 90 test(S(""), 0, S("1234567890"), 9, 0, S("")); 91 test(S(""), 0, S("1234567890"), 9, 1, S("0")); 92 test(S(""), 0, S("1234567890"), 9, 2, S("0")); 93 test(S(""), 0, S("1234567890"), 10, 0, S("")); 94 test(S(""), 0, S("1234567890"), 10, 1, S("")); 95 test(S(""), 0, S("1234567890"), 11, 0, S("can't happen")); 96 } 97 98 template <class S> 99 void test1() 100 { 101 test(S(""), 0, S("12345678901234567890"), 0, 0, S("")); 102 test(S(""), 0, S("12345678901234567890"), 0, 1, S("1")); 103 test(S(""), 0, S("12345678901234567890"), 0, 10, S("1234567890")); 104 test(S(""), 0, S("12345678901234567890"), 0, 19, S("1234567890123456789")); 105 test(S(""), 0, S("12345678901234567890"), 0, 20, S("12345678901234567890")); 106 test(S(""), 0, S("12345678901234567890"), 0, 21, S("12345678901234567890")); 107 test(S(""), 0, S("12345678901234567890"), 1, 0, S("")); 108 test(S(""), 0, S("12345678901234567890"), 1, 1, S("2")); 109 test(S(""), 0, S("12345678901234567890"), 1, 9, S("234567890")); 110 test(S(""), 0, S("12345678901234567890"), 1, 18, S("234567890123456789")); 111 test(S(""), 0, S("12345678901234567890"), 1, 19, S("2345678901234567890")); 112 test(S(""), 0, S("12345678901234567890"), 1, 20, S("2345678901234567890")); 113 test(S(""), 0, S("12345678901234567890"), 10, 0, S("")); 114 test(S(""), 0, S("12345678901234567890"), 10, 1, S("1")); 115 test(S(""), 0, S("12345678901234567890"), 10, 5, S("12345")); 116 test(S(""), 0, S("12345678901234567890"), 10, 9, S("123456789")); 117 test(S(""), 0, S("12345678901234567890"), 10, 10, S("1234567890")); 118 test(S(""), 0, S("12345678901234567890"), 10, 11, S("1234567890")); 119 test(S(""), 0, S("12345678901234567890"), 19, 0, S("")); 120 test(S(""), 0, S("12345678901234567890"), 19, 1, S("0")); 121 test(S(""), 0, S("12345678901234567890"), 19, 2, S("0")); 122 test(S(""), 0, S("12345678901234567890"), 20, 0, S("")); 123 test(S(""), 0, S("12345678901234567890"), 20, 1, S("")); 124 test(S(""), 0, S("12345678901234567890"), 21, 0, S("can't happen")); 125 test(S(""), 1, S(""), 0, 0, S("can't happen")); 126 test(S(""), 1, S(""), 0, 1, S("can't happen")); 127 test(S(""), 1, S(""), 1, 0, S("can't happen")); 128 test(S(""), 1, S("12345"), 0, 0, S("can't happen")); 129 test(S(""), 1, S("12345"), 0, 1, S("can't happen")); 130 test(S(""), 1, S("12345"), 0, 2, S("can't happen")); 131 test(S(""), 1, S("12345"), 0, 4, S("can't happen")); 132 test(S(""), 1, S("12345"), 0, 5, S("can't happen")); 133 test(S(""), 1, S("12345"), 0, 6, S("can't happen")); 134 test(S(""), 1, S("12345"), 1, 0, S("can't happen")); 135 test(S(""), 1, S("12345"), 1, 1, S("can't happen")); 136 test(S(""), 1, S("12345"), 1, 2, S("can't happen")); 137 test(S(""), 1, S("12345"), 1, 3, S("can't happen")); 138 test(S(""), 1, S("12345"), 1, 4, S("can't happen")); 139 test(S(""), 1, S("12345"), 1, 5, S("can't happen")); 140 test(S(""), 1, S("12345"), 2, 0, S("can't happen")); 141 test(S(""), 1, S("12345"), 2, 1, S("can't happen")); 142 test(S(""), 1, S("12345"), 2, 2, S("can't happen")); 143 test(S(""), 1, S("12345"), 2, 3, S("can't happen")); 144 test(S(""), 1, S("12345"), 2, 4, S("can't happen")); 145 test(S(""), 1, S("12345"), 4, 0, S("can't happen")); 146 test(S(""), 1, S("12345"), 4, 1, S("can't happen")); 147 test(S(""), 1, S("12345"), 4, 2, S("can't happen")); 148 test(S(""), 1, S("12345"), 5, 0, S("can't happen")); 149 test(S(""), 1, S("12345"), 5, 1, S("can't happen")); 150 test(S(""), 1, S("12345"), 6, 0, S("can't happen")); 151 } 152 153 template <class S> 154 void test2() 155 { 156 test(S(""), 1, S("1234567890"), 0, 0, S("can't happen")); 157 test(S(""), 1, S("1234567890"), 0, 1, S("can't happen")); 158 test(S(""), 1, S("1234567890"), 0, 5, S("can't happen")); 159 test(S(""), 1, S("1234567890"), 0, 9, S("can't happen")); 160 test(S(""), 1, S("1234567890"), 0, 10, S("can't happen")); 161 test(S(""), 1, S("1234567890"), 0, 11, S("can't happen")); 162 test(S(""), 1, S("1234567890"), 1, 0, S("can't happen")); 163 test(S(""), 1, S("1234567890"), 1, 1, S("can't happen")); 164 test(S(""), 1, S("1234567890"), 1, 4, S("can't happen")); 165 test(S(""), 1, S("1234567890"), 1, 8, S("can't happen")); 166 test(S(""), 1, S("1234567890"), 1, 9, S("can't happen")); 167 test(S(""), 1, S("1234567890"), 1, 10, S("can't happen")); 168 test(S(""), 1, S("1234567890"), 5, 0, S("can't happen")); 169 test(S(""), 1, S("1234567890"), 5, 1, S("can't happen")); 170 test(S(""), 1, S("1234567890"), 5, 2, S("can't happen")); 171 test(S(""), 1, S("1234567890"), 5, 4, S("can't happen")); 172 test(S(""), 1, S("1234567890"), 5, 5, S("can't happen")); 173 test(S(""), 1, S("1234567890"), 5, 6, S("can't happen")); 174 test(S(""), 1, S("1234567890"), 9, 0, S("can't happen")); 175 test(S(""), 1, S("1234567890"), 9, 1, S("can't happen")); 176 test(S(""), 1, S("1234567890"), 9, 2, S("can't happen")); 177 test(S(""), 1, S("1234567890"), 10, 0, S("can't happen")); 178 test(S(""), 1, S("1234567890"), 10, 1, S("can't happen")); 179 test(S(""), 1, S("1234567890"), 11, 0, S("can't happen")); 180 test(S(""), 1, S("12345678901234567890"), 0, 0, S("can't happen")); 181 test(S(""), 1, S("12345678901234567890"), 0, 1, S("can't happen")); 182 test(S(""), 1, S("12345678901234567890"), 0, 10, S("can't happen")); 183 test(S(""), 1, S("12345678901234567890"), 0, 19, S("can't happen")); 184 test(S(""), 1, S("12345678901234567890"), 0, 20, S("can't happen")); 185 test(S(""), 1, S("12345678901234567890"), 0, 21, S("can't happen")); 186 test(S(""), 1, S("12345678901234567890"), 1, 0, S("can't happen")); 187 test(S(""), 1, S("12345678901234567890"), 1, 1, S("can't happen")); 188 test(S(""), 1, S("12345678901234567890"), 1, 9, S("can't happen")); 189 test(S(""), 1, S("12345678901234567890"), 1, 18, S("can't happen")); 190 test(S(""), 1, S("12345678901234567890"), 1, 19, S("can't happen")); 191 test(S(""), 1, S("12345678901234567890"), 1, 20, S("can't happen")); 192 test(S(""), 1, S("12345678901234567890"), 10, 0, S("can't happen")); 193 test(S(""), 1, S("12345678901234567890"), 10, 1, S("can't happen")); 194 test(S(""), 1, S("12345678901234567890"), 10, 5, S("can't happen")); 195 test(S(""), 1, S("12345678901234567890"), 10, 9, S("can't happen")); 196 test(S(""), 1, S("12345678901234567890"), 10, 10, S("can't happen")); 197 test(S(""), 1, S("12345678901234567890"), 10, 11, S("can't happen")); 198 test(S(""), 1, S("12345678901234567890"), 19, 0, S("can't happen")); 199 test(S(""), 1, S("12345678901234567890"), 19, 1, S("can't happen")); 200 test(S(""), 1, S("12345678901234567890"), 19, 2, S("can't happen")); 201 test(S(""), 1, S("12345678901234567890"), 20, 0, S("can't happen")); 202 test(S(""), 1, S("12345678901234567890"), 20, 1, S("can't happen")); 203 test(S(""), 1, S("12345678901234567890"), 21, 0, S("can't happen")); 204 test(S("abcde"), 0, S(""), 0, 0, S("abcde")); 205 test(S("abcde"), 0, S(""), 0, 1, S("abcde")); 206 } 207 208 template <class S> 209 void test3() 210 { 211 test(S("abcde"), 0, S(""), 1, 0, S("can't happen")); 212 test(S("abcde"), 0, S("12345"), 0, 0, S("abcde")); 213 test(S("abcde"), 0, S("12345"), 0, 1, S("1abcde")); 214 test(S("abcde"), 0, S("12345"), 0, 2, S("12abcde")); 215 test(S("abcde"), 0, S("12345"), 0, 4, S("1234abcde")); 216 test(S("abcde"), 0, S("12345"), 0, 5, S("12345abcde")); 217 test(S("abcde"), 0, S("12345"), 0, 6, S("12345abcde")); 218 test(S("abcde"), 0, S("12345"), 1, 0, S("abcde")); 219 test(S("abcde"), 0, S("12345"), 1, 1, S("2abcde")); 220 test(S("abcde"), 0, S("12345"), 1, 2, S("23abcde")); 221 test(S("abcde"), 0, S("12345"), 1, 3, S("234abcde")); 222 test(S("abcde"), 0, S("12345"), 1, 4, S("2345abcde")); 223 test(S("abcde"), 0, S("12345"), 1, 5, S("2345abcde")); 224 test(S("abcde"), 0, S("12345"), 2, 0, S("abcde")); 225 test(S("abcde"), 0, S("12345"), 2, 1, S("3abcde")); 226 test(S("abcde"), 0, S("12345"), 2, 2, S("34abcde")); 227 test(S("abcde"), 0, S("12345"), 2, 3, S("345abcde")); 228 test(S("abcde"), 0, S("12345"), 2, 4, S("345abcde")); 229 test(S("abcde"), 0, S("12345"), 4, 0, S("abcde")); 230 test(S("abcde"), 0, S("12345"), 4, 1, S("5abcde")); 231 test(S("abcde"), 0, S("12345"), 4, 2, S("5abcde")); 232 test(S("abcde"), 0, S("12345"), 5, 0, S("abcde")); 233 test(S("abcde"), 0, S("12345"), 5, 1, S("abcde")); 234 test(S("abcde"), 0, S("12345"), 6, 0, S("can't happen")); 235 test(S("abcde"), 0, S("1234567890"), 0, 0, S("abcde")); 236 test(S("abcde"), 0, S("1234567890"), 0, 1, S("1abcde")); 237 test(S("abcde"), 0, S("1234567890"), 0, 5, S("12345abcde")); 238 test(S("abcde"), 0, S("1234567890"), 0, 9, S("123456789abcde")); 239 test(S("abcde"), 0, S("1234567890"), 0, 10, S("1234567890abcde")); 240 test(S("abcde"), 0, S("1234567890"), 0, 11, S("1234567890abcde")); 241 test(S("abcde"), 0, S("1234567890"), 1, 0, S("abcde")); 242 test(S("abcde"), 0, S("1234567890"), 1, 1, S("2abcde")); 243 test(S("abcde"), 0, S("1234567890"), 1, 4, S("2345abcde")); 244 test(S("abcde"), 0, S("1234567890"), 1, 8, S("23456789abcde")); 245 test(S("abcde"), 0, S("1234567890"), 1, 9, S("234567890abcde")); 246 test(S("abcde"), 0, S("1234567890"), 1, 10, S("234567890abcde")); 247 test(S("abcde"), 0, S("1234567890"), 5, 0, S("abcde")); 248 test(S("abcde"), 0, S("1234567890"), 5, 1, S("6abcde")); 249 test(S("abcde"), 0, S("1234567890"), 5, 2, S("67abcde")); 250 test(S("abcde"), 0, S("1234567890"), 5, 4, S("6789abcde")); 251 test(S("abcde"), 0, S("1234567890"), 5, 5, S("67890abcde")); 252 test(S("abcde"), 0, S("1234567890"), 5, 6, S("67890abcde")); 253 test(S("abcde"), 0, S("1234567890"), 9, 0, S("abcde")); 254 test(S("abcde"), 0, S("1234567890"), 9, 1, S("0abcde")); 255 test(S("abcde"), 0, S("1234567890"), 9, 2, S("0abcde")); 256 test(S("abcde"), 0, S("1234567890"), 10, 0, S("abcde")); 257 test(S("abcde"), 0, S("1234567890"), 10, 1, S("abcde")); 258 test(S("abcde"), 0, S("1234567890"), 11, 0, S("can't happen")); 259 test(S("abcde"), 0, S("12345678901234567890"), 0, 0, S("abcde")); 260 test(S("abcde"), 0, S("12345678901234567890"), 0, 1, S("1abcde")); 261 } 262 263 template <class S> 264 void test4() 265 { 266 test(S("abcde"), 0, S("12345678901234567890"), 0, 10, S("1234567890abcde")); 267 test(S("abcde"), 0, S("12345678901234567890"), 0, 19, S("1234567890123456789abcde")); 268 test(S("abcde"), 0, S("12345678901234567890"), 0, 20, S("12345678901234567890abcde")); 269 test(S("abcde"), 0, S("12345678901234567890"), 0, 21, S("12345678901234567890abcde")); 270 test(S("abcde"), 0, S("12345678901234567890"), 1, 0, S("abcde")); 271 test(S("abcde"), 0, S("12345678901234567890"), 1, 1, S("2abcde")); 272 test(S("abcde"), 0, S("12345678901234567890"), 1, 9, S("234567890abcde")); 273 test(S("abcde"), 0, S("12345678901234567890"), 1, 18, S("234567890123456789abcde")); 274 test(S("abcde"), 0, S("12345678901234567890"), 1, 19, S("2345678901234567890abcde")); 275 test(S("abcde"), 0, S("12345678901234567890"), 1, 20, S("2345678901234567890abcde")); 276 test(S("abcde"), 0, S("12345678901234567890"), 10, 0, S("abcde")); 277 test(S("abcde"), 0, S("12345678901234567890"), 10, 1, S("1abcde")); 278 test(S("abcde"), 0, S("12345678901234567890"), 10, 5, S("12345abcde")); 279 test(S("abcde"), 0, S("12345678901234567890"), 10, 9, S("123456789abcde")); 280 test(S("abcde"), 0, S("12345678901234567890"), 10, 10, S("1234567890abcde")); 281 test(S("abcde"), 0, S("12345678901234567890"), 10, 11, S("1234567890abcde")); 282 test(S("abcde"), 0, S("12345678901234567890"), 19, 0, S("abcde")); 283 test(S("abcde"), 0, S("12345678901234567890"), 19, 1, S("0abcde")); 284 test(S("abcde"), 0, S("12345678901234567890"), 19, 2, S("0abcde")); 285 test(S("abcde"), 0, S("12345678901234567890"), 20, 0, S("abcde")); 286 test(S("abcde"), 0, S("12345678901234567890"), 20, 1, S("abcde")); 287 test(S("abcde"), 0, S("12345678901234567890"), 21, 0, S("can't happen")); 288 test(S("abcde"), 1, S(""), 0, 0, S("abcde")); 289 test(S("abcde"), 1, S(""), 0, 1, S("abcde")); 290 test(S("abcde"), 1, S(""), 1, 0, S("can't happen")); 291 test(S("abcde"), 1, S("12345"), 0, 0, S("abcde")); 292 test(S("abcde"), 1, S("12345"), 0, 1, S("a1bcde")); 293 test(S("abcde"), 1, S("12345"), 0, 2, S("a12bcde")); 294 test(S("abcde"), 1, S("12345"), 0, 4, S("a1234bcde")); 295 test(S("abcde"), 1, S("12345"), 0, 5, S("a12345bcde")); 296 test(S("abcde"), 1, S("12345"), 0, 6, S("a12345bcde")); 297 test(S("abcde"), 1, S("12345"), 1, 0, S("abcde")); 298 test(S("abcde"), 1, S("12345"), 1, 1, S("a2bcde")); 299 test(S("abcde"), 1, S("12345"), 1, 2, S("a23bcde")); 300 test(S("abcde"), 1, S("12345"), 1, 3, S("a234bcde")); 301 test(S("abcde"), 1, S("12345"), 1, 4, S("a2345bcde")); 302 test(S("abcde"), 1, S("12345"), 1, 5, S("a2345bcde")); 303 test(S("abcde"), 1, S("12345"), 2, 0, S("abcde")); 304 test(S("abcde"), 1, S("12345"), 2, 1, S("a3bcde")); 305 test(S("abcde"), 1, S("12345"), 2, 2, S("a34bcde")); 306 test(S("abcde"), 1, S("12345"), 2, 3, S("a345bcde")); 307 test(S("abcde"), 1, S("12345"), 2, 4, S("a345bcde")); 308 test(S("abcde"), 1, S("12345"), 4, 0, S("abcde")); 309 test(S("abcde"), 1, S("12345"), 4, 1, S("a5bcde")); 310 test(S("abcde"), 1, S("12345"), 4, 2, S("a5bcde")); 311 test(S("abcde"), 1, S("12345"), 5, 0, S("abcde")); 312 test(S("abcde"), 1, S("12345"), 5, 1, S("abcde")); 313 test(S("abcde"), 1, S("12345"), 6, 0, S("can't happen")); 314 test(S("abcde"), 1, S("1234567890"), 0, 0, S("abcde")); 315 test(S("abcde"), 1, S("1234567890"), 0, 1, S("a1bcde")); 316 } 317 318 template <class S> 319 void test5() 320 { 321 test(S("abcde"), 1, S("1234567890"), 0, 5, S("a12345bcde")); 322 test(S("abcde"), 1, S("1234567890"), 0, 9, S("a123456789bcde")); 323 test(S("abcde"), 1, S("1234567890"), 0, 10, S("a1234567890bcde")); 324 test(S("abcde"), 1, S("1234567890"), 0, 11, S("a1234567890bcde")); 325 test(S("abcde"), 1, S("1234567890"), 1, 0, S("abcde")); 326 test(S("abcde"), 1, S("1234567890"), 1, 1, S("a2bcde")); 327 test(S("abcde"), 1, S("1234567890"), 1, 4, S("a2345bcde")); 328 test(S("abcde"), 1, S("1234567890"), 1, 8, S("a23456789bcde")); 329 test(S("abcde"), 1, S("1234567890"), 1, 9, S("a234567890bcde")); 330 test(S("abcde"), 1, S("1234567890"), 1, 10, S("a234567890bcde")); 331 test(S("abcde"), 1, S("1234567890"), 5, 0, S("abcde")); 332 test(S("abcde"), 1, S("1234567890"), 5, 1, S("a6bcde")); 333 test(S("abcde"), 1, S("1234567890"), 5, 2, S("a67bcde")); 334 test(S("abcde"), 1, S("1234567890"), 5, 4, S("a6789bcde")); 335 test(S("abcde"), 1, S("1234567890"), 5, 5, S("a67890bcde")); 336 test(S("abcde"), 1, S("1234567890"), 5, 6, S("a67890bcde")); 337 test(S("abcde"), 1, S("1234567890"), 9, 0, S("abcde")); 338 test(S("abcde"), 1, S("1234567890"), 9, 1, S("a0bcde")); 339 test(S("abcde"), 1, S("1234567890"), 9, 2, S("a0bcde")); 340 test(S("abcde"), 1, S("1234567890"), 10, 0, S("abcde")); 341 test(S("abcde"), 1, S("1234567890"), 10, 1, S("abcde")); 342 test(S("abcde"), 1, S("1234567890"), 11, 0, S("can't happen")); 343 test(S("abcde"), 1, S("12345678901234567890"), 0, 0, S("abcde")); 344 test(S("abcde"), 1, S("12345678901234567890"), 0, 1, S("a1bcde")); 345 test(S("abcde"), 1, S("12345678901234567890"), 0, 10, S("a1234567890bcde")); 346 test(S("abcde"), 1, S("12345678901234567890"), 0, 19, S("a1234567890123456789bcde")); 347 test(S("abcde"), 1, S("12345678901234567890"), 0, 20, S("a12345678901234567890bcde")); 348 test(S("abcde"), 1, S("12345678901234567890"), 0, 21, S("a12345678901234567890bcde")); 349 test(S("abcde"), 1, S("12345678901234567890"), 1, 0, S("abcde")); 350 test(S("abcde"), 1, S("12345678901234567890"), 1, 1, S("a2bcde")); 351 test(S("abcde"), 1, S("12345678901234567890"), 1, 9, S("a234567890bcde")); 352 test(S("abcde"), 1, S("12345678901234567890"), 1, 18, S("a234567890123456789bcde")); 353 test(S("abcde"), 1, S("12345678901234567890"), 1, 19, S("a2345678901234567890bcde")); 354 test(S("abcde"), 1, S("12345678901234567890"), 1, 20, S("a2345678901234567890bcde")); 355 test(S("abcde"), 1, S("12345678901234567890"), 10, 0, S("abcde")); 356 test(S("abcde"), 1, S("12345678901234567890"), 10, 1, S("a1bcde")); 357 test(S("abcde"), 1, S("12345678901234567890"), 10, 5, S("a12345bcde")); 358 test(S("abcde"), 1, S("12345678901234567890"), 10, 9, S("a123456789bcde")); 359 test(S("abcde"), 1, S("12345678901234567890"), 10, 10, S("a1234567890bcde")); 360 test(S("abcde"), 1, S("12345678901234567890"), 10, 11, S("a1234567890bcde")); 361 test(S("abcde"), 1, S("12345678901234567890"), 19, 0, S("abcde")); 362 test(S("abcde"), 1, S("12345678901234567890"), 19, 1, S("a0bcde")); 363 test(S("abcde"), 1, S("12345678901234567890"), 19, 2, S("a0bcde")); 364 test(S("abcde"), 1, S("12345678901234567890"), 20, 0, S("abcde")); 365 test(S("abcde"), 1, S("12345678901234567890"), 20, 1, S("abcde")); 366 test(S("abcde"), 1, S("12345678901234567890"), 21, 0, S("can't happen")); 367 test(S("abcde"), 2, S(""), 0, 0, S("abcde")); 368 test(S("abcde"), 2, S(""), 0, 1, S("abcde")); 369 test(S("abcde"), 2, S(""), 1, 0, S("can't happen")); 370 test(S("abcde"), 2, S("12345"), 0, 0, S("abcde")); 371 } 372 373 template <class S> 374 void test6() 375 { 376 test(S("abcde"), 2, S("12345"), 0, 1, S("ab1cde")); 377 test(S("abcde"), 2, S("12345"), 0, 2, S("ab12cde")); 378 test(S("abcde"), 2, S("12345"), 0, 4, S("ab1234cde")); 379 test(S("abcde"), 2, S("12345"), 0, 5, S("ab12345cde")); 380 test(S("abcde"), 2, S("12345"), 0, 6, S("ab12345cde")); 381 test(S("abcde"), 2, S("12345"), 1, 0, S("abcde")); 382 test(S("abcde"), 2, S("12345"), 1, 1, S("ab2cde")); 383 test(S("abcde"), 2, S("12345"), 1, 2, S("ab23cde")); 384 test(S("abcde"), 2, S("12345"), 1, 3, S("ab234cde")); 385 test(S("abcde"), 2, S("12345"), 1, 4, S("ab2345cde")); 386 test(S("abcde"), 2, S("12345"), 1, 5, S("ab2345cde")); 387 test(S("abcde"), 2, S("12345"), 2, 0, S("abcde")); 388 test(S("abcde"), 2, S("12345"), 2, 1, S("ab3cde")); 389 test(S("abcde"), 2, S("12345"), 2, 2, S("ab34cde")); 390 test(S("abcde"), 2, S("12345"), 2, 3, S("ab345cde")); 391 test(S("abcde"), 2, S("12345"), 2, 4, S("ab345cde")); 392 test(S("abcde"), 2, S("12345"), 4, 0, S("abcde")); 393 test(S("abcde"), 2, S("12345"), 4, 1, S("ab5cde")); 394 test(S("abcde"), 2, S("12345"), 4, 2, S("ab5cde")); 395 test(S("abcde"), 2, S("12345"), 5, 0, S("abcde")); 396 test(S("abcde"), 2, S("12345"), 5, 1, S("abcde")); 397 test(S("abcde"), 2, S("12345"), 6, 0, S("can't happen")); 398 test(S("abcde"), 2, S("1234567890"), 0, 0, S("abcde")); 399 test(S("abcde"), 2, S("1234567890"), 0, 1, S("ab1cde")); 400 test(S("abcde"), 2, S("1234567890"), 0, 5, S("ab12345cde")); 401 test(S("abcde"), 2, S("1234567890"), 0, 9, S("ab123456789cde")); 402 test(S("abcde"), 2, S("1234567890"), 0, 10, S("ab1234567890cde")); 403 test(S("abcde"), 2, S("1234567890"), 0, 11, S("ab1234567890cde")); 404 test(S("abcde"), 2, S("1234567890"), 1, 0, S("abcde")); 405 test(S("abcde"), 2, S("1234567890"), 1, 1, S("ab2cde")); 406 test(S("abcde"), 2, S("1234567890"), 1, 4, S("ab2345cde")); 407 test(S("abcde"), 2, S("1234567890"), 1, 8, S("ab23456789cde")); 408 test(S("abcde"), 2, S("1234567890"), 1, 9, S("ab234567890cde")); 409 test(S("abcde"), 2, S("1234567890"), 1, 10, S("ab234567890cde")); 410 test(S("abcde"), 2, S("1234567890"), 5, 0, S("abcde")); 411 test(S("abcde"), 2, S("1234567890"), 5, 1, S("ab6cde")); 412 test(S("abcde"), 2, S("1234567890"), 5, 2, S("ab67cde")); 413 test(S("abcde"), 2, S("1234567890"), 5, 4, S("ab6789cde")); 414 test(S("abcde"), 2, S("1234567890"), 5, 5, S("ab67890cde")); 415 test(S("abcde"), 2, S("1234567890"), 5, 6, S("ab67890cde")); 416 test(S("abcde"), 2, S("1234567890"), 9, 0, S("abcde")); 417 test(S("abcde"), 2, S("1234567890"), 9, 1, S("ab0cde")); 418 test(S("abcde"), 2, S("1234567890"), 9, 2, S("ab0cde")); 419 test(S("abcde"), 2, S("1234567890"), 10, 0, S("abcde")); 420 test(S("abcde"), 2, S("1234567890"), 10, 1, S("abcde")); 421 test(S("abcde"), 2, S("1234567890"), 11, 0, S("can't happen")); 422 test(S("abcde"), 2, S("12345678901234567890"), 0, 0, S("abcde")); 423 test(S("abcde"), 2, S("12345678901234567890"), 0, 1, S("ab1cde")); 424 test(S("abcde"), 2, S("12345678901234567890"), 0, 10, S("ab1234567890cde")); 425 test(S("abcde"), 2, S("12345678901234567890"), 0, 19, S("ab1234567890123456789cde")); 426 } 427 428 template <class S> 429 void test7() 430 { 431 test(S("abcde"), 2, S("12345678901234567890"), 0, 20, S("ab12345678901234567890cde")); 432 test(S("abcde"), 2, S("12345678901234567890"), 0, 21, S("ab12345678901234567890cde")); 433 test(S("abcde"), 2, S("12345678901234567890"), 1, 0, S("abcde")); 434 test(S("abcde"), 2, S("12345678901234567890"), 1, 1, S("ab2cde")); 435 test(S("abcde"), 2, S("12345678901234567890"), 1, 9, S("ab234567890cde")); 436 test(S("abcde"), 2, S("12345678901234567890"), 1, 18, S("ab234567890123456789cde")); 437 test(S("abcde"), 2, S("12345678901234567890"), 1, 19, S("ab2345678901234567890cde")); 438 test(S("abcde"), 2, S("12345678901234567890"), 1, 20, S("ab2345678901234567890cde")); 439 test(S("abcde"), 2, S("12345678901234567890"), 10, 0, S("abcde")); 440 test(S("abcde"), 2, S("12345678901234567890"), 10, 1, S("ab1cde")); 441 test(S("abcde"), 2, S("12345678901234567890"), 10, 5, S("ab12345cde")); 442 test(S("abcde"), 2, S("12345678901234567890"), 10, 9, S("ab123456789cde")); 443 test(S("abcde"), 2, S("12345678901234567890"), 10, 10, S("ab1234567890cde")); 444 test(S("abcde"), 2, S("12345678901234567890"), 10, 11, S("ab1234567890cde")); 445 test(S("abcde"), 2, S("12345678901234567890"), 19, 0, S("abcde")); 446 test(S("abcde"), 2, S("12345678901234567890"), 19, 1, S("ab0cde")); 447 test(S("abcde"), 2, S("12345678901234567890"), 19, 2, S("ab0cde")); 448 test(S("abcde"), 2, S("12345678901234567890"), 20, 0, S("abcde")); 449 test(S("abcde"), 2, S("12345678901234567890"), 20, 1, S("abcde")); 450 test(S("abcde"), 2, S("12345678901234567890"), 21, 0, S("can't happen")); 451 test(S("abcde"), 4, S(""), 0, 0, S("abcde")); 452 test(S("abcde"), 4, S(""), 0, 1, S("abcde")); 453 test(S("abcde"), 4, S(""), 1, 0, S("can't happen")); 454 test(S("abcde"), 4, S("12345"), 0, 0, S("abcde")); 455 test(S("abcde"), 4, S("12345"), 0, 1, S("abcd1e")); 456 test(S("abcde"), 4, S("12345"), 0, 2, S("abcd12e")); 457 test(S("abcde"), 4, S("12345"), 0, 4, S("abcd1234e")); 458 test(S("abcde"), 4, S("12345"), 0, 5, S("abcd12345e")); 459 test(S("abcde"), 4, S("12345"), 0, 6, S("abcd12345e")); 460 test(S("abcde"), 4, S("12345"), 1, 0, S("abcde")); 461 test(S("abcde"), 4, S("12345"), 1, 1, S("abcd2e")); 462 test(S("abcde"), 4, S("12345"), 1, 2, S("abcd23e")); 463 test(S("abcde"), 4, S("12345"), 1, 3, S("abcd234e")); 464 test(S("abcde"), 4, S("12345"), 1, 4, S("abcd2345e")); 465 test(S("abcde"), 4, S("12345"), 1, 5, S("abcd2345e")); 466 test(S("abcde"), 4, S("12345"), 2, 0, S("abcde")); 467 test(S("abcde"), 4, S("12345"), 2, 1, S("abcd3e")); 468 test(S("abcde"), 4, S("12345"), 2, 2, S("abcd34e")); 469 test(S("abcde"), 4, S("12345"), 2, 3, S("abcd345e")); 470 test(S("abcde"), 4, S("12345"), 2, 4, S("abcd345e")); 471 test(S("abcde"), 4, S("12345"), 4, 0, S("abcde")); 472 test(S("abcde"), 4, S("12345"), 4, 1, S("abcd5e")); 473 test(S("abcde"), 4, S("12345"), 4, 2, S("abcd5e")); 474 test(S("abcde"), 4, S("12345"), 5, 0, S("abcde")); 475 test(S("abcde"), 4, S("12345"), 5, 1, S("abcde")); 476 test(S("abcde"), 4, S("12345"), 6, 0, S("can't happen")); 477 test(S("abcde"), 4, S("1234567890"), 0, 0, S("abcde")); 478 test(S("abcde"), 4, S("1234567890"), 0, 1, S("abcd1e")); 479 test(S("abcde"), 4, S("1234567890"), 0, 5, S("abcd12345e")); 480 test(S("abcde"), 4, S("1234567890"), 0, 9, S("abcd123456789e")); 481 } 482 483 template <class S> 484 void test8() 485 { 486 test(S("abcde"), 4, S("1234567890"), 0, 10, S("abcd1234567890e")); 487 test(S("abcde"), 4, S("1234567890"), 0, 11, S("abcd1234567890e")); 488 test(S("abcde"), 4, S("1234567890"), 1, 0, S("abcde")); 489 test(S("abcde"), 4, S("1234567890"), 1, 1, S("abcd2e")); 490 test(S("abcde"), 4, S("1234567890"), 1, 4, S("abcd2345e")); 491 test(S("abcde"), 4, S("1234567890"), 1, 8, S("abcd23456789e")); 492 test(S("abcde"), 4, S("1234567890"), 1, 9, S("abcd234567890e")); 493 test(S("abcde"), 4, S("1234567890"), 1, 10, S("abcd234567890e")); 494 test(S("abcde"), 4, S("1234567890"), 5, 0, S("abcde")); 495 test(S("abcde"), 4, S("1234567890"), 5, 1, S("abcd6e")); 496 test(S("abcde"), 4, S("1234567890"), 5, 2, S("abcd67e")); 497 test(S("abcde"), 4, S("1234567890"), 5, 4, S("abcd6789e")); 498 test(S("abcde"), 4, S("1234567890"), 5, 5, S("abcd67890e")); 499 test(S("abcde"), 4, S("1234567890"), 5, 6, S("abcd67890e")); 500 test(S("abcde"), 4, S("1234567890"), 9, 0, S("abcde")); 501 test(S("abcde"), 4, S("1234567890"), 9, 1, S("abcd0e")); 502 test(S("abcde"), 4, S("1234567890"), 9, 2, S("abcd0e")); 503 test(S("abcde"), 4, S("1234567890"), 10, 0, S("abcde")); 504 test(S("abcde"), 4, S("1234567890"), 10, 1, S("abcde")); 505 test(S("abcde"), 4, S("1234567890"), 11, 0, S("can't happen")); 506 test(S("abcde"), 4, S("12345678901234567890"), 0, 0, S("abcde")); 507 test(S("abcde"), 4, S("12345678901234567890"), 0, 1, S("abcd1e")); 508 test(S("abcde"), 4, S("12345678901234567890"), 0, 10, S("abcd1234567890e")); 509 test(S("abcde"), 4, S("12345678901234567890"), 0, 19, S("abcd1234567890123456789e")); 510 test(S("abcde"), 4, S("12345678901234567890"), 0, 20, S("abcd12345678901234567890e")); 511 test(S("abcde"), 4, S("12345678901234567890"), 0, 21, S("abcd12345678901234567890e")); 512 test(S("abcde"), 4, S("12345678901234567890"), 1, 0, S("abcde")); 513 test(S("abcde"), 4, S("12345678901234567890"), 1, 1, S("abcd2e")); 514 test(S("abcde"), 4, S("12345678901234567890"), 1, 9, S("abcd234567890e")); 515 test(S("abcde"), 4, S("12345678901234567890"), 1, 18, S("abcd234567890123456789e")); 516 test(S("abcde"), 4, S("12345678901234567890"), 1, 19, S("abcd2345678901234567890e")); 517 test(S("abcde"), 4, S("12345678901234567890"), 1, 20, S("abcd2345678901234567890e")); 518 test(S("abcde"), 4, S("12345678901234567890"), 10, 0, S("abcde")); 519 test(S("abcde"), 4, S("12345678901234567890"), 10, 1, S("abcd1e")); 520 test(S("abcde"), 4, S("12345678901234567890"), 10, 5, S("abcd12345e")); 521 test(S("abcde"), 4, S("12345678901234567890"), 10, 9, S("abcd123456789e")); 522 test(S("abcde"), 4, S("12345678901234567890"), 10, 10, S("abcd1234567890e")); 523 test(S("abcde"), 4, S("12345678901234567890"), 10, 11, S("abcd1234567890e")); 524 test(S("abcde"), 4, S("12345678901234567890"), 19, 0, S("abcde")); 525 test(S("abcde"), 4, S("12345678901234567890"), 19, 1, S("abcd0e")); 526 test(S("abcde"), 4, S("12345678901234567890"), 19, 2, S("abcd0e")); 527 test(S("abcde"), 4, S("12345678901234567890"), 20, 0, S("abcde")); 528 test(S("abcde"), 4, S("12345678901234567890"), 20, 1, S("abcde")); 529 test(S("abcde"), 4, S("12345678901234567890"), 21, 0, S("can't happen")); 530 test(S("abcde"), 5, S(""), 0, 0, S("abcde")); 531 test(S("abcde"), 5, S(""), 0, 1, S("abcde")); 532 test(S("abcde"), 5, S(""), 1, 0, S("can't happen")); 533 test(S("abcde"), 5, S("12345"), 0, 0, S("abcde")); 534 test(S("abcde"), 5, S("12345"), 0, 1, S("abcde1")); 535 test(S("abcde"), 5, S("12345"), 0, 2, S("abcde12")); 536 } 537 538 template <class S> 539 void test9() 540 { 541 test(S("abcde"), 5, S("12345"), 0, 4, S("abcde1234")); 542 test(S("abcde"), 5, S("12345"), 0, 5, S("abcde12345")); 543 test(S("abcde"), 5, S("12345"), 0, 6, S("abcde12345")); 544 test(S("abcde"), 5, S("12345"), 1, 0, S("abcde")); 545 test(S("abcde"), 5, S("12345"), 1, 1, S("abcde2")); 546 test(S("abcde"), 5, S("12345"), 1, 2, S("abcde23")); 547 test(S("abcde"), 5, S("12345"), 1, 3, S("abcde234")); 548 test(S("abcde"), 5, S("12345"), 1, 4, S("abcde2345")); 549 test(S("abcde"), 5, S("12345"), 1, 5, S("abcde2345")); 550 test(S("abcde"), 5, S("12345"), 2, 0, S("abcde")); 551 test(S("abcde"), 5, S("12345"), 2, 1, S("abcde3")); 552 test(S("abcde"), 5, S("12345"), 2, 2, S("abcde34")); 553 test(S("abcde"), 5, S("12345"), 2, 3, S("abcde345")); 554 test(S("abcde"), 5, S("12345"), 2, 4, S("abcde345")); 555 test(S("abcde"), 5, S("12345"), 4, 0, S("abcde")); 556 test(S("abcde"), 5, S("12345"), 4, 1, S("abcde5")); 557 test(S("abcde"), 5, S("12345"), 4, 2, S("abcde5")); 558 test(S("abcde"), 5, S("12345"), 5, 0, S("abcde")); 559 test(S("abcde"), 5, S("12345"), 5, 1, S("abcde")); 560 test(S("abcde"), 5, S("12345"), 6, 0, S("can't happen")); 561 test(S("abcde"), 5, S("1234567890"), 0, 0, S("abcde")); 562 test(S("abcde"), 5, S("1234567890"), 0, 1, S("abcde1")); 563 test(S("abcde"), 5, S("1234567890"), 0, 5, S("abcde12345")); 564 test(S("abcde"), 5, S("1234567890"), 0, 9, S("abcde123456789")); 565 test(S("abcde"), 5, S("1234567890"), 0, 10, S("abcde1234567890")); 566 test(S("abcde"), 5, S("1234567890"), 0, 11, S("abcde1234567890")); 567 test(S("abcde"), 5, S("1234567890"), 1, 0, S("abcde")); 568 test(S("abcde"), 5, S("1234567890"), 1, 1, S("abcde2")); 569 test(S("abcde"), 5, S("1234567890"), 1, 4, S("abcde2345")); 570 test(S("abcde"), 5, S("1234567890"), 1, 8, S("abcde23456789")); 571 test(S("abcde"), 5, S("1234567890"), 1, 9, S("abcde234567890")); 572 test(S("abcde"), 5, S("1234567890"), 1, 10, S("abcde234567890")); 573 test(S("abcde"), 5, S("1234567890"), 5, 0, S("abcde")); 574 test(S("abcde"), 5, S("1234567890"), 5, 1, S("abcde6")); 575 test(S("abcde"), 5, S("1234567890"), 5, 2, S("abcde67")); 576 test(S("abcde"), 5, S("1234567890"), 5, 4, S("abcde6789")); 577 test(S("abcde"), 5, S("1234567890"), 5, 5, S("abcde67890")); 578 test(S("abcde"), 5, S("1234567890"), 5, 6, S("abcde67890")); 579 test(S("abcde"), 5, S("1234567890"), 9, 0, S("abcde")); 580 test(S("abcde"), 5, S("1234567890"), 9, 1, S("abcde0")); 581 test(S("abcde"), 5, S("1234567890"), 9, 2, S("abcde0")); 582 test(S("abcde"), 5, S("1234567890"), 10, 0, S("abcde")); 583 test(S("abcde"), 5, S("1234567890"), 10, 1, S("abcde")); 584 test(S("abcde"), 5, S("1234567890"), 11, 0, S("can't happen")); 585 test(S("abcde"), 5, S("12345678901234567890"), 0, 0, S("abcde")); 586 test(S("abcde"), 5, S("12345678901234567890"), 0, 1, S("abcde1")); 587 test(S("abcde"), 5, S("12345678901234567890"), 0, 10, S("abcde1234567890")); 588 test(S("abcde"), 5, S("12345678901234567890"), 0, 19, S("abcde1234567890123456789")); 589 test(S("abcde"), 5, S("12345678901234567890"), 0, 20, S("abcde12345678901234567890")); 590 test(S("abcde"), 5, S("12345678901234567890"), 0, 21, S("abcde12345678901234567890")); 591 } 592 593 template <class S> 594 void test10() 595 { 596 test(S("abcde"), 5, S("12345678901234567890"), 1, 0, S("abcde")); 597 test(S("abcde"), 5, S("12345678901234567890"), 1, 1, S("abcde2")); 598 test(S("abcde"), 5, S("12345678901234567890"), 1, 9, S("abcde234567890")); 599 test(S("abcde"), 5, S("12345678901234567890"), 1, 18, S("abcde234567890123456789")); 600 test(S("abcde"), 5, S("12345678901234567890"), 1, 19, S("abcde2345678901234567890")); 601 test(S("abcde"), 5, S("12345678901234567890"), 1, 20, S("abcde2345678901234567890")); 602 test(S("abcde"), 5, S("12345678901234567890"), 10, 0, S("abcde")); 603 test(S("abcde"), 5, S("12345678901234567890"), 10, 1, S("abcde1")); 604 test(S("abcde"), 5, S("12345678901234567890"), 10, 5, S("abcde12345")); 605 test(S("abcde"), 5, S("12345678901234567890"), 10, 9, S("abcde123456789")); 606 test(S("abcde"), 5, S("12345678901234567890"), 10, 10, S("abcde1234567890")); 607 test(S("abcde"), 5, S("12345678901234567890"), 10, 11, S("abcde1234567890")); 608 test(S("abcde"), 5, S("12345678901234567890"), 19, 0, S("abcde")); 609 test(S("abcde"), 5, S("12345678901234567890"), 19, 1, S("abcde0")); 610 test(S("abcde"), 5, S("12345678901234567890"), 19, 2, S("abcde0")); 611 test(S("abcde"), 5, S("12345678901234567890"), 20, 0, S("abcde")); 612 test(S("abcde"), 5, S("12345678901234567890"), 20, 1, S("abcde")); 613 test(S("abcde"), 5, S("12345678901234567890"), 21, 0, S("can't happen")); 614 test(S("abcde"), 6, S(""), 0, 0, S("can't happen")); 615 test(S("abcde"), 6, S(""), 0, 1, S("can't happen")); 616 test(S("abcde"), 6, S(""), 1, 0, S("can't happen")); 617 test(S("abcde"), 6, S("12345"), 0, 0, S("can't happen")); 618 test(S("abcde"), 6, S("12345"), 0, 1, S("can't happen")); 619 test(S("abcde"), 6, S("12345"), 0, 2, S("can't happen")); 620 test(S("abcde"), 6, S("12345"), 0, 4, S("can't happen")); 621 test(S("abcde"), 6, S("12345"), 0, 5, S("can't happen")); 622 test(S("abcde"), 6, S("12345"), 0, 6, S("can't happen")); 623 test(S("abcde"), 6, S("12345"), 1, 0, S("can't happen")); 624 test(S("abcde"), 6, S("12345"), 1, 1, S("can't happen")); 625 test(S("abcde"), 6, S("12345"), 1, 2, S("can't happen")); 626 test(S("abcde"), 6, S("12345"), 1, 3, S("can't happen")); 627 test(S("abcde"), 6, S("12345"), 1, 4, S("can't happen")); 628 test(S("abcde"), 6, S("12345"), 1, 5, S("can't happen")); 629 test(S("abcde"), 6, S("12345"), 2, 0, S("can't happen")); 630 test(S("abcde"), 6, S("12345"), 2, 1, S("can't happen")); 631 test(S("abcde"), 6, S("12345"), 2, 2, S("can't happen")); 632 test(S("abcde"), 6, S("12345"), 2, 3, S("can't happen")); 633 test(S("abcde"), 6, S("12345"), 2, 4, S("can't happen")); 634 test(S("abcde"), 6, S("12345"), 4, 0, S("can't happen")); 635 test(S("abcde"), 6, S("12345"), 4, 1, S("can't happen")); 636 test(S("abcde"), 6, S("12345"), 4, 2, S("can't happen")); 637 test(S("abcde"), 6, S("12345"), 5, 0, S("can't happen")); 638 test(S("abcde"), 6, S("12345"), 5, 1, S("can't happen")); 639 test(S("abcde"), 6, S("12345"), 6, 0, S("can't happen")); 640 test(S("abcde"), 6, S("1234567890"), 0, 0, S("can't happen")); 641 test(S("abcde"), 6, S("1234567890"), 0, 1, S("can't happen")); 642 test(S("abcde"), 6, S("1234567890"), 0, 5, S("can't happen")); 643 test(S("abcde"), 6, S("1234567890"), 0, 9, S("can't happen")); 644 test(S("abcde"), 6, S("1234567890"), 0, 10, S("can't happen")); 645 test(S("abcde"), 6, S("1234567890"), 0, 11, S("can't happen")); 646 } 647 648 template <class S> 649 void test11() 650 { 651 test(S("abcde"), 6, S("1234567890"), 1, 0, S("can't happen")); 652 test(S("abcde"), 6, S("1234567890"), 1, 1, S("can't happen")); 653 test(S("abcde"), 6, S("1234567890"), 1, 4, S("can't happen")); 654 test(S("abcde"), 6, S("1234567890"), 1, 8, S("can't happen")); 655 test(S("abcde"), 6, S("1234567890"), 1, 9, S("can't happen")); 656 test(S("abcde"), 6, S("1234567890"), 1, 10, S("can't happen")); 657 test(S("abcde"), 6, S("1234567890"), 5, 0, S("can't happen")); 658 test(S("abcde"), 6, S("1234567890"), 5, 1, S("can't happen")); 659 test(S("abcde"), 6, S("1234567890"), 5, 2, S("can't happen")); 660 test(S("abcde"), 6, S("1234567890"), 5, 4, S("can't happen")); 661 test(S("abcde"), 6, S("1234567890"), 5, 5, S("can't happen")); 662 test(S("abcde"), 6, S("1234567890"), 5, 6, S("can't happen")); 663 test(S("abcde"), 6, S("1234567890"), 9, 0, S("can't happen")); 664 test(S("abcde"), 6, S("1234567890"), 9, 1, S("can't happen")); 665 test(S("abcde"), 6, S("1234567890"), 9, 2, S("can't happen")); 666 test(S("abcde"), 6, S("1234567890"), 10, 0, S("can't happen")); 667 test(S("abcde"), 6, S("1234567890"), 10, 1, S("can't happen")); 668 test(S("abcde"), 6, S("1234567890"), 11, 0, S("can't happen")); 669 test(S("abcde"), 6, S("12345678901234567890"), 0, 0, S("can't happen")); 670 test(S("abcde"), 6, S("12345678901234567890"), 0, 1, S("can't happen")); 671 test(S("abcde"), 6, S("12345678901234567890"), 0, 10, S("can't happen")); 672 test(S("abcde"), 6, S("12345678901234567890"), 0, 19, S("can't happen")); 673 test(S("abcde"), 6, S("12345678901234567890"), 0, 20, S("can't happen")); 674 test(S("abcde"), 6, S("12345678901234567890"), 0, 21, S("can't happen")); 675 test(S("abcde"), 6, S("12345678901234567890"), 1, 0, S("can't happen")); 676 test(S("abcde"), 6, S("12345678901234567890"), 1, 1, S("can't happen")); 677 test(S("abcde"), 6, S("12345678901234567890"), 1, 9, S("can't happen")); 678 test(S("abcde"), 6, S("12345678901234567890"), 1, 18, S("can't happen")); 679 test(S("abcde"), 6, S("12345678901234567890"), 1, 19, S("can't happen")); 680 test(S("abcde"), 6, S("12345678901234567890"), 1, 20, S("can't happen")); 681 test(S("abcde"), 6, S("12345678901234567890"), 10, 0, S("can't happen")); 682 test(S("abcde"), 6, S("12345678901234567890"), 10, 1, S("can't happen")); 683 test(S("abcde"), 6, S("12345678901234567890"), 10, 5, S("can't happen")); 684 test(S("abcde"), 6, S("12345678901234567890"), 10, 9, S("can't happen")); 685 test(S("abcde"), 6, S("12345678901234567890"), 10, 10, S("can't happen")); 686 test(S("abcde"), 6, S("12345678901234567890"), 10, 11, S("can't happen")); 687 test(S("abcde"), 6, S("12345678901234567890"), 19, 0, S("can't happen")); 688 test(S("abcde"), 6, S("12345678901234567890"), 19, 1, S("can't happen")); 689 test(S("abcde"), 6, S("12345678901234567890"), 19, 2, S("can't happen")); 690 test(S("abcde"), 6, S("12345678901234567890"), 20, 0, S("can't happen")); 691 test(S("abcde"), 6, S("12345678901234567890"), 20, 1, S("can't happen")); 692 test(S("abcde"), 6, S("12345678901234567890"), 21, 0, S("can't happen")); 693 test(S("abcdefghij"), 0, S(""), 0, 0, S("abcdefghij")); 694 test(S("abcdefghij"), 0, S(""), 0, 1, S("abcdefghij")); 695 test(S("abcdefghij"), 0, S(""), 1, 0, S("can't happen")); 696 test(S("abcdefghij"), 0, S("12345"), 0, 0, S("abcdefghij")); 697 test(S("abcdefghij"), 0, S("12345"), 0, 1, S("1abcdefghij")); 698 test(S("abcdefghij"), 0, S("12345"), 0, 2, S("12abcdefghij")); 699 test(S("abcdefghij"), 0, S("12345"), 0, 4, S("1234abcdefghij")); 700 test(S("abcdefghij"), 0, S("12345"), 0, 5, S("12345abcdefghij")); 701 } 702 703 template <class S> 704 void test12() 705 { 706 test(S("abcdefghij"), 0, S("12345"), 0, 6, S("12345abcdefghij")); 707 test(S("abcdefghij"), 0, S("12345"), 1, 0, S("abcdefghij")); 708 test(S("abcdefghij"), 0, S("12345"), 1, 1, S("2abcdefghij")); 709 test(S("abcdefghij"), 0, S("12345"), 1, 2, S("23abcdefghij")); 710 test(S("abcdefghij"), 0, S("12345"), 1, 3, S("234abcdefghij")); 711 test(S("abcdefghij"), 0, S("12345"), 1, 4, S("2345abcdefghij")); 712 test(S("abcdefghij"), 0, S("12345"), 1, 5, S("2345abcdefghij")); 713 test(S("abcdefghij"), 0, S("12345"), 2, 0, S("abcdefghij")); 714 test(S("abcdefghij"), 0, S("12345"), 2, 1, S("3abcdefghij")); 715 test(S("abcdefghij"), 0, S("12345"), 2, 2, S("34abcdefghij")); 716 test(S("abcdefghij"), 0, S("12345"), 2, 3, S("345abcdefghij")); 717 test(S("abcdefghij"), 0, S("12345"), 2, 4, S("345abcdefghij")); 718 test(S("abcdefghij"), 0, S("12345"), 4, 0, S("abcdefghij")); 719 test(S("abcdefghij"), 0, S("12345"), 4, 1, S("5abcdefghij")); 720 test(S("abcdefghij"), 0, S("12345"), 4, 2, S("5abcdefghij")); 721 test(S("abcdefghij"), 0, S("12345"), 5, 0, S("abcdefghij")); 722 test(S("abcdefghij"), 0, S("12345"), 5, 1, S("abcdefghij")); 723 test(S("abcdefghij"), 0, S("12345"), 6, 0, S("can't happen")); 724 test(S("abcdefghij"), 0, S("1234567890"), 0, 0, S("abcdefghij")); 725 test(S("abcdefghij"), 0, S("1234567890"), 0, 1, S("1abcdefghij")); 726 test(S("abcdefghij"), 0, S("1234567890"), 0, 5, S("12345abcdefghij")); 727 test(S("abcdefghij"), 0, S("1234567890"), 0, 9, S("123456789abcdefghij")); 728 test(S("abcdefghij"), 0, S("1234567890"), 0, 10, S("1234567890abcdefghij")); 729 test(S("abcdefghij"), 0, S("1234567890"), 0, 11, S("1234567890abcdefghij")); 730 test(S("abcdefghij"), 0, S("1234567890"), 1, 0, S("abcdefghij")); 731 test(S("abcdefghij"), 0, S("1234567890"), 1, 1, S("2abcdefghij")); 732 test(S("abcdefghij"), 0, S("1234567890"), 1, 4, S("2345abcdefghij")); 733 test(S("abcdefghij"), 0, S("1234567890"), 1, 8, S("23456789abcdefghij")); 734 test(S("abcdefghij"), 0, S("1234567890"), 1, 9, S("234567890abcdefghij")); 735 test(S("abcdefghij"), 0, S("1234567890"), 1, 10, S("234567890abcdefghij")); 736 test(S("abcdefghij"), 0, S("1234567890"), 5, 0, S("abcdefghij")); 737 test(S("abcdefghij"), 0, S("1234567890"), 5, 1, S("6abcdefghij")); 738 test(S("abcdefghij"), 0, S("1234567890"), 5, 2, S("67abcdefghij")); 739 test(S("abcdefghij"), 0, S("1234567890"), 5, 4, S("6789abcdefghij")); 740 test(S("abcdefghij"), 0, S("1234567890"), 5, 5, S("67890abcdefghij")); 741 test(S("abcdefghij"), 0, S("1234567890"), 5, 6, S("67890abcdefghij")); 742 test(S("abcdefghij"), 0, S("1234567890"), 9, 0, S("abcdefghij")); 743 test(S("abcdefghij"), 0, S("1234567890"), 9, 1, S("0abcdefghij")); 744 test(S("abcdefghij"), 0, S("1234567890"), 9, 2, S("0abcdefghij")); 745 test(S("abcdefghij"), 0, S("1234567890"), 10, 0, S("abcdefghij")); 746 test(S("abcdefghij"), 0, S("1234567890"), 10, 1, S("abcdefghij")); 747 test(S("abcdefghij"), 0, S("1234567890"), 11, 0, S("can't happen")); 748 test(S("abcdefghij"), 0, S("12345678901234567890"), 0, 0, S("abcdefghij")); 749 test(S("abcdefghij"), 0, S("12345678901234567890"), 0, 1, S("1abcdefghij")); 750 test(S("abcdefghij"), 0, S("12345678901234567890"), 0, 10, S("1234567890abcdefghij")); 751 test(S("abcdefghij"), 0, S("12345678901234567890"), 0, 19, S("1234567890123456789abcdefghij")); 752 test(S("abcdefghij"), 0, S("12345678901234567890"), 0, 20, S("12345678901234567890abcdefghij")); 753 test(S("abcdefghij"), 0, S("12345678901234567890"), 0, 21, S("12345678901234567890abcdefghij")); 754 test(S("abcdefghij"), 0, S("12345678901234567890"), 1, 0, S("abcdefghij")); 755 test(S("abcdefghij"), 0, S("12345678901234567890"), 1, 1, S("2abcdefghij")); 756 } 757 758 template <class S> 759 void test13() 760 { 761 test(S("abcdefghij"), 0, S("12345678901234567890"), 1, 9, S("234567890abcdefghij")); 762 test(S("abcdefghij"), 0, S("12345678901234567890"), 1, 18, S("234567890123456789abcdefghij")); 763 test(S("abcdefghij"), 0, S("12345678901234567890"), 1, 19, S("2345678901234567890abcdefghij")); 764 test(S("abcdefghij"), 0, S("12345678901234567890"), 1, 20, S("2345678901234567890abcdefghij")); 765 test(S("abcdefghij"), 0, S("12345678901234567890"), 10, 0, S("abcdefghij")); 766 test(S("abcdefghij"), 0, S("12345678901234567890"), 10, 1, S("1abcdefghij")); 767 test(S("abcdefghij"), 0, S("12345678901234567890"), 10, 5, S("12345abcdefghij")); 768 test(S("abcdefghij"), 0, S("12345678901234567890"), 10, 9, S("123456789abcdefghij")); 769 test(S("abcdefghij"), 0, S("12345678901234567890"), 10, 10, S("1234567890abcdefghij")); 770 test(S("abcdefghij"), 0, S("12345678901234567890"), 10, 11, S("1234567890abcdefghij")); 771 test(S("abcdefghij"), 0, S("12345678901234567890"), 19, 0, S("abcdefghij")); 772 test(S("abcdefghij"), 0, S("12345678901234567890"), 19, 1, S("0abcdefghij")); 773 test(S("abcdefghij"), 0, S("12345678901234567890"), 19, 2, S("0abcdefghij")); 774 test(S("abcdefghij"), 0, S("12345678901234567890"), 20, 0, S("abcdefghij")); 775 test(S("abcdefghij"), 0, S("12345678901234567890"), 20, 1, S("abcdefghij")); 776 test(S("abcdefghij"), 0, S("12345678901234567890"), 21, 0, S("can't happen")); 777 test(S("abcdefghij"), 1, S(""), 0, 0, S("abcdefghij")); 778 test(S("abcdefghij"), 1, S(""), 0, 1, S("abcdefghij")); 779 test(S("abcdefghij"), 1, S(""), 1, 0, S("can't happen")); 780 test(S("abcdefghij"), 1, S("12345"), 0, 0, S("abcdefghij")); 781 test(S("abcdefghij"), 1, S("12345"), 0, 1, S("a1bcdefghij")); 782 test(S("abcdefghij"), 1, S("12345"), 0, 2, S("a12bcdefghij")); 783 test(S("abcdefghij"), 1, S("12345"), 0, 4, S("a1234bcdefghij")); 784 test(S("abcdefghij"), 1, S("12345"), 0, 5, S("a12345bcdefghij")); 785 test(S("abcdefghij"), 1, S("12345"), 0, 6, S("a12345bcdefghij")); 786 test(S("abcdefghij"), 1, S("12345"), 1, 0, S("abcdefghij")); 787 test(S("abcdefghij"), 1, S("12345"), 1, 1, S("a2bcdefghij")); 788 test(S("abcdefghij"), 1, S("12345"), 1, 2, S("a23bcdefghij")); 789 test(S("abcdefghij"), 1, S("12345"), 1, 3, S("a234bcdefghij")); 790 test(S("abcdefghij"), 1, S("12345"), 1, 4, S("a2345bcdefghij")); 791 test(S("abcdefghij"), 1, S("12345"), 1, 5, S("a2345bcdefghij")); 792 test(S("abcdefghij"), 1, S("12345"), 2, 0, S("abcdefghij")); 793 test(S("abcdefghij"), 1, S("12345"), 2, 1, S("a3bcdefghij")); 794 test(S("abcdefghij"), 1, S("12345"), 2, 2, S("a34bcdefghij")); 795 test(S("abcdefghij"), 1, S("12345"), 2, 3, S("a345bcdefghij")); 796 test(S("abcdefghij"), 1, S("12345"), 2, 4, S("a345bcdefghij")); 797 test(S("abcdefghij"), 1, S("12345"), 4, 0, S("abcdefghij")); 798 test(S("abcdefghij"), 1, S("12345"), 4, 1, S("a5bcdefghij")); 799 test(S("abcdefghij"), 1, S("12345"), 4, 2, S("a5bcdefghij")); 800 test(S("abcdefghij"), 1, S("12345"), 5, 0, S("abcdefghij")); 801 test(S("abcdefghij"), 1, S("12345"), 5, 1, S("abcdefghij")); 802 test(S("abcdefghij"), 1, S("12345"), 6, 0, S("can't happen")); 803 test(S("abcdefghij"), 1, S("1234567890"), 0, 0, S("abcdefghij")); 804 test(S("abcdefghij"), 1, S("1234567890"), 0, 1, S("a1bcdefghij")); 805 test(S("abcdefghij"), 1, S("1234567890"), 0, 5, S("a12345bcdefghij")); 806 test(S("abcdefghij"), 1, S("1234567890"), 0, 9, S("a123456789bcdefghij")); 807 test(S("abcdefghij"), 1, S("1234567890"), 0, 10, S("a1234567890bcdefghij")); 808 test(S("abcdefghij"), 1, S("1234567890"), 0, 11, S("a1234567890bcdefghij")); 809 test(S("abcdefghij"), 1, S("1234567890"), 1, 0, S("abcdefghij")); 810 test(S("abcdefghij"), 1, S("1234567890"), 1, 1, S("a2bcdefghij")); 811 } 812 813 template <class S> 814 void test14() 815 { 816 test(S("abcdefghij"), 1, S("1234567890"), 1, 4, S("a2345bcdefghij")); 817 test(S("abcdefghij"), 1, S("1234567890"), 1, 8, S("a23456789bcdefghij")); 818 test(S("abcdefghij"), 1, S("1234567890"), 1, 9, S("a234567890bcdefghij")); 819 test(S("abcdefghij"), 1, S("1234567890"), 1, 10, S("a234567890bcdefghij")); 820 test(S("abcdefghij"), 1, S("1234567890"), 5, 0, S("abcdefghij")); 821 test(S("abcdefghij"), 1, S("1234567890"), 5, 1, S("a6bcdefghij")); 822 test(S("abcdefghij"), 1, S("1234567890"), 5, 2, S("a67bcdefghij")); 823 test(S("abcdefghij"), 1, S("1234567890"), 5, 4, S("a6789bcdefghij")); 824 test(S("abcdefghij"), 1, S("1234567890"), 5, 5, S("a67890bcdefghij")); 825 test(S("abcdefghij"), 1, S("1234567890"), 5, 6, S("a67890bcdefghij")); 826 test(S("abcdefghij"), 1, S("1234567890"), 9, 0, S("abcdefghij")); 827 test(S("abcdefghij"), 1, S("1234567890"), 9, 1, S("a0bcdefghij")); 828 test(S("abcdefghij"), 1, S("1234567890"), 9, 2, S("a0bcdefghij")); 829 test(S("abcdefghij"), 1, S("1234567890"), 10, 0, S("abcdefghij")); 830 test(S("abcdefghij"), 1, S("1234567890"), 10, 1, S("abcdefghij")); 831 test(S("abcdefghij"), 1, S("1234567890"), 11, 0, S("can't happen")); 832 test(S("abcdefghij"), 1, S("12345678901234567890"), 0, 0, S("abcdefghij")); 833 test(S("abcdefghij"), 1, S("12345678901234567890"), 0, 1, S("a1bcdefghij")); 834 test(S("abcdefghij"), 1, S("12345678901234567890"), 0, 10, S("a1234567890bcdefghij")); 835 test(S("abcdefghij"), 1, S("12345678901234567890"), 0, 19, S("a1234567890123456789bcdefghij")); 836 test(S("abcdefghij"), 1, S("12345678901234567890"), 0, 20, S("a12345678901234567890bcdefghij")); 837 test(S("abcdefghij"), 1, S("12345678901234567890"), 0, 21, S("a12345678901234567890bcdefghij")); 838 test(S("abcdefghij"), 1, S("12345678901234567890"), 1, 0, S("abcdefghij")); 839 test(S("abcdefghij"), 1, S("12345678901234567890"), 1, 1, S("a2bcdefghij")); 840 test(S("abcdefghij"), 1, S("12345678901234567890"), 1, 9, S("a234567890bcdefghij")); 841 test(S("abcdefghij"), 1, S("12345678901234567890"), 1, 18, S("a234567890123456789bcdefghij")); 842 test(S("abcdefghij"), 1, S("12345678901234567890"), 1, 19, S("a2345678901234567890bcdefghij")); 843 test(S("abcdefghij"), 1, S("12345678901234567890"), 1, 20, S("a2345678901234567890bcdefghij")); 844 test(S("abcdefghij"), 1, S("12345678901234567890"), 10, 0, S("abcdefghij")); 845 test(S("abcdefghij"), 1, S("12345678901234567890"), 10, 1, S("a1bcdefghij")); 846 test(S("abcdefghij"), 1, S("12345678901234567890"), 10, 5, S("a12345bcdefghij")); 847 test(S("abcdefghij"), 1, S("12345678901234567890"), 10, 9, S("a123456789bcdefghij")); 848 test(S("abcdefghij"), 1, S("12345678901234567890"), 10, 10, S("a1234567890bcdefghij")); 849 test(S("abcdefghij"), 1, S("12345678901234567890"), 10, 11, S("a1234567890bcdefghij")); 850 test(S("abcdefghij"), 1, S("12345678901234567890"), 19, 0, S("abcdefghij")); 851 test(S("abcdefghij"), 1, S("12345678901234567890"), 19, 1, S("a0bcdefghij")); 852 test(S("abcdefghij"), 1, S("12345678901234567890"), 19, 2, S("a0bcdefghij")); 853 test(S("abcdefghij"), 1, S("12345678901234567890"), 20, 0, S("abcdefghij")); 854 test(S("abcdefghij"), 1, S("12345678901234567890"), 20, 1, S("abcdefghij")); 855 test(S("abcdefghij"), 1, S("12345678901234567890"), 21, 0, S("can't happen")); 856 test(S("abcdefghij"), 5, S(""), 0, 0, S("abcdefghij")); 857 test(S("abcdefghij"), 5, S(""), 0, 1, S("abcdefghij")); 858 test(S("abcdefghij"), 5, S(""), 1, 0, S("can't happen")); 859 test(S("abcdefghij"), 5, S("12345"), 0, 0, S("abcdefghij")); 860 test(S("abcdefghij"), 5, S("12345"), 0, 1, S("abcde1fghij")); 861 test(S("abcdefghij"), 5, S("12345"), 0, 2, S("abcde12fghij")); 862 test(S("abcdefghij"), 5, S("12345"), 0, 4, S("abcde1234fghij")); 863 test(S("abcdefghij"), 5, S("12345"), 0, 5, S("abcde12345fghij")); 864 test(S("abcdefghij"), 5, S("12345"), 0, 6, S("abcde12345fghij")); 865 test(S("abcdefghij"), 5, S("12345"), 1, 0, S("abcdefghij")); 866 } 867 868 template <class S> 869 void test15() 870 { 871 test(S("abcdefghij"), 5, S("12345"), 1, 1, S("abcde2fghij")); 872 test(S("abcdefghij"), 5, S("12345"), 1, 2, S("abcde23fghij")); 873 test(S("abcdefghij"), 5, S("12345"), 1, 3, S("abcde234fghij")); 874 test(S("abcdefghij"), 5, S("12345"), 1, 4, S("abcde2345fghij")); 875 test(S("abcdefghij"), 5, S("12345"), 1, 5, S("abcde2345fghij")); 876 test(S("abcdefghij"), 5, S("12345"), 2, 0, S("abcdefghij")); 877 test(S("abcdefghij"), 5, S("12345"), 2, 1, S("abcde3fghij")); 878 test(S("abcdefghij"), 5, S("12345"), 2, 2, S("abcde34fghij")); 879 test(S("abcdefghij"), 5, S("12345"), 2, 3, S("abcde345fghij")); 880 test(S("abcdefghij"), 5, S("12345"), 2, 4, S("abcde345fghij")); 881 test(S("abcdefghij"), 5, S("12345"), 4, 0, S("abcdefghij")); 882 test(S("abcdefghij"), 5, S("12345"), 4, 1, S("abcde5fghij")); 883 test(S("abcdefghij"), 5, S("12345"), 4, 2, S("abcde5fghij")); 884 test(S("abcdefghij"), 5, S("12345"), 5, 0, S("abcdefghij")); 885 test(S("abcdefghij"), 5, S("12345"), 5, 1, S("abcdefghij")); 886 test(S("abcdefghij"), 5, S("12345"), 6, 0, S("can't happen")); 887 test(S("abcdefghij"), 5, S("1234567890"), 0, 0, S("abcdefghij")); 888 test(S("abcdefghij"), 5, S("1234567890"), 0, 1, S("abcde1fghij")); 889 test(S("abcdefghij"), 5, S("1234567890"), 0, 5, S("abcde12345fghij")); 890 test(S("abcdefghij"), 5, S("1234567890"), 0, 9, S("abcde123456789fghij")); 891 test(S("abcdefghij"), 5, S("1234567890"), 0, 10, S("abcde1234567890fghij")); 892 test(S("abcdefghij"), 5, S("1234567890"), 0, 11, S("abcde1234567890fghij")); 893 test(S("abcdefghij"), 5, S("1234567890"), 1, 0, S("abcdefghij")); 894 test(S("abcdefghij"), 5, S("1234567890"), 1, 1, S("abcde2fghij")); 895 test(S("abcdefghij"), 5, S("1234567890"), 1, 4, S("abcde2345fghij")); 896 test(S("abcdefghij"), 5, S("1234567890"), 1, 8, S("abcde23456789fghij")); 897 test(S("abcdefghij"), 5, S("1234567890"), 1, 9, S("abcde234567890fghij")); 898 test(S("abcdefghij"), 5, S("1234567890"), 1, 10, S("abcde234567890fghij")); 899 test(S("abcdefghij"), 5, S("1234567890"), 5, 0, S("abcdefghij")); 900 test(S("abcdefghij"), 5, S("1234567890"), 5, 1, S("abcde6fghij")); 901 test(S("abcdefghij"), 5, S("1234567890"), 5, 2, S("abcde67fghij")); 902 test(S("abcdefghij"), 5, S("1234567890"), 5, 4, S("abcde6789fghij")); 903 test(S("abcdefghij"), 5, S("1234567890"), 5, 5, S("abcde67890fghij")); 904 test(S("abcdefghij"), 5, S("1234567890"), 5, 6, S("abcde67890fghij")); 905 test(S("abcdefghij"), 5, S("1234567890"), 9, 0, S("abcdefghij")); 906 test(S("abcdefghij"), 5, S("1234567890"), 9, 1, S("abcde0fghij")); 907 test(S("abcdefghij"), 5, S("1234567890"), 9, 2, S("abcde0fghij")); 908 test(S("abcdefghij"), 5, S("1234567890"), 10, 0, S("abcdefghij")); 909 test(S("abcdefghij"), 5, S("1234567890"), 10, 1, S("abcdefghij")); 910 test(S("abcdefghij"), 5, S("1234567890"), 11, 0, S("can't happen")); 911 test(S("abcdefghij"), 5, S("12345678901234567890"), 0, 0, S("abcdefghij")); 912 test(S("abcdefghij"), 5, S("12345678901234567890"), 0, 1, S("abcde1fghij")); 913 test(S("abcdefghij"), 5, S("12345678901234567890"), 0, 10, S("abcde1234567890fghij")); 914 test(S("abcdefghij"), 5, S("12345678901234567890"), 0, 19, S("abcde1234567890123456789fghij")); 915 test(S("abcdefghij"), 5, S("12345678901234567890"), 0, 20, S("abcde12345678901234567890fghij")); 916 test(S("abcdefghij"), 5, S("12345678901234567890"), 0, 21, S("abcde12345678901234567890fghij")); 917 test(S("abcdefghij"), 5, S("12345678901234567890"), 1, 0, S("abcdefghij")); 918 test(S("abcdefghij"), 5, S("12345678901234567890"), 1, 1, S("abcde2fghij")); 919 test(S("abcdefghij"), 5, S("12345678901234567890"), 1, 9, S("abcde234567890fghij")); 920 test(S("abcdefghij"), 5, S("12345678901234567890"), 1, 18, S("abcde234567890123456789fghij")); 921 } 922 923 template <class S> 924 void test16() 925 { 926 test(S("abcdefghij"), 5, S("12345678901234567890"), 1, 19, S("abcde2345678901234567890fghij")); 927 test(S("abcdefghij"), 5, S("12345678901234567890"), 1, 20, S("abcde2345678901234567890fghij")); 928 test(S("abcdefghij"), 5, S("12345678901234567890"), 10, 0, S("abcdefghij")); 929 test(S("abcdefghij"), 5, S("12345678901234567890"), 10, 1, S("abcde1fghij")); 930 test(S("abcdefghij"), 5, S("12345678901234567890"), 10, 5, S("abcde12345fghij")); 931 test(S("abcdefghij"), 5, S("12345678901234567890"), 10, 9, S("abcde123456789fghij")); 932 test(S("abcdefghij"), 5, S("12345678901234567890"), 10, 10, S("abcde1234567890fghij")); 933 test(S("abcdefghij"), 5, S("12345678901234567890"), 10, 11, S("abcde1234567890fghij")); 934 test(S("abcdefghij"), 5, S("12345678901234567890"), 19, 0, S("abcdefghij")); 935 test(S("abcdefghij"), 5, S("12345678901234567890"), 19, 1, S("abcde0fghij")); 936 test(S("abcdefghij"), 5, S("12345678901234567890"), 19, 2, S("abcde0fghij")); 937 test(S("abcdefghij"), 5, S("12345678901234567890"), 20, 0, S("abcdefghij")); 938 test(S("abcdefghij"), 5, S("12345678901234567890"), 20, 1, S("abcdefghij")); 939 test(S("abcdefghij"), 5, S("12345678901234567890"), 21, 0, S("can't happen")); 940 test(S("abcdefghij"), 9, S(""), 0, 0, S("abcdefghij")); 941 test(S("abcdefghij"), 9, S(""), 0, 1, S("abcdefghij")); 942 test(S("abcdefghij"), 9, S(""), 1, 0, S("can't happen")); 943 test(S("abcdefghij"), 9, S("12345"), 0, 0, S("abcdefghij")); 944 test(S("abcdefghij"), 9, S("12345"), 0, 1, S("abcdefghi1j")); 945 test(S("abcdefghij"), 9, S("12345"), 0, 2, S("abcdefghi12j")); 946 test(S("abcdefghij"), 9, S("12345"), 0, 4, S("abcdefghi1234j")); 947 test(S("abcdefghij"), 9, S("12345"), 0, 5, S("abcdefghi12345j")); 948 test(S("abcdefghij"), 9, S("12345"), 0, 6, S("abcdefghi12345j")); 949 test(S("abcdefghij"), 9, S("12345"), 1, 0, S("abcdefghij")); 950 test(S("abcdefghij"), 9, S("12345"), 1, 1, S("abcdefghi2j")); 951 test(S("abcdefghij"), 9, S("12345"), 1, 2, S("abcdefghi23j")); 952 test(S("abcdefghij"), 9, S("12345"), 1, 3, S("abcdefghi234j")); 953 test(S("abcdefghij"), 9, S("12345"), 1, 4, S("abcdefghi2345j")); 954 test(S("abcdefghij"), 9, S("12345"), 1, 5, S("abcdefghi2345j")); 955 test(S("abcdefghij"), 9, S("12345"), 2, 0, S("abcdefghij")); 956 test(S("abcdefghij"), 9, S("12345"), 2, 1, S("abcdefghi3j")); 957 test(S("abcdefghij"), 9, S("12345"), 2, 2, S("abcdefghi34j")); 958 test(S("abcdefghij"), 9, S("12345"), 2, 3, S("abcdefghi345j")); 959 test(S("abcdefghij"), 9, S("12345"), 2, 4, S("abcdefghi345j")); 960 test(S("abcdefghij"), 9, S("12345"), 4, 0, S("abcdefghij")); 961 test(S("abcdefghij"), 9, S("12345"), 4, 1, S("abcdefghi5j")); 962 test(S("abcdefghij"), 9, S("12345"), 4, 2, S("abcdefghi5j")); 963 test(S("abcdefghij"), 9, S("12345"), 5, 0, S("abcdefghij")); 964 test(S("abcdefghij"), 9, S("12345"), 5, 1, S("abcdefghij")); 965 test(S("abcdefghij"), 9, S("12345"), 6, 0, S("can't happen")); 966 test(S("abcdefghij"), 9, S("1234567890"), 0, 0, S("abcdefghij")); 967 test(S("abcdefghij"), 9, S("1234567890"), 0, 1, S("abcdefghi1j")); 968 test(S("abcdefghij"), 9, S("1234567890"), 0, 5, S("abcdefghi12345j")); 969 test(S("abcdefghij"), 9, S("1234567890"), 0, 9, S("abcdefghi123456789j")); 970 test(S("abcdefghij"), 9, S("1234567890"), 0, 10, S("abcdefghi1234567890j")); 971 test(S("abcdefghij"), 9, S("1234567890"), 0, 11, S("abcdefghi1234567890j")); 972 test(S("abcdefghij"), 9, S("1234567890"), 1, 0, S("abcdefghij")); 973 test(S("abcdefghij"), 9, S("1234567890"), 1, 1, S("abcdefghi2j")); 974 test(S("abcdefghij"), 9, S("1234567890"), 1, 4, S("abcdefghi2345j")); 975 test(S("abcdefghij"), 9, S("1234567890"), 1, 8, S("abcdefghi23456789j")); 976 } 977 978 template <class S> 979 void test17() 980 { 981 test(S("abcdefghij"), 9, S("1234567890"), 1, 9, S("abcdefghi234567890j")); 982 test(S("abcdefghij"), 9, S("1234567890"), 1, 10, S("abcdefghi234567890j")); 983 test(S("abcdefghij"), 9, S("1234567890"), 5, 0, S("abcdefghij")); 984 test(S("abcdefghij"), 9, S("1234567890"), 5, 1, S("abcdefghi6j")); 985 test(S("abcdefghij"), 9, S("1234567890"), 5, 2, S("abcdefghi67j")); 986 test(S("abcdefghij"), 9, S("1234567890"), 5, 4, S("abcdefghi6789j")); 987 test(S("abcdefghij"), 9, S("1234567890"), 5, 5, S("abcdefghi67890j")); 988 test(S("abcdefghij"), 9, S("1234567890"), 5, 6, S("abcdefghi67890j")); 989 test(S("abcdefghij"), 9, S("1234567890"), 9, 0, S("abcdefghij")); 990 test(S("abcdefghij"), 9, S("1234567890"), 9, 1, S("abcdefghi0j")); 991 test(S("abcdefghij"), 9, S("1234567890"), 9, 2, S("abcdefghi0j")); 992 test(S("abcdefghij"), 9, S("1234567890"), 10, 0, S("abcdefghij")); 993 test(S("abcdefghij"), 9, S("1234567890"), 10, 1, S("abcdefghij")); 994 test(S("abcdefghij"), 9, S("1234567890"), 11, 0, S("can't happen")); 995 test(S("abcdefghij"), 9, S("12345678901234567890"), 0, 0, S("abcdefghij")); 996 test(S("abcdefghij"), 9, S("12345678901234567890"), 0, 1, S("abcdefghi1j")); 997 test(S("abcdefghij"), 9, S("12345678901234567890"), 0, 10, S("abcdefghi1234567890j")); 998 test(S("abcdefghij"), 9, S("12345678901234567890"), 0, 19, S("abcdefghi1234567890123456789j")); 999 test(S("abcdefghij"), 9, S("12345678901234567890"), 0, 20, S("abcdefghi12345678901234567890j")); 1000 test(S("abcdefghij"), 9, S("12345678901234567890"), 0, 21, S("abcdefghi12345678901234567890j")); 1001 test(S("abcdefghij"), 9, S("12345678901234567890"), 1, 0, S("abcdefghij")); 1002 test(S("abcdefghij"), 9, S("12345678901234567890"), 1, 1, S("abcdefghi2j")); 1003 test(S("abcdefghij"), 9, S("12345678901234567890"), 1, 9, S("abcdefghi234567890j")); 1004 test(S("abcdefghij"), 9, S("12345678901234567890"), 1, 18, S("abcdefghi234567890123456789j")); 1005 test(S("abcdefghij"), 9, S("12345678901234567890"), 1, 19, S("abcdefghi2345678901234567890j")); 1006 test(S("abcdefghij"), 9, S("12345678901234567890"), 1, 20, S("abcdefghi2345678901234567890j")); 1007 test(S("abcdefghij"), 9, S("12345678901234567890"), 10, 0, S("abcdefghij")); 1008 test(S("abcdefghij"), 9, S("12345678901234567890"), 10, 1, S("abcdefghi1j")); 1009 test(S("abcdefghij"), 9, S("12345678901234567890"), 10, 5, S("abcdefghi12345j")); 1010 test(S("abcdefghij"), 9, S("12345678901234567890"), 10, 9, S("abcdefghi123456789j")); 1011 test(S("abcdefghij"), 9, S("12345678901234567890"), 10, 10, S("abcdefghi1234567890j")); 1012 test(S("abcdefghij"), 9, S("12345678901234567890"), 10, 11, S("abcdefghi1234567890j")); 1013 test(S("abcdefghij"), 9, S("12345678901234567890"), 19, 0, S("abcdefghij")); 1014 test(S("abcdefghij"), 9, S("12345678901234567890"), 19, 1, S("abcdefghi0j")); 1015 test(S("abcdefghij"), 9, S("12345678901234567890"), 19, 2, S("abcdefghi0j")); 1016 test(S("abcdefghij"), 9, S("12345678901234567890"), 20, 0, S("abcdefghij")); 1017 test(S("abcdefghij"), 9, S("12345678901234567890"), 20, 1, S("abcdefghij")); 1018 test(S("abcdefghij"), 9, S("12345678901234567890"), 21, 0, S("can't happen")); 1019 test(S("abcdefghij"), 10, S(""), 0, 0, S("abcdefghij")); 1020 test(S("abcdefghij"), 10, S(""), 0, 1, S("abcdefghij")); 1021 test(S("abcdefghij"), 10, S(""), 1, 0, S("can't happen")); 1022 test(S("abcdefghij"), 10, S("12345"), 0, 0, S("abcdefghij")); 1023 test(S("abcdefghij"), 10, S("12345"), 0, 1, S("abcdefghij1")); 1024 test(S("abcdefghij"), 10, S("12345"), 0, 2, S("abcdefghij12")); 1025 test(S("abcdefghij"), 10, S("12345"), 0, 4, S("abcdefghij1234")); 1026 test(S("abcdefghij"), 10, S("12345"), 0, 5, S("abcdefghij12345")); 1027 test(S("abcdefghij"), 10, S("12345"), 0, 6, S("abcdefghij12345")); 1028 test(S("abcdefghij"), 10, S("12345"), 1, 0, S("abcdefghij")); 1029 test(S("abcdefghij"), 10, S("12345"), 1, 1, S("abcdefghij2")); 1030 test(S("abcdefghij"), 10, S("12345"), 1, 2, S("abcdefghij23")); 1031 } 1032 1033 template <class S> 1034 void test18() 1035 { 1036 test(S("abcdefghij"), 10, S("12345"), 1, 3, S("abcdefghij234")); 1037 test(S("abcdefghij"), 10, S("12345"), 1, 4, S("abcdefghij2345")); 1038 test(S("abcdefghij"), 10, S("12345"), 1, 5, S("abcdefghij2345")); 1039 test(S("abcdefghij"), 10, S("12345"), 2, 0, S("abcdefghij")); 1040 test(S("abcdefghij"), 10, S("12345"), 2, 1, S("abcdefghij3")); 1041 test(S("abcdefghij"), 10, S("12345"), 2, 2, S("abcdefghij34")); 1042 test(S("abcdefghij"), 10, S("12345"), 2, 3, S("abcdefghij345")); 1043 test(S("abcdefghij"), 10, S("12345"), 2, 4, S("abcdefghij345")); 1044 test(S("abcdefghij"), 10, S("12345"), 4, 0, S("abcdefghij")); 1045 test(S("abcdefghij"), 10, S("12345"), 4, 1, S("abcdefghij5")); 1046 test(S("abcdefghij"), 10, S("12345"), 4, 2, S("abcdefghij5")); 1047 test(S("abcdefghij"), 10, S("12345"), 5, 0, S("abcdefghij")); 1048 test(S("abcdefghij"), 10, S("12345"), 5, 1, S("abcdefghij")); 1049 test(S("abcdefghij"), 10, S("12345"), 6, 0, S("can't happen")); 1050 test(S("abcdefghij"), 10, S("1234567890"), 0, 0, S("abcdefghij")); 1051 test(S("abcdefghij"), 10, S("1234567890"), 0, 1, S("abcdefghij1")); 1052 test(S("abcdefghij"), 10, S("1234567890"), 0, 5, S("abcdefghij12345")); 1053 test(S("abcdefghij"), 10, S("1234567890"), 0, 9, S("abcdefghij123456789")); 1054 test(S("abcdefghij"), 10, S("1234567890"), 0, 10, S("abcdefghij1234567890")); 1055 test(S("abcdefghij"), 10, S("1234567890"), 0, 11, S("abcdefghij1234567890")); 1056 test(S("abcdefghij"), 10, S("1234567890"), 1, 0, S("abcdefghij")); 1057 test(S("abcdefghij"), 10, S("1234567890"), 1, 1, S("abcdefghij2")); 1058 test(S("abcdefghij"), 10, S("1234567890"), 1, 4, S("abcdefghij2345")); 1059 test(S("abcdefghij"), 10, S("1234567890"), 1, 8, S("abcdefghij23456789")); 1060 test(S("abcdefghij"), 10, S("1234567890"), 1, 9, S("abcdefghij234567890")); 1061 test(S("abcdefghij"), 10, S("1234567890"), 1, 10, S("abcdefghij234567890")); 1062 test(S("abcdefghij"), 10, S("1234567890"), 5, 0, S("abcdefghij")); 1063 test(S("abcdefghij"), 10, S("1234567890"), 5, 1, S("abcdefghij6")); 1064 test(S("abcdefghij"), 10, S("1234567890"), 5, 2, S("abcdefghij67")); 1065 test(S("abcdefghij"), 10, S("1234567890"), 5, 4, S("abcdefghij6789")); 1066 test(S("abcdefghij"), 10, S("1234567890"), 5, 5, S("abcdefghij67890")); 1067 test(S("abcdefghij"), 10, S("1234567890"), 5, 6, S("abcdefghij67890")); 1068 test(S("abcdefghij"), 10, S("1234567890"), 9, 0, S("abcdefghij")); 1069 test(S("abcdefghij"), 10, S("1234567890"), 9, 1, S("abcdefghij0")); 1070 test(S("abcdefghij"), 10, S("1234567890"), 9, 2, S("abcdefghij0")); 1071 test(S("abcdefghij"), 10, S("1234567890"), 10, 0, S("abcdefghij")); 1072 test(S("abcdefghij"), 10, S("1234567890"), 10, 1, S("abcdefghij")); 1073 test(S("abcdefghij"), 10, S("1234567890"), 11, 0, S("can't happen")); 1074 test(S("abcdefghij"), 10, S("12345678901234567890"), 0, 0, S("abcdefghij")); 1075 test(S("abcdefghij"), 10, S("12345678901234567890"), 0, 1, S("abcdefghij1")); 1076 test(S("abcdefghij"), 10, S("12345678901234567890"), 0, 10, S("abcdefghij1234567890")); 1077 test(S("abcdefghij"), 10, S("12345678901234567890"), 0, 19, S("abcdefghij1234567890123456789")); 1078 test(S("abcdefghij"), 10, S("12345678901234567890"), 0, 20, S("abcdefghij12345678901234567890")); 1079 test(S("abcdefghij"), 10, S("12345678901234567890"), 0, 21, S("abcdefghij12345678901234567890")); 1080 test(S("abcdefghij"), 10, S("12345678901234567890"), 1, 0, S("abcdefghij")); 1081 test(S("abcdefghij"), 10, S("12345678901234567890"), 1, 1, S("abcdefghij2")); 1082 test(S("abcdefghij"), 10, S("12345678901234567890"), 1, 9, S("abcdefghij234567890")); 1083 test(S("abcdefghij"), 10, S("12345678901234567890"), 1, 18, S("abcdefghij234567890123456789")); 1084 test(S("abcdefghij"), 10, S("12345678901234567890"), 1, 19, S("abcdefghij2345678901234567890")); 1085 test(S("abcdefghij"), 10, S("12345678901234567890"), 1, 20, S("abcdefghij2345678901234567890")); 1086 } 1087 1088 template <class S> 1089 void test19() 1090 { 1091 test(S("abcdefghij"), 10, S("12345678901234567890"), 10, 0, S("abcdefghij")); 1092 test(S("abcdefghij"), 10, S("12345678901234567890"), 10, 1, S("abcdefghij1")); 1093 test(S("abcdefghij"), 10, S("12345678901234567890"), 10, 5, S("abcdefghij12345")); 1094 test(S("abcdefghij"), 10, S("12345678901234567890"), 10, 9, S("abcdefghij123456789")); 1095 test(S("abcdefghij"), 10, S("12345678901234567890"), 10, 10, S("abcdefghij1234567890")); 1096 test(S("abcdefghij"), 10, S("12345678901234567890"), 10, 11, S("abcdefghij1234567890")); 1097 test(S("abcdefghij"), 10, S("12345678901234567890"), 19, 0, S("abcdefghij")); 1098 test(S("abcdefghij"), 10, S("12345678901234567890"), 19, 1, S("abcdefghij0")); 1099 test(S("abcdefghij"), 10, S("12345678901234567890"), 19, 2, S("abcdefghij0")); 1100 test(S("abcdefghij"), 10, S("12345678901234567890"), 20, 0, S("abcdefghij")); 1101 test(S("abcdefghij"), 10, S("12345678901234567890"), 20, 1, S("abcdefghij")); 1102 test(S("abcdefghij"), 10, S("12345678901234567890"), 21, 0, S("can't happen")); 1103 test(S("abcdefghij"), 11, S(""), 0, 0, S("can't happen")); 1104 test(S("abcdefghij"), 11, S(""), 0, 1, S("can't happen")); 1105 test(S("abcdefghij"), 11, S(""), 1, 0, S("can't happen")); 1106 test(S("abcdefghij"), 11, S("12345"), 0, 0, S("can't happen")); 1107 test(S("abcdefghij"), 11, S("12345"), 0, 1, S("can't happen")); 1108 test(S("abcdefghij"), 11, S("12345"), 0, 2, S("can't happen")); 1109 test(S("abcdefghij"), 11, S("12345"), 0, 4, S("can't happen")); 1110 test(S("abcdefghij"), 11, S("12345"), 0, 5, S("can't happen")); 1111 test(S("abcdefghij"), 11, S("12345"), 0, 6, S("can't happen")); 1112 test(S("abcdefghij"), 11, S("12345"), 1, 0, S("can't happen")); 1113 test(S("abcdefghij"), 11, S("12345"), 1, 1, S("can't happen")); 1114 test(S("abcdefghij"), 11, S("12345"), 1, 2, S("can't happen")); 1115 test(S("abcdefghij"), 11, S("12345"), 1, 3, S("can't happen")); 1116 test(S("abcdefghij"), 11, S("12345"), 1, 4, S("can't happen")); 1117 test(S("abcdefghij"), 11, S("12345"), 1, 5, S("can't happen")); 1118 test(S("abcdefghij"), 11, S("12345"), 2, 0, S("can't happen")); 1119 test(S("abcdefghij"), 11, S("12345"), 2, 1, S("can't happen")); 1120 test(S("abcdefghij"), 11, S("12345"), 2, 2, S("can't happen")); 1121 test(S("abcdefghij"), 11, S("12345"), 2, 3, S("can't happen")); 1122 test(S("abcdefghij"), 11, S("12345"), 2, 4, S("can't happen")); 1123 test(S("abcdefghij"), 11, S("12345"), 4, 0, S("can't happen")); 1124 test(S("abcdefghij"), 11, S("12345"), 4, 1, S("can't happen")); 1125 test(S("abcdefghij"), 11, S("12345"), 4, 2, S("can't happen")); 1126 test(S("abcdefghij"), 11, S("12345"), 5, 0, S("can't happen")); 1127 test(S("abcdefghij"), 11, S("12345"), 5, 1, S("can't happen")); 1128 test(S("abcdefghij"), 11, S("12345"), 6, 0, S("can't happen")); 1129 test(S("abcdefghij"), 11, S("1234567890"), 0, 0, S("can't happen")); 1130 test(S("abcdefghij"), 11, S("1234567890"), 0, 1, S("can't happen")); 1131 test(S("abcdefghij"), 11, S("1234567890"), 0, 5, S("can't happen")); 1132 test(S("abcdefghij"), 11, S("1234567890"), 0, 9, S("can't happen")); 1133 test(S("abcdefghij"), 11, S("1234567890"), 0, 10, S("can't happen")); 1134 test(S("abcdefghij"), 11, S("1234567890"), 0, 11, S("can't happen")); 1135 test(S("abcdefghij"), 11, S("1234567890"), 1, 0, S("can't happen")); 1136 test(S("abcdefghij"), 11, S("1234567890"), 1, 1, S("can't happen")); 1137 test(S("abcdefghij"), 11, S("1234567890"), 1, 4, S("can't happen")); 1138 test(S("abcdefghij"), 11, S("1234567890"), 1, 8, S("can't happen")); 1139 test(S("abcdefghij"), 11, S("1234567890"), 1, 9, S("can't happen")); 1140 test(S("abcdefghij"), 11, S("1234567890"), 1, 10, S("can't happen")); 1141 } 1142 1143 template <class S> 1144 void test20() 1145 { 1146 test(S("abcdefghij"), 11, S("1234567890"), 5, 0, S("can't happen")); 1147 test(S("abcdefghij"), 11, S("1234567890"), 5, 1, S("can't happen")); 1148 test(S("abcdefghij"), 11, S("1234567890"), 5, 2, S("can't happen")); 1149 test(S("abcdefghij"), 11, S("1234567890"), 5, 4, S("can't happen")); 1150 test(S("abcdefghij"), 11, S("1234567890"), 5, 5, S("can't happen")); 1151 test(S("abcdefghij"), 11, S("1234567890"), 5, 6, S("can't happen")); 1152 test(S("abcdefghij"), 11, S("1234567890"), 9, 0, S("can't happen")); 1153 test(S("abcdefghij"), 11, S("1234567890"), 9, 1, S("can't happen")); 1154 test(S("abcdefghij"), 11, S("1234567890"), 9, 2, S("can't happen")); 1155 test(S("abcdefghij"), 11, S("1234567890"), 10, 0, S("can't happen")); 1156 test(S("abcdefghij"), 11, S("1234567890"), 10, 1, S("can't happen")); 1157 test(S("abcdefghij"), 11, S("1234567890"), 11, 0, S("can't happen")); 1158 test(S("abcdefghij"), 11, S("12345678901234567890"), 0, 0, S("can't happen")); 1159 test(S("abcdefghij"), 11, S("12345678901234567890"), 0, 1, S("can't happen")); 1160 test(S("abcdefghij"), 11, S("12345678901234567890"), 0, 10, S("can't happen")); 1161 test(S("abcdefghij"), 11, S("12345678901234567890"), 0, 19, S("can't happen")); 1162 test(S("abcdefghij"), 11, S("12345678901234567890"), 0, 20, S("can't happen")); 1163 test(S("abcdefghij"), 11, S("12345678901234567890"), 0, 21, S("can't happen")); 1164 test(S("abcdefghij"), 11, S("12345678901234567890"), 1, 0, S("can't happen")); 1165 test(S("abcdefghij"), 11, S("12345678901234567890"), 1, 1, S("can't happen")); 1166 test(S("abcdefghij"), 11, S("12345678901234567890"), 1, 9, S("can't happen")); 1167 test(S("abcdefghij"), 11, S("12345678901234567890"), 1, 18, S("can't happen")); 1168 test(S("abcdefghij"), 11, S("12345678901234567890"), 1, 19, S("can't happen")); 1169 test(S("abcdefghij"), 11, S("12345678901234567890"), 1, 20, S("can't happen")); 1170 test(S("abcdefghij"), 11, S("12345678901234567890"), 10, 0, S("can't happen")); 1171 test(S("abcdefghij"), 11, S("12345678901234567890"), 10, 1, S("can't happen")); 1172 test(S("abcdefghij"), 11, S("12345678901234567890"), 10, 5, S("can't happen")); 1173 test(S("abcdefghij"), 11, S("12345678901234567890"), 10, 9, S("can't happen")); 1174 test(S("abcdefghij"), 11, S("12345678901234567890"), 10, 10, S("can't happen")); 1175 test(S("abcdefghij"), 11, S("12345678901234567890"), 10, 11, S("can't happen")); 1176 test(S("abcdefghij"), 11, S("12345678901234567890"), 19, 0, S("can't happen")); 1177 test(S("abcdefghij"), 11, S("12345678901234567890"), 19, 1, S("can't happen")); 1178 test(S("abcdefghij"), 11, S("12345678901234567890"), 19, 2, S("can't happen")); 1179 test(S("abcdefghij"), 11, S("12345678901234567890"), 20, 0, S("can't happen")); 1180 test(S("abcdefghij"), 11, S("12345678901234567890"), 20, 1, S("can't happen")); 1181 test(S("abcdefghij"), 11, S("12345678901234567890"), 21, 0, S("can't happen")); 1182 test(S("abcdefghijklmnopqrst"), 0, S(""), 0, 0, S("abcdefghijklmnopqrst")); 1183 test(S("abcdefghijklmnopqrst"), 0, S(""), 0, 1, S("abcdefghijklmnopqrst")); 1184 test(S("abcdefghijklmnopqrst"), 0, S(""), 1, 0, S("can't happen")); 1185 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 0, 0, S("abcdefghijklmnopqrst")); 1186 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 0, 1, S("1abcdefghijklmnopqrst")); 1187 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 0, 2, S("12abcdefghijklmnopqrst")); 1188 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 0, 4, S("1234abcdefghijklmnopqrst")); 1189 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 0, 5, S("12345abcdefghijklmnopqrst")); 1190 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 0, 6, S("12345abcdefghijklmnopqrst")); 1191 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 1, 0, S("abcdefghijklmnopqrst")); 1192 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 1, 1, S("2abcdefghijklmnopqrst")); 1193 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 1, 2, S("23abcdefghijklmnopqrst")); 1194 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 1, 3, S("234abcdefghijklmnopqrst")); 1195 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 1, 4, S("2345abcdefghijklmnopqrst")); 1196 } 1197 1198 template <class S> 1199 void test21() 1200 { 1201 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 1, 5, S("2345abcdefghijklmnopqrst")); 1202 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 2, 0, S("abcdefghijklmnopqrst")); 1203 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 2, 1, S("3abcdefghijklmnopqrst")); 1204 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 2, 2, S("34abcdefghijklmnopqrst")); 1205 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 2, 3, S("345abcdefghijklmnopqrst")); 1206 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 2, 4, S("345abcdefghijklmnopqrst")); 1207 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 4, 0, S("abcdefghijklmnopqrst")); 1208 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 4, 1, S("5abcdefghijklmnopqrst")); 1209 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 4, 2, S("5abcdefghijklmnopqrst")); 1210 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 5, 0, S("abcdefghijklmnopqrst")); 1211 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 5, 1, S("abcdefghijklmnopqrst")); 1212 test(S("abcdefghijklmnopqrst"), 0, S("12345"), 6, 0, S("can't happen")); 1213 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 0, 0, S("abcdefghijklmnopqrst")); 1214 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 0, 1, S("1abcdefghijklmnopqrst")); 1215 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 0, 5, S("12345abcdefghijklmnopqrst")); 1216 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 0, 9, S("123456789abcdefghijklmnopqrst")); 1217 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 0, 10, S("1234567890abcdefghijklmnopqrst")); 1218 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 0, 11, S("1234567890abcdefghijklmnopqrst")); 1219 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 1, 0, S("abcdefghijklmnopqrst")); 1220 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 1, 1, S("2abcdefghijklmnopqrst")); 1221 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 1, 4, S("2345abcdefghijklmnopqrst")); 1222 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 1, 8, S("23456789abcdefghijklmnopqrst")); 1223 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 1, 9, S("234567890abcdefghijklmnopqrst")); 1224 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 1, 10, S("234567890abcdefghijklmnopqrst")); 1225 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 5, 0, S("abcdefghijklmnopqrst")); 1226 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 5, 1, S("6abcdefghijklmnopqrst")); 1227 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 5, 2, S("67abcdefghijklmnopqrst")); 1228 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 5, 4, S("6789abcdefghijklmnopqrst")); 1229 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 5, 5, S("67890abcdefghijklmnopqrst")); 1230 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 5, 6, S("67890abcdefghijklmnopqrst")); 1231 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 9, 0, S("abcdefghijklmnopqrst")); 1232 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 9, 1, S("0abcdefghijklmnopqrst")); 1233 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 9, 2, S("0abcdefghijklmnopqrst")); 1234 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 10, 0, S("abcdefghijklmnopqrst")); 1235 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 10, 1, S("abcdefghijklmnopqrst")); 1236 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), 11, 0, S("can't happen")); 1237 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 0, 0, S("abcdefghijklmnopqrst")); 1238 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 0, 1, S("1abcdefghijklmnopqrst")); 1239 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 0, 10, S("1234567890abcdefghijklmnopqrst")); 1240 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 0, 19, S("1234567890123456789abcdefghijklmnopqrst")); 1241 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 0, 20, S("12345678901234567890abcdefghijklmnopqrst")); 1242 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 0, 21, S("12345678901234567890abcdefghijklmnopqrst")); 1243 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 1, 0, S("abcdefghijklmnopqrst")); 1244 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 1, 1, S("2abcdefghijklmnopqrst")); 1245 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 1, 9, S("234567890abcdefghijklmnopqrst")); 1246 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 1, 18, S("234567890123456789abcdefghijklmnopqrst")); 1247 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 1, 19, S("2345678901234567890abcdefghijklmnopqrst")); 1248 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 1, 20, S("2345678901234567890abcdefghijklmnopqrst")); 1249 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 10, 0, S("abcdefghijklmnopqrst")); 1250 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 10, 1, S("1abcdefghijklmnopqrst")); 1251 } 1252 1253 template <class S> 1254 void test22() 1255 { 1256 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 10, 5, S("12345abcdefghijklmnopqrst")); 1257 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 10, 9, S("123456789abcdefghijklmnopqrst")); 1258 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 10, 10, S("1234567890abcdefghijklmnopqrst")); 1259 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 10, 11, S("1234567890abcdefghijklmnopqrst")); 1260 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 19, 0, S("abcdefghijklmnopqrst")); 1261 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 19, 1, S("0abcdefghijklmnopqrst")); 1262 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 19, 2, S("0abcdefghijklmnopqrst")); 1263 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 20, 0, S("abcdefghijklmnopqrst")); 1264 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 20, 1, S("abcdefghijklmnopqrst")); 1265 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), 21, 0, S("can't happen")); 1266 test(S("abcdefghijklmnopqrst"), 1, S(""), 0, 0, S("abcdefghijklmnopqrst")); 1267 test(S("abcdefghijklmnopqrst"), 1, S(""), 0, 1, S("abcdefghijklmnopqrst")); 1268 test(S("abcdefghijklmnopqrst"), 1, S(""), 1, 0, S("can't happen")); 1269 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 0, 0, S("abcdefghijklmnopqrst")); 1270 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 0, 1, S("a1bcdefghijklmnopqrst")); 1271 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 0, 2, S("a12bcdefghijklmnopqrst")); 1272 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 0, 4, S("a1234bcdefghijklmnopqrst")); 1273 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 0, 5, S("a12345bcdefghijklmnopqrst")); 1274 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 0, 6, S("a12345bcdefghijklmnopqrst")); 1275 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 1, 0, S("abcdefghijklmnopqrst")); 1276 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 1, 1, S("a2bcdefghijklmnopqrst")); 1277 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 1, 2, S("a23bcdefghijklmnopqrst")); 1278 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 1, 3, S("a234bcdefghijklmnopqrst")); 1279 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 1, 4, S("a2345bcdefghijklmnopqrst")); 1280 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 1, 5, S("a2345bcdefghijklmnopqrst")); 1281 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 2, 0, S("abcdefghijklmnopqrst")); 1282 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 2, 1, S("a3bcdefghijklmnopqrst")); 1283 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 2, 2, S("a34bcdefghijklmnopqrst")); 1284 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 2, 3, S("a345bcdefghijklmnopqrst")); 1285 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 2, 4, S("a345bcdefghijklmnopqrst")); 1286 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 4, 0, S("abcdefghijklmnopqrst")); 1287 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 4, 1, S("a5bcdefghijklmnopqrst")); 1288 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 4, 2, S("a5bcdefghijklmnopqrst")); 1289 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 5, 0, S("abcdefghijklmnopqrst")); 1290 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 5, 1, S("abcdefghijklmnopqrst")); 1291 test(S("abcdefghijklmnopqrst"), 1, S("12345"), 6, 0, S("can't happen")); 1292 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 0, 0, S("abcdefghijklmnopqrst")); 1293 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 0, 1, S("a1bcdefghijklmnopqrst")); 1294 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 0, 5, S("a12345bcdefghijklmnopqrst")); 1295 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 0, 9, S("a123456789bcdefghijklmnopqrst")); 1296 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 0, 10, S("a1234567890bcdefghijklmnopqrst")); 1297 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 0, 11, S("a1234567890bcdefghijklmnopqrst")); 1298 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 1, 0, S("abcdefghijklmnopqrst")); 1299 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 1, 1, S("a2bcdefghijklmnopqrst")); 1300 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 1, 4, S("a2345bcdefghijklmnopqrst")); 1301 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 1, 8, S("a23456789bcdefghijklmnopqrst")); 1302 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 1, 9, S("a234567890bcdefghijklmnopqrst")); 1303 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 1, 10, S("a234567890bcdefghijklmnopqrst")); 1304 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 5, 0, S("abcdefghijklmnopqrst")); 1305 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 5, 1, S("a6bcdefghijklmnopqrst")); 1306 } 1307 1308 template <class S> 1309 void test23() 1310 { 1311 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 5, 2, S("a67bcdefghijklmnopqrst")); 1312 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 5, 4, S("a6789bcdefghijklmnopqrst")); 1313 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 5, 5, S("a67890bcdefghijklmnopqrst")); 1314 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 5, 6, S("a67890bcdefghijklmnopqrst")); 1315 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 9, 0, S("abcdefghijklmnopqrst")); 1316 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 9, 1, S("a0bcdefghijklmnopqrst")); 1317 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 9, 2, S("a0bcdefghijklmnopqrst")); 1318 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 10, 0, S("abcdefghijklmnopqrst")); 1319 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 10, 1, S("abcdefghijklmnopqrst")); 1320 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), 11, 0, S("can't happen")); 1321 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 0, 0, S("abcdefghijklmnopqrst")); 1322 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 0, 1, S("a1bcdefghijklmnopqrst")); 1323 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 0, 10, S("a1234567890bcdefghijklmnopqrst")); 1324 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 0, 19, S("a1234567890123456789bcdefghijklmnopqrst")); 1325 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 0, 20, S("a12345678901234567890bcdefghijklmnopqrst")); 1326 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 0, 21, S("a12345678901234567890bcdefghijklmnopqrst")); 1327 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 1, 0, S("abcdefghijklmnopqrst")); 1328 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 1, 1, S("a2bcdefghijklmnopqrst")); 1329 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 1, 9, S("a234567890bcdefghijklmnopqrst")); 1330 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 1, 18, S("a234567890123456789bcdefghijklmnopqrst")); 1331 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 1, 19, S("a2345678901234567890bcdefghijklmnopqrst")); 1332 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 1, 20, S("a2345678901234567890bcdefghijklmnopqrst")); 1333 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 10, 0, S("abcdefghijklmnopqrst")); 1334 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 10, 1, S("a1bcdefghijklmnopqrst")); 1335 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 10, 5, S("a12345bcdefghijklmnopqrst")); 1336 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 10, 9, S("a123456789bcdefghijklmnopqrst")); 1337 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 10, 10, S("a1234567890bcdefghijklmnopqrst")); 1338 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 10, 11, S("a1234567890bcdefghijklmnopqrst")); 1339 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 19, 0, S("abcdefghijklmnopqrst")); 1340 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 19, 1, S("a0bcdefghijklmnopqrst")); 1341 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 19, 2, S("a0bcdefghijklmnopqrst")); 1342 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 20, 0, S("abcdefghijklmnopqrst")); 1343 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 20, 1, S("abcdefghijklmnopqrst")); 1344 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), 21, 0, S("can't happen")); 1345 test(S("abcdefghijklmnopqrst"), 10, S(""), 0, 0, S("abcdefghijklmnopqrst")); 1346 test(S("abcdefghijklmnopqrst"), 10, S(""), 0, 1, S("abcdefghijklmnopqrst")); 1347 test(S("abcdefghijklmnopqrst"), 10, S(""), 1, 0, S("can't happen")); 1348 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 0, 0, S("abcdefghijklmnopqrst")); 1349 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 0, 1, S("abcdefghij1klmnopqrst")); 1350 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 0, 2, S("abcdefghij12klmnopqrst")); 1351 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 0, 4, S("abcdefghij1234klmnopqrst")); 1352 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 0, 5, S("abcdefghij12345klmnopqrst")); 1353 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 0, 6, S("abcdefghij12345klmnopqrst")); 1354 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 1, 0, S("abcdefghijklmnopqrst")); 1355 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 1, 1, S("abcdefghij2klmnopqrst")); 1356 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 1, 2, S("abcdefghij23klmnopqrst")); 1357 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 1, 3, S("abcdefghij234klmnopqrst")); 1358 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 1, 4, S("abcdefghij2345klmnopqrst")); 1359 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 1, 5, S("abcdefghij2345klmnopqrst")); 1360 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 2, 0, S("abcdefghijklmnopqrst")); 1361 } 1362 1363 template <class S> 1364 void test24() 1365 { 1366 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 2, 1, S("abcdefghij3klmnopqrst")); 1367 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 2, 2, S("abcdefghij34klmnopqrst")); 1368 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 2, 3, S("abcdefghij345klmnopqrst")); 1369 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 2, 4, S("abcdefghij345klmnopqrst")); 1370 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 4, 0, S("abcdefghijklmnopqrst")); 1371 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 4, 1, S("abcdefghij5klmnopqrst")); 1372 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 4, 2, S("abcdefghij5klmnopqrst")); 1373 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 5, 0, S("abcdefghijklmnopqrst")); 1374 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 5, 1, S("abcdefghijklmnopqrst")); 1375 test(S("abcdefghijklmnopqrst"), 10, S("12345"), 6, 0, S("can't happen")); 1376 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 0, 0, S("abcdefghijklmnopqrst")); 1377 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 0, 1, S("abcdefghij1klmnopqrst")); 1378 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 0, 5, S("abcdefghij12345klmnopqrst")); 1379 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 0, 9, S("abcdefghij123456789klmnopqrst")); 1380 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 0, 10, S("abcdefghij1234567890klmnopqrst")); 1381 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 0, 11, S("abcdefghij1234567890klmnopqrst")); 1382 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 1, 0, S("abcdefghijklmnopqrst")); 1383 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 1, 1, S("abcdefghij2klmnopqrst")); 1384 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 1, 4, S("abcdefghij2345klmnopqrst")); 1385 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 1, 8, S("abcdefghij23456789klmnopqrst")); 1386 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 1, 9, S("abcdefghij234567890klmnopqrst")); 1387 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 1, 10, S("abcdefghij234567890klmnopqrst")); 1388 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 5, 0, S("abcdefghijklmnopqrst")); 1389 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 5, 1, S("abcdefghij6klmnopqrst")); 1390 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 5, 2, S("abcdefghij67klmnopqrst")); 1391 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 5, 4, S("abcdefghij6789klmnopqrst")); 1392 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 5, 5, S("abcdefghij67890klmnopqrst")); 1393 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 5, 6, S("abcdefghij67890klmnopqrst")); 1394 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 9, 0, S("abcdefghijklmnopqrst")); 1395 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 9, 1, S("abcdefghij0klmnopqrst")); 1396 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 9, 2, S("abcdefghij0klmnopqrst")); 1397 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 10, 0, S("abcdefghijklmnopqrst")); 1398 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 10, 1, S("abcdefghijklmnopqrst")); 1399 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), 11, 0, S("can't happen")); 1400 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 0, 0, S("abcdefghijklmnopqrst")); 1401 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 0, 1, S("abcdefghij1klmnopqrst")); 1402 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 0, 10, S("abcdefghij1234567890klmnopqrst")); 1403 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 0, 19, S("abcdefghij1234567890123456789klmnopqrst")); 1404 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 0, 20, S("abcdefghij12345678901234567890klmnopqrst")); 1405 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 0, 21, S("abcdefghij12345678901234567890klmnopqrst")); 1406 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 1, 0, S("abcdefghijklmnopqrst")); 1407 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 1, 1, S("abcdefghij2klmnopqrst")); 1408 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 1, 9, S("abcdefghij234567890klmnopqrst")); 1409 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 1, 18, S("abcdefghij234567890123456789klmnopqrst")); 1410 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 1, 19, S("abcdefghij2345678901234567890klmnopqrst")); 1411 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 1, 20, S("abcdefghij2345678901234567890klmnopqrst")); 1412 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 10, 0, S("abcdefghijklmnopqrst")); 1413 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 10, 1, S("abcdefghij1klmnopqrst")); 1414 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 10, 5, S("abcdefghij12345klmnopqrst")); 1415 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 10, 9, S("abcdefghij123456789klmnopqrst")); 1416 } 1417 1418 template <class S> 1419 void test25() 1420 { 1421 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 10, 10, S("abcdefghij1234567890klmnopqrst")); 1422 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 10, 11, S("abcdefghij1234567890klmnopqrst")); 1423 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 19, 0, S("abcdefghijklmnopqrst")); 1424 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 19, 1, S("abcdefghij0klmnopqrst")); 1425 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 19, 2, S("abcdefghij0klmnopqrst")); 1426 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 20, 0, S("abcdefghijklmnopqrst")); 1427 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 20, 1, S("abcdefghijklmnopqrst")); 1428 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), 21, 0, S("can't happen")); 1429 test(S("abcdefghijklmnopqrst"), 19, S(""), 0, 0, S("abcdefghijklmnopqrst")); 1430 test(S("abcdefghijklmnopqrst"), 19, S(""), 0, 1, S("abcdefghijklmnopqrst")); 1431 test(S("abcdefghijklmnopqrst"), 19, S(""), 1, 0, S("can't happen")); 1432 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 0, 0, S("abcdefghijklmnopqrst")); 1433 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 0, 1, S("abcdefghijklmnopqrs1t")); 1434 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 0, 2, S("abcdefghijklmnopqrs12t")); 1435 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 0, 4, S("abcdefghijklmnopqrs1234t")); 1436 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 0, 5, S("abcdefghijklmnopqrs12345t")); 1437 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 0, 6, S("abcdefghijklmnopqrs12345t")); 1438 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 1, 0, S("abcdefghijklmnopqrst")); 1439 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 1, 1, S("abcdefghijklmnopqrs2t")); 1440 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 1, 2, S("abcdefghijklmnopqrs23t")); 1441 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 1, 3, S("abcdefghijklmnopqrs234t")); 1442 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 1, 4, S("abcdefghijklmnopqrs2345t")); 1443 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 1, 5, S("abcdefghijklmnopqrs2345t")); 1444 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 2, 0, S("abcdefghijklmnopqrst")); 1445 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 2, 1, S("abcdefghijklmnopqrs3t")); 1446 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 2, 2, S("abcdefghijklmnopqrs34t")); 1447 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 2, 3, S("abcdefghijklmnopqrs345t")); 1448 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 2, 4, S("abcdefghijklmnopqrs345t")); 1449 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 4, 0, S("abcdefghijklmnopqrst")); 1450 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 4, 1, S("abcdefghijklmnopqrs5t")); 1451 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 4, 2, S("abcdefghijklmnopqrs5t")); 1452 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 5, 0, S("abcdefghijklmnopqrst")); 1453 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 5, 1, S("abcdefghijklmnopqrst")); 1454 test(S("abcdefghijklmnopqrst"), 19, S("12345"), 6, 0, S("can't happen")); 1455 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 0, 0, S("abcdefghijklmnopqrst")); 1456 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 0, 1, S("abcdefghijklmnopqrs1t")); 1457 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 0, 5, S("abcdefghijklmnopqrs12345t")); 1458 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 0, 9, S("abcdefghijklmnopqrs123456789t")); 1459 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 0, 10, S("abcdefghijklmnopqrs1234567890t")); 1460 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 0, 11, S("abcdefghijklmnopqrs1234567890t")); 1461 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 1, 0, S("abcdefghijklmnopqrst")); 1462 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 1, 1, S("abcdefghijklmnopqrs2t")); 1463 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 1, 4, S("abcdefghijklmnopqrs2345t")); 1464 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 1, 8, S("abcdefghijklmnopqrs23456789t")); 1465 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 1, 9, S("abcdefghijklmnopqrs234567890t")); 1466 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 1, 10, S("abcdefghijklmnopqrs234567890t")); 1467 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 5, 0, S("abcdefghijklmnopqrst")); 1468 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 5, 1, S("abcdefghijklmnopqrs6t")); 1469 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 5, 2, S("abcdefghijklmnopqrs67t")); 1470 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 5, 4, S("abcdefghijklmnopqrs6789t")); 1471 } 1472 1473 template <class S> 1474 void test26() 1475 { 1476 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 5, 5, S("abcdefghijklmnopqrs67890t")); 1477 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 5, 6, S("abcdefghijklmnopqrs67890t")); 1478 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 9, 0, S("abcdefghijklmnopqrst")); 1479 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 9, 1, S("abcdefghijklmnopqrs0t")); 1480 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 9, 2, S("abcdefghijklmnopqrs0t")); 1481 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 10, 0, S("abcdefghijklmnopqrst")); 1482 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 10, 1, S("abcdefghijklmnopqrst")); 1483 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), 11, 0, S("can't happen")); 1484 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 0, 0, S("abcdefghijklmnopqrst")); 1485 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 0, 1, S("abcdefghijklmnopqrs1t")); 1486 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 0, 10, S("abcdefghijklmnopqrs1234567890t")); 1487 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 0, 19, S("abcdefghijklmnopqrs1234567890123456789t")); 1488 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 0, 20, S("abcdefghijklmnopqrs12345678901234567890t")); 1489 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 0, 21, S("abcdefghijklmnopqrs12345678901234567890t")); 1490 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 1, 0, S("abcdefghijklmnopqrst")); 1491 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 1, 1, S("abcdefghijklmnopqrs2t")); 1492 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 1, 9, S("abcdefghijklmnopqrs234567890t")); 1493 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 1, 18, S("abcdefghijklmnopqrs234567890123456789t")); 1494 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 1, 19, S("abcdefghijklmnopqrs2345678901234567890t")); 1495 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 1, 20, S("abcdefghijklmnopqrs2345678901234567890t")); 1496 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 10, 0, S("abcdefghijklmnopqrst")); 1497 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 10, 1, S("abcdefghijklmnopqrs1t")); 1498 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 10, 5, S("abcdefghijklmnopqrs12345t")); 1499 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 10, 9, S("abcdefghijklmnopqrs123456789t")); 1500 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 10, 10, S("abcdefghijklmnopqrs1234567890t")); 1501 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 10, 11, S("abcdefghijklmnopqrs1234567890t")); 1502 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 19, 0, S("abcdefghijklmnopqrst")); 1503 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 19, 1, S("abcdefghijklmnopqrs0t")); 1504 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 19, 2, S("abcdefghijklmnopqrs0t")); 1505 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 20, 0, S("abcdefghijklmnopqrst")); 1506 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 20, 1, S("abcdefghijklmnopqrst")); 1507 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), 21, 0, S("can't happen")); 1508 test(S("abcdefghijklmnopqrst"), 20, S(""), 0, 0, S("abcdefghijklmnopqrst")); 1509 test(S("abcdefghijklmnopqrst"), 20, S(""), 0, 1, S("abcdefghijklmnopqrst")); 1510 test(S("abcdefghijklmnopqrst"), 20, S(""), 1, 0, S("can't happen")); 1511 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 0, 0, S("abcdefghijklmnopqrst")); 1512 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 0, 1, S("abcdefghijklmnopqrst1")); 1513 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 0, 2, S("abcdefghijklmnopqrst12")); 1514 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 0, 4, S("abcdefghijklmnopqrst1234")); 1515 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 0, 5, S("abcdefghijklmnopqrst12345")); 1516 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 0, 6, S("abcdefghijklmnopqrst12345")); 1517 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 1, 0, S("abcdefghijklmnopqrst")); 1518 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 1, 1, S("abcdefghijklmnopqrst2")); 1519 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 1, 2, S("abcdefghijklmnopqrst23")); 1520 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 1, 3, S("abcdefghijklmnopqrst234")); 1521 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 1, 4, S("abcdefghijklmnopqrst2345")); 1522 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 1, 5, S("abcdefghijklmnopqrst2345")); 1523 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 2, 0, S("abcdefghijklmnopqrst")); 1524 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 2, 1, S("abcdefghijklmnopqrst3")); 1525 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 2, 2, S("abcdefghijklmnopqrst34")); 1526 } 1527 1528 template <class S> 1529 void test27() 1530 { 1531 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 2, 3, S("abcdefghijklmnopqrst345")); 1532 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 2, 4, S("abcdefghijklmnopqrst345")); 1533 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 4, 0, S("abcdefghijklmnopqrst")); 1534 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 4, 1, S("abcdefghijklmnopqrst5")); 1535 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 4, 2, S("abcdefghijklmnopqrst5")); 1536 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 5, 0, S("abcdefghijklmnopqrst")); 1537 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 5, 1, S("abcdefghijklmnopqrst")); 1538 test(S("abcdefghijklmnopqrst"), 20, S("12345"), 6, 0, S("can't happen")); 1539 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 0, 0, S("abcdefghijklmnopqrst")); 1540 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 0, 1, S("abcdefghijklmnopqrst1")); 1541 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 0, 5, S("abcdefghijklmnopqrst12345")); 1542 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 0, 9, S("abcdefghijklmnopqrst123456789")); 1543 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 0, 10, S("abcdefghijklmnopqrst1234567890")); 1544 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 0, 11, S("abcdefghijklmnopqrst1234567890")); 1545 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 1, 0, S("abcdefghijklmnopqrst")); 1546 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 1, 1, S("abcdefghijklmnopqrst2")); 1547 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 1, 4, S("abcdefghijklmnopqrst2345")); 1548 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 1, 8, S("abcdefghijklmnopqrst23456789")); 1549 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 1, 9, S("abcdefghijklmnopqrst234567890")); 1550 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 1, 10, S("abcdefghijklmnopqrst234567890")); 1551 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 5, 0, S("abcdefghijklmnopqrst")); 1552 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 5, 1, S("abcdefghijklmnopqrst6")); 1553 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 5, 2, S("abcdefghijklmnopqrst67")); 1554 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 5, 4, S("abcdefghijklmnopqrst6789")); 1555 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 5, 5, S("abcdefghijklmnopqrst67890")); 1556 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 5, 6, S("abcdefghijklmnopqrst67890")); 1557 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 9, 0, S("abcdefghijklmnopqrst")); 1558 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 9, 1, S("abcdefghijklmnopqrst0")); 1559 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 9, 2, S("abcdefghijklmnopqrst0")); 1560 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 10, 0, S("abcdefghijklmnopqrst")); 1561 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 10, 1, S("abcdefghijklmnopqrst")); 1562 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), 11, 0, S("can't happen")); 1563 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 0, 0, S("abcdefghijklmnopqrst")); 1564 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 0, 1, S("abcdefghijklmnopqrst1")); 1565 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 0, 10, S("abcdefghijklmnopqrst1234567890")); 1566 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 0, 19, S("abcdefghijklmnopqrst1234567890123456789")); 1567 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 0, 20, S("abcdefghijklmnopqrst12345678901234567890")); 1568 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 0, 21, S("abcdefghijklmnopqrst12345678901234567890")); 1569 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 1, 0, S("abcdefghijklmnopqrst")); 1570 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 1, 1, S("abcdefghijklmnopqrst2")); 1571 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 1, 9, S("abcdefghijklmnopqrst234567890")); 1572 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 1, 18, S("abcdefghijklmnopqrst234567890123456789")); 1573 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 1, 19, S("abcdefghijklmnopqrst2345678901234567890")); 1574 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 1, 20, S("abcdefghijklmnopqrst2345678901234567890")); 1575 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 10, 0, S("abcdefghijklmnopqrst")); 1576 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 10, 1, S("abcdefghijklmnopqrst1")); 1577 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 10, 5, S("abcdefghijklmnopqrst12345")); 1578 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 10, 9, S("abcdefghijklmnopqrst123456789")); 1579 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 10, 10, S("abcdefghijklmnopqrst1234567890")); 1580 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 10, 11, S("abcdefghijklmnopqrst1234567890")); 1581 } 1582 1583 template <class S> 1584 void test28() 1585 { 1586 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 19, 0, S("abcdefghijklmnopqrst")); 1587 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 19, 1, S("abcdefghijklmnopqrst0")); 1588 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 19, 2, S("abcdefghijklmnopqrst0")); 1589 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 20, 0, S("abcdefghijklmnopqrst")); 1590 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 20, 1, S("abcdefghijklmnopqrst")); 1591 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), 21, 0, S("can't happen")); 1592 test(S("abcdefghijklmnopqrst"), 21, S(""), 0, 0, S("can't happen")); 1593 test(S("abcdefghijklmnopqrst"), 21, S(""), 0, 1, S("can't happen")); 1594 test(S("abcdefghijklmnopqrst"), 21, S(""), 1, 0, S("can't happen")); 1595 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 0, 0, S("can't happen")); 1596 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 0, 1, S("can't happen")); 1597 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 0, 2, S("can't happen")); 1598 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 0, 4, S("can't happen")); 1599 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 0, 5, S("can't happen")); 1600 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 0, 6, S("can't happen")); 1601 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 1, 0, S("can't happen")); 1602 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 1, 1, S("can't happen")); 1603 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 1, 2, S("can't happen")); 1604 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 1, 3, S("can't happen")); 1605 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 1, 4, S("can't happen")); 1606 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 1, 5, S("can't happen")); 1607 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 2, 0, S("can't happen")); 1608 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 2, 1, S("can't happen")); 1609 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 2, 2, S("can't happen")); 1610 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 2, 3, S("can't happen")); 1611 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 2, 4, S("can't happen")); 1612 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 4, 0, S("can't happen")); 1613 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 4, 1, S("can't happen")); 1614 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 4, 2, S("can't happen")); 1615 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 5, 0, S("can't happen")); 1616 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 5, 1, S("can't happen")); 1617 test(S("abcdefghijklmnopqrst"), 21, S("12345"), 6, 0, S("can't happen")); 1618 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 0, 0, S("can't happen")); 1619 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 0, 1, S("can't happen")); 1620 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 0, 5, S("can't happen")); 1621 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 0, 9, S("can't happen")); 1622 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 0, 10, S("can't happen")); 1623 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 0, 11, S("can't happen")); 1624 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 1, 0, S("can't happen")); 1625 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 1, 1, S("can't happen")); 1626 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 1, 4, S("can't happen")); 1627 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 1, 8, S("can't happen")); 1628 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 1, 9, S("can't happen")); 1629 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 1, 10, S("can't happen")); 1630 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 5, 0, S("can't happen")); 1631 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 5, 1, S("can't happen")); 1632 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 5, 2, S("can't happen")); 1633 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 5, 4, S("can't happen")); 1634 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 5, 5, S("can't happen")); 1635 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 5, 6, S("can't happen")); 1636 } 1637 1638 template <class S> 1639 void test29() 1640 { 1641 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 9, 0, S("can't happen")); 1642 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 9, 1, S("can't happen")); 1643 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 9, 2, S("can't happen")); 1644 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 10, 0, S("can't happen")); 1645 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 10, 1, S("can't happen")); 1646 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), 11, 0, S("can't happen")); 1647 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 0, 0, S("can't happen")); 1648 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 0, 1, S("can't happen")); 1649 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 0, 10, S("can't happen")); 1650 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 0, 19, S("can't happen")); 1651 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 0, 20, S("can't happen")); 1652 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 0, 21, S("can't happen")); 1653 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 1, 0, S("can't happen")); 1654 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 1, 1, S("can't happen")); 1655 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 1, 9, S("can't happen")); 1656 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 1, 18, S("can't happen")); 1657 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 1, 19, S("can't happen")); 1658 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 1, 20, S("can't happen")); 1659 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 10, 0, S("can't happen")); 1660 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 10, 1, S("can't happen")); 1661 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 10, 5, S("can't happen")); 1662 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 10, 9, S("can't happen")); 1663 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 10, 10, S("can't happen")); 1664 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 10, 11, S("can't happen")); 1665 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 19, 0, S("can't happen")); 1666 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 19, 1, S("can't happen")); 1667 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 19, 2, S("can't happen")); 1668 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 20, 0, S("can't happen")); 1669 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 20, 1, S("can't happen")); 1670 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), 21, 0, S("can't happen")); 1671 } 1672 1673 int main() 1674 { 1675 { 1676 typedef std::string S; 1677 test0<S>(); 1678 test1<S>(); 1679 test2<S>(); 1680 test3<S>(); 1681 test4<S>(); 1682 test5<S>(); 1683 test6<S>(); 1684 test7<S>(); 1685 test8<S>(); 1686 test9<S>(); 1687 test10<S>(); 1688 test11<S>(); 1689 test12<S>(); 1690 test13<S>(); 1691 test14<S>(); 1692 test15<S>(); 1693 test16<S>(); 1694 test17<S>(); 1695 test18<S>(); 1696 test19<S>(); 1697 test20<S>(); 1698 test21<S>(); 1699 test22<S>(); 1700 test23<S>(); 1701 test24<S>(); 1702 test25<S>(); 1703 test26<S>(); 1704 test27<S>(); 1705 test28<S>(); 1706 test29<S>(); 1707 } 1708 #if __cplusplus >= 201103L 1709 { 1710 typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S; 1711 test0<S>(); 1712 test1<S>(); 1713 test2<S>(); 1714 test3<S>(); 1715 test4<S>(); 1716 test5<S>(); 1717 test6<S>(); 1718 test7<S>(); 1719 test8<S>(); 1720 test9<S>(); 1721 test10<S>(); 1722 test11<S>(); 1723 test12<S>(); 1724 test13<S>(); 1725 test14<S>(); 1726 test15<S>(); 1727 test16<S>(); 1728 test17<S>(); 1729 test18<S>(); 1730 test19<S>(); 1731 test20<S>(); 1732 test21<S>(); 1733 test22<S>(); 1734 test23<S>(); 1735 test24<S>(); 1736 test25<S>(); 1737 test26<S>(); 1738 test27<S>(); 1739 test28<S>(); 1740 test29<S>(); 1741 } 1742 #endif 1743 } 1744