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 // XFAIL: libcpp-no-exceptions 11 // <string> 12 13 // basic_string<charT,traits,Allocator>& 14 // insert(size_type pos, size_type n, charT c); 15 16 #include <string> 17 #include <stdexcept> 18 #include <cassert> 19 20 #include "test_macros.h" 21 #include "min_allocator.h" 22 23 template <class S> 24 void 25 test(S s, typename S::size_type pos, typename S::size_type n, 26 typename S::value_type str, S expected) 27 { 28 typename S::size_type old_size = s.size(); 29 S s0 = s; 30 try 31 { 32 s.insert(pos, n, str); 33 LIBCPP_ASSERT(s.__invariants()); 34 assert(pos <= old_size); 35 assert(s == expected); 36 } 37 catch (std::out_of_range&) 38 { 39 assert(pos > old_size); 40 assert(s == s0); 41 } 42 } 43 44 int main() 45 { 46 { 47 typedef std::string S; 48 test(S(""), 0, 0, '1', S("")); 49 test(S(""), 0, 5, '1', S("11111")); 50 test(S(""), 0, 10, '1', S("1111111111")); 51 test(S(""), 0, 20, '1', S("11111111111111111111")); 52 test(S(""), 1, 0, '1', S("can't happen")); 53 test(S(""), 1, 5, '1', S("can't happen")); 54 test(S(""), 1, 10, '1', S("can't happen")); 55 test(S(""), 1, 20, '1', S("can't happen")); 56 test(S("abcde"), 0, 0, '1', S("abcde")); 57 test(S("abcde"), 0, 5, '1', S("11111abcde")); 58 test(S("abcde"), 0, 10, '1', S("1111111111abcde")); 59 test(S("abcde"), 0, 20, '1', S("11111111111111111111abcde")); 60 test(S("abcde"), 1, 0, '1', S("abcde")); 61 test(S("abcde"), 1, 5, '1', S("a11111bcde")); 62 test(S("abcde"), 1, 10, '1', S("a1111111111bcde")); 63 test(S("abcde"), 1, 20, '1', S("a11111111111111111111bcde")); 64 test(S("abcde"), 2, 0, '1', S("abcde")); 65 test(S("abcde"), 2, 5, '1', S("ab11111cde")); 66 test(S("abcde"), 2, 10, '1', S("ab1111111111cde")); 67 test(S("abcde"), 2, 20, '1', S("ab11111111111111111111cde")); 68 test(S("abcde"), 4, 0, '1', S("abcde")); 69 test(S("abcde"), 4, 5, '1', S("abcd11111e")); 70 test(S("abcde"), 4, 10, '1', S("abcd1111111111e")); 71 test(S("abcde"), 4, 20, '1', S("abcd11111111111111111111e")); 72 test(S("abcde"), 5, 0, '1', S("abcde")); 73 test(S("abcde"), 5, 5, '1', S("abcde11111")); 74 test(S("abcde"), 5, 10, '1', S("abcde1111111111")); 75 test(S("abcde"), 5, 20, '1', S("abcde11111111111111111111")); 76 test(S("abcde"), 6, 0, '1', S("can't happen")); 77 test(S("abcde"), 6, 5, '1', S("can't happen")); 78 test(S("abcde"), 6, 10, '1', S("can't happen")); 79 test(S("abcde"), 6, 20, '1', S("can't happen")); 80 test(S("abcdefghij"), 0, 0, '1', S("abcdefghij")); 81 test(S("abcdefghij"), 0, 5, '1', S("11111abcdefghij")); 82 test(S("abcdefghij"), 0, 10, '1', S("1111111111abcdefghij")); 83 test(S("abcdefghij"), 0, 20, '1', S("11111111111111111111abcdefghij")); 84 test(S("abcdefghij"), 1, 0, '1', S("abcdefghij")); 85 test(S("abcdefghij"), 1, 5, '1', S("a11111bcdefghij")); 86 test(S("abcdefghij"), 1, 10, '1', S("a1111111111bcdefghij")); 87 test(S("abcdefghij"), 1, 20, '1', S("a11111111111111111111bcdefghij")); 88 test(S("abcdefghij"), 5, 0, '1', S("abcdefghij")); 89 test(S("abcdefghij"), 5, 5, '1', S("abcde11111fghij")); 90 test(S("abcdefghij"), 5, 10, '1', S("abcde1111111111fghij")); 91 test(S("abcdefghij"), 5, 20, '1', S("abcde11111111111111111111fghij")); 92 test(S("abcdefghij"), 9, 0, '1', S("abcdefghij")); 93 test(S("abcdefghij"), 9, 5, '1', S("abcdefghi11111j")); 94 test(S("abcdefghij"), 9, 10, '1', S("abcdefghi1111111111j")); 95 test(S("abcdefghij"), 9, 20, '1', S("abcdefghi11111111111111111111j")); 96 test(S("abcdefghij"), 10, 0, '1', S("abcdefghij")); 97 test(S("abcdefghij"), 10, 5, '1', S("abcdefghij11111")); 98 test(S("abcdefghij"), 10, 10, '1', S("abcdefghij1111111111")); 99 test(S("abcdefghij"), 10, 20, '1', S("abcdefghij11111111111111111111")); 100 test(S("abcdefghij"), 11, 0, '1', S("can't happen")); 101 test(S("abcdefghij"), 11, 5, '1', S("can't happen")); 102 test(S("abcdefghij"), 11, 10, '1', S("can't happen")); 103 test(S("abcdefghij"), 11, 20, '1', S("can't happen")); 104 test(S("abcdefghijklmnopqrst"), 0, 0, '1', S("abcdefghijklmnopqrst")); 105 test(S("abcdefghijklmnopqrst"), 0, 5, '1', S("11111abcdefghijklmnopqrst")); 106 test(S("abcdefghijklmnopqrst"), 0, 10, '1', S("1111111111abcdefghijklmnopqrst")); 107 test(S("abcdefghijklmnopqrst"), 0, 20, '1', S("11111111111111111111abcdefghijklmnopqrst")); 108 test(S("abcdefghijklmnopqrst"), 1, 0, '1', S("abcdefghijklmnopqrst")); 109 test(S("abcdefghijklmnopqrst"), 1, 5, '1', S("a11111bcdefghijklmnopqrst")); 110 test(S("abcdefghijklmnopqrst"), 1, 10, '1', S("a1111111111bcdefghijklmnopqrst")); 111 test(S("abcdefghijklmnopqrst"), 1, 20, '1', S("a11111111111111111111bcdefghijklmnopqrst")); 112 test(S("abcdefghijklmnopqrst"), 10, 0, '1', S("abcdefghijklmnopqrst")); 113 test(S("abcdefghijklmnopqrst"), 10, 5, '1', S("abcdefghij11111klmnopqrst")); 114 test(S("abcdefghijklmnopqrst"), 10, 10, '1', S("abcdefghij1111111111klmnopqrst")); 115 test(S("abcdefghijklmnopqrst"), 10, 20, '1', S("abcdefghij11111111111111111111klmnopqrst")); 116 test(S("abcdefghijklmnopqrst"), 19, 0, '1', S("abcdefghijklmnopqrst")); 117 test(S("abcdefghijklmnopqrst"), 19, 5, '1', S("abcdefghijklmnopqrs11111t")); 118 test(S("abcdefghijklmnopqrst"), 19, 10, '1', S("abcdefghijklmnopqrs1111111111t")); 119 test(S("abcdefghijklmnopqrst"), 19, 20, '1', S("abcdefghijklmnopqrs11111111111111111111t")); 120 test(S("abcdefghijklmnopqrst"), 20, 0, '1', S("abcdefghijklmnopqrst")); 121 test(S("abcdefghijklmnopqrst"), 20, 5, '1', S("abcdefghijklmnopqrst11111")); 122 test(S("abcdefghijklmnopqrst"), 20, 10, '1', S("abcdefghijklmnopqrst1111111111")); 123 test(S("abcdefghijklmnopqrst"), 20, 20, '1', S("abcdefghijklmnopqrst11111111111111111111")); 124 test(S("abcdefghijklmnopqrst"), 21, 0, '1', S("can't happen")); 125 test(S("abcdefghijklmnopqrst"), 21, 5, '1', S("can't happen")); 126 test(S("abcdefghijklmnopqrst"), 21, 10, '1', S("can't happen")); 127 test(S("abcdefghijklmnopqrst"), 21, 20, '1', S("can't happen")); 128 } 129 #if TEST_STD_VER >= 11 130 { 131 typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S; 132 test(S(""), 0, 0, '1', S("")); 133 test(S(""), 0, 5, '1', S("11111")); 134 test(S(""), 0, 10, '1', S("1111111111")); 135 test(S(""), 0, 20, '1', S("11111111111111111111")); 136 test(S(""), 1, 0, '1', S("can't happen")); 137 test(S(""), 1, 5, '1', S("can't happen")); 138 test(S(""), 1, 10, '1', S("can't happen")); 139 test(S(""), 1, 20, '1', S("can't happen")); 140 test(S("abcde"), 0, 0, '1', S("abcde")); 141 test(S("abcde"), 0, 5, '1', S("11111abcde")); 142 test(S("abcde"), 0, 10, '1', S("1111111111abcde")); 143 test(S("abcde"), 0, 20, '1', S("11111111111111111111abcde")); 144 test(S("abcde"), 1, 0, '1', S("abcde")); 145 test(S("abcde"), 1, 5, '1', S("a11111bcde")); 146 test(S("abcde"), 1, 10, '1', S("a1111111111bcde")); 147 test(S("abcde"), 1, 20, '1', S("a11111111111111111111bcde")); 148 test(S("abcde"), 2, 0, '1', S("abcde")); 149 test(S("abcde"), 2, 5, '1', S("ab11111cde")); 150 test(S("abcde"), 2, 10, '1', S("ab1111111111cde")); 151 test(S("abcde"), 2, 20, '1', S("ab11111111111111111111cde")); 152 test(S("abcde"), 4, 0, '1', S("abcde")); 153 test(S("abcde"), 4, 5, '1', S("abcd11111e")); 154 test(S("abcde"), 4, 10, '1', S("abcd1111111111e")); 155 test(S("abcde"), 4, 20, '1', S("abcd11111111111111111111e")); 156 test(S("abcde"), 5, 0, '1', S("abcde")); 157 test(S("abcde"), 5, 5, '1', S("abcde11111")); 158 test(S("abcde"), 5, 10, '1', S("abcde1111111111")); 159 test(S("abcde"), 5, 20, '1', S("abcde11111111111111111111")); 160 test(S("abcde"), 6, 0, '1', S("can't happen")); 161 test(S("abcde"), 6, 5, '1', S("can't happen")); 162 test(S("abcde"), 6, 10, '1', S("can't happen")); 163 test(S("abcde"), 6, 20, '1', S("can't happen")); 164 test(S("abcdefghij"), 0, 0, '1', S("abcdefghij")); 165 test(S("abcdefghij"), 0, 5, '1', S("11111abcdefghij")); 166 test(S("abcdefghij"), 0, 10, '1', S("1111111111abcdefghij")); 167 test(S("abcdefghij"), 0, 20, '1', S("11111111111111111111abcdefghij")); 168 test(S("abcdefghij"), 1, 0, '1', S("abcdefghij")); 169 test(S("abcdefghij"), 1, 5, '1', S("a11111bcdefghij")); 170 test(S("abcdefghij"), 1, 10, '1', S("a1111111111bcdefghij")); 171 test(S("abcdefghij"), 1, 20, '1', S("a11111111111111111111bcdefghij")); 172 test(S("abcdefghij"), 5, 0, '1', S("abcdefghij")); 173 test(S("abcdefghij"), 5, 5, '1', S("abcde11111fghij")); 174 test(S("abcdefghij"), 5, 10, '1', S("abcde1111111111fghij")); 175 test(S("abcdefghij"), 5, 20, '1', S("abcde11111111111111111111fghij")); 176 test(S("abcdefghij"), 9, 0, '1', S("abcdefghij")); 177 test(S("abcdefghij"), 9, 5, '1', S("abcdefghi11111j")); 178 test(S("abcdefghij"), 9, 10, '1', S("abcdefghi1111111111j")); 179 test(S("abcdefghij"), 9, 20, '1', S("abcdefghi11111111111111111111j")); 180 test(S("abcdefghij"), 10, 0, '1', S("abcdefghij")); 181 test(S("abcdefghij"), 10, 5, '1', S("abcdefghij11111")); 182 test(S("abcdefghij"), 10, 10, '1', S("abcdefghij1111111111")); 183 test(S("abcdefghij"), 10, 20, '1', S("abcdefghij11111111111111111111")); 184 test(S("abcdefghij"), 11, 0, '1', S("can't happen")); 185 test(S("abcdefghij"), 11, 5, '1', S("can't happen")); 186 test(S("abcdefghij"), 11, 10, '1', S("can't happen")); 187 test(S("abcdefghij"), 11, 20, '1', S("can't happen")); 188 test(S("abcdefghijklmnopqrst"), 0, 0, '1', S("abcdefghijklmnopqrst")); 189 test(S("abcdefghijklmnopqrst"), 0, 5, '1', S("11111abcdefghijklmnopqrst")); 190 test(S("abcdefghijklmnopqrst"), 0, 10, '1', S("1111111111abcdefghijklmnopqrst")); 191 test(S("abcdefghijklmnopqrst"), 0, 20, '1', S("11111111111111111111abcdefghijklmnopqrst")); 192 test(S("abcdefghijklmnopqrst"), 1, 0, '1', S("abcdefghijklmnopqrst")); 193 test(S("abcdefghijklmnopqrst"), 1, 5, '1', S("a11111bcdefghijklmnopqrst")); 194 test(S("abcdefghijklmnopqrst"), 1, 10, '1', S("a1111111111bcdefghijklmnopqrst")); 195 test(S("abcdefghijklmnopqrst"), 1, 20, '1', S("a11111111111111111111bcdefghijklmnopqrst")); 196 test(S("abcdefghijklmnopqrst"), 10, 0, '1', S("abcdefghijklmnopqrst")); 197 test(S("abcdefghijklmnopqrst"), 10, 5, '1', S("abcdefghij11111klmnopqrst")); 198 test(S("abcdefghijklmnopqrst"), 10, 10, '1', S("abcdefghij1111111111klmnopqrst")); 199 test(S("abcdefghijklmnopqrst"), 10, 20, '1', S("abcdefghij11111111111111111111klmnopqrst")); 200 test(S("abcdefghijklmnopqrst"), 19, 0, '1', S("abcdefghijklmnopqrst")); 201 test(S("abcdefghijklmnopqrst"), 19, 5, '1', S("abcdefghijklmnopqrs11111t")); 202 test(S("abcdefghijklmnopqrst"), 19, 10, '1', S("abcdefghijklmnopqrs1111111111t")); 203 test(S("abcdefghijklmnopqrst"), 19, 20, '1', S("abcdefghijklmnopqrs11111111111111111111t")); 204 test(S("abcdefghijklmnopqrst"), 20, 0, '1', S("abcdefghijklmnopqrst")); 205 test(S("abcdefghijklmnopqrst"), 20, 5, '1', S("abcdefghijklmnopqrst11111")); 206 test(S("abcdefghijklmnopqrst"), 20, 10, '1', S("abcdefghijklmnopqrst1111111111")); 207 test(S("abcdefghijklmnopqrst"), 20, 20, '1', S("abcdefghijklmnopqrst11111111111111111111")); 208 test(S("abcdefghijklmnopqrst"), 21, 0, '1', S("can't happen")); 209 test(S("abcdefghijklmnopqrst"), 21, 5, '1', S("can't happen")); 210 test(S("abcdefghijklmnopqrst"), 21, 10, '1', S("can't happen")); 211 test(S("abcdefghijklmnopqrst"), 21, 20, '1', S("can't happen")); 212 } 213 #endif 214 } 215