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 // iterator insert(const_iterator p, size_type n, charT c); 13 14 #if _LIBCPP_DEBUG >= 1 15 #define _LIBCPP_ASSERT(x, m) ((x) ? (void)0 : std::exit(0)) 16 #endif 17 18 #include <string> 19 #include <cassert> 20 21 #include "min_allocator.h" 22 23 template <class S> 24 void 25 test(S s, typename S::difference_type pos, typename S::size_type n, 26 typename S::value_type c, S expected) 27 { 28 typename S::const_iterator p = s.cbegin() + pos; 29 typename S::iterator i = s.insert(p, n, c); 30 assert(s.__invariants()); 31 assert(i - s.begin() == pos); 32 assert(s == expected); 33 } 34 35 int main() 36 { 37 { 38 typedef std::string S; 39 test(S(""), 0, 0, '1', S("")); 40 test(S(""), 0, 5, '1', S("11111")); 41 test(S(""), 0, 10, '1', S("1111111111")); 42 test(S(""), 0, 20, '1', S("11111111111111111111")); 43 test(S("abcde"), 0, 0, '1', S("abcde")); 44 test(S("abcde"), 0, 5, '1', S("11111abcde")); 45 test(S("abcde"), 0, 10, '1', S("1111111111abcde")); 46 test(S("abcde"), 0, 20, '1', S("11111111111111111111abcde")); 47 test(S("abcde"), 1, 0, '1', S("abcde")); 48 test(S("abcde"), 1, 5, '1', S("a11111bcde")); 49 test(S("abcde"), 1, 10, '1', S("a1111111111bcde")); 50 test(S("abcde"), 1, 20, '1', S("a11111111111111111111bcde")); 51 test(S("abcde"), 2, 0, '1', S("abcde")); 52 test(S("abcde"), 2, 5, '1', S("ab11111cde")); 53 test(S("abcde"), 2, 10, '1', S("ab1111111111cde")); 54 test(S("abcde"), 2, 20, '1', S("ab11111111111111111111cde")); 55 test(S("abcde"), 4, 0, '1', S("abcde")); 56 test(S("abcde"), 4, 5, '1', S("abcd11111e")); 57 test(S("abcde"), 4, 10, '1', S("abcd1111111111e")); 58 test(S("abcde"), 4, 20, '1', S("abcd11111111111111111111e")); 59 test(S("abcde"), 5, 0, '1', S("abcde")); 60 test(S("abcde"), 5, 5, '1', S("abcde11111")); 61 test(S("abcde"), 5, 10, '1', S("abcde1111111111")); 62 test(S("abcde"), 5, 20, '1', S("abcde11111111111111111111")); 63 test(S("abcdefghij"), 0, 0, '1', S("abcdefghij")); 64 test(S("abcdefghij"), 0, 5, '1', S("11111abcdefghij")); 65 test(S("abcdefghij"), 0, 10, '1', S("1111111111abcdefghij")); 66 test(S("abcdefghij"), 0, 20, '1', S("11111111111111111111abcdefghij")); 67 test(S("abcdefghij"), 1, 0, '1', S("abcdefghij")); 68 test(S("abcdefghij"), 1, 5, '1', S("a11111bcdefghij")); 69 test(S("abcdefghij"), 1, 10, '1', S("a1111111111bcdefghij")); 70 test(S("abcdefghij"), 1, 20, '1', S("a11111111111111111111bcdefghij")); 71 test(S("abcdefghij"), 5, 0, '1', S("abcdefghij")); 72 test(S("abcdefghij"), 5, 5, '1', S("abcde11111fghij")); 73 test(S("abcdefghij"), 5, 10, '1', S("abcde1111111111fghij")); 74 test(S("abcdefghij"), 5, 20, '1', S("abcde11111111111111111111fghij")); 75 test(S("abcdefghij"), 9, 0, '1', S("abcdefghij")); 76 test(S("abcdefghij"), 9, 5, '1', S("abcdefghi11111j")); 77 test(S("abcdefghij"), 9, 10, '1', S("abcdefghi1111111111j")); 78 test(S("abcdefghij"), 9, 20, '1', S("abcdefghi11111111111111111111j")); 79 test(S("abcdefghij"), 10, 0, '1', S("abcdefghij")); 80 test(S("abcdefghij"), 10, 5, '1', S("abcdefghij11111")); 81 test(S("abcdefghij"), 10, 10, '1', S("abcdefghij1111111111")); 82 test(S("abcdefghij"), 10, 20, '1', S("abcdefghij11111111111111111111")); 83 test(S("abcdefghijklmnopqrst"), 0, 0, '1', S("abcdefghijklmnopqrst")); 84 test(S("abcdefghijklmnopqrst"), 0, 5, '1', S("11111abcdefghijklmnopqrst")); 85 test(S("abcdefghijklmnopqrst"), 0, 10, '1', S("1111111111abcdefghijklmnopqrst")); 86 test(S("abcdefghijklmnopqrst"), 0, 20, '1', S("11111111111111111111abcdefghijklmnopqrst")); 87 test(S("abcdefghijklmnopqrst"), 1, 0, '1', S("abcdefghijklmnopqrst")); 88 test(S("abcdefghijklmnopqrst"), 1, 5, '1', S("a11111bcdefghijklmnopqrst")); 89 test(S("abcdefghijklmnopqrst"), 1, 10, '1', S("a1111111111bcdefghijklmnopqrst")); 90 test(S("abcdefghijklmnopqrst"), 1, 20, '1', S("a11111111111111111111bcdefghijklmnopqrst")); 91 test(S("abcdefghijklmnopqrst"), 10, 0, '1', S("abcdefghijklmnopqrst")); 92 test(S("abcdefghijklmnopqrst"), 10, 5, '1', S("abcdefghij11111klmnopqrst")); 93 test(S("abcdefghijklmnopqrst"), 10, 10, '1', S("abcdefghij1111111111klmnopqrst")); 94 test(S("abcdefghijklmnopqrst"), 10, 20, '1', S("abcdefghij11111111111111111111klmnopqrst")); 95 test(S("abcdefghijklmnopqrst"), 19, 0, '1', S("abcdefghijklmnopqrst")); 96 test(S("abcdefghijklmnopqrst"), 19, 5, '1', S("abcdefghijklmnopqrs11111t")); 97 test(S("abcdefghijklmnopqrst"), 19, 10, '1', S("abcdefghijklmnopqrs1111111111t")); 98 test(S("abcdefghijklmnopqrst"), 19, 20, '1', S("abcdefghijklmnopqrs11111111111111111111t")); 99 test(S("abcdefghijklmnopqrst"), 20, 0, '1', S("abcdefghijklmnopqrst")); 100 test(S("abcdefghijklmnopqrst"), 20, 5, '1', S("abcdefghijklmnopqrst11111")); 101 test(S("abcdefghijklmnopqrst"), 20, 10, '1', S("abcdefghijklmnopqrst1111111111")); 102 test(S("abcdefghijklmnopqrst"), 20, 20, '1', S("abcdefghijklmnopqrst11111111111111111111")); 103 } 104 #if __cplusplus >= 201103L 105 { 106 typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S; 107 test(S(""), 0, 0, '1', S("")); 108 test(S(""), 0, 5, '1', S("11111")); 109 test(S(""), 0, 10, '1', S("1111111111")); 110 test(S(""), 0, 20, '1', S("11111111111111111111")); 111 test(S("abcde"), 0, 0, '1', S("abcde")); 112 test(S("abcde"), 0, 5, '1', S("11111abcde")); 113 test(S("abcde"), 0, 10, '1', S("1111111111abcde")); 114 test(S("abcde"), 0, 20, '1', S("11111111111111111111abcde")); 115 test(S("abcde"), 1, 0, '1', S("abcde")); 116 test(S("abcde"), 1, 5, '1', S("a11111bcde")); 117 test(S("abcde"), 1, 10, '1', S("a1111111111bcde")); 118 test(S("abcde"), 1, 20, '1', S("a11111111111111111111bcde")); 119 test(S("abcde"), 2, 0, '1', S("abcde")); 120 test(S("abcde"), 2, 5, '1', S("ab11111cde")); 121 test(S("abcde"), 2, 10, '1', S("ab1111111111cde")); 122 test(S("abcde"), 2, 20, '1', S("ab11111111111111111111cde")); 123 test(S("abcde"), 4, 0, '1', S("abcde")); 124 test(S("abcde"), 4, 5, '1', S("abcd11111e")); 125 test(S("abcde"), 4, 10, '1', S("abcd1111111111e")); 126 test(S("abcde"), 4, 20, '1', S("abcd11111111111111111111e")); 127 test(S("abcde"), 5, 0, '1', S("abcde")); 128 test(S("abcde"), 5, 5, '1', S("abcde11111")); 129 test(S("abcde"), 5, 10, '1', S("abcde1111111111")); 130 test(S("abcde"), 5, 20, '1', S("abcde11111111111111111111")); 131 test(S("abcdefghij"), 0, 0, '1', S("abcdefghij")); 132 test(S("abcdefghij"), 0, 5, '1', S("11111abcdefghij")); 133 test(S("abcdefghij"), 0, 10, '1', S("1111111111abcdefghij")); 134 test(S("abcdefghij"), 0, 20, '1', S("11111111111111111111abcdefghij")); 135 test(S("abcdefghij"), 1, 0, '1', S("abcdefghij")); 136 test(S("abcdefghij"), 1, 5, '1', S("a11111bcdefghij")); 137 test(S("abcdefghij"), 1, 10, '1', S("a1111111111bcdefghij")); 138 test(S("abcdefghij"), 1, 20, '1', S("a11111111111111111111bcdefghij")); 139 test(S("abcdefghij"), 5, 0, '1', S("abcdefghij")); 140 test(S("abcdefghij"), 5, 5, '1', S("abcde11111fghij")); 141 test(S("abcdefghij"), 5, 10, '1', S("abcde1111111111fghij")); 142 test(S("abcdefghij"), 5, 20, '1', S("abcde11111111111111111111fghij")); 143 test(S("abcdefghij"), 9, 0, '1', S("abcdefghij")); 144 test(S("abcdefghij"), 9, 5, '1', S("abcdefghi11111j")); 145 test(S("abcdefghij"), 9, 10, '1', S("abcdefghi1111111111j")); 146 test(S("abcdefghij"), 9, 20, '1', S("abcdefghi11111111111111111111j")); 147 test(S("abcdefghij"), 10, 0, '1', S("abcdefghij")); 148 test(S("abcdefghij"), 10, 5, '1', S("abcdefghij11111")); 149 test(S("abcdefghij"), 10, 10, '1', S("abcdefghij1111111111")); 150 test(S("abcdefghij"), 10, 20, '1', S("abcdefghij11111111111111111111")); 151 test(S("abcdefghijklmnopqrst"), 0, 0, '1', S("abcdefghijklmnopqrst")); 152 test(S("abcdefghijklmnopqrst"), 0, 5, '1', S("11111abcdefghijklmnopqrst")); 153 test(S("abcdefghijklmnopqrst"), 0, 10, '1', S("1111111111abcdefghijklmnopqrst")); 154 test(S("abcdefghijklmnopqrst"), 0, 20, '1', S("11111111111111111111abcdefghijklmnopqrst")); 155 test(S("abcdefghijklmnopqrst"), 1, 0, '1', S("abcdefghijklmnopqrst")); 156 test(S("abcdefghijklmnopqrst"), 1, 5, '1', S("a11111bcdefghijklmnopqrst")); 157 test(S("abcdefghijklmnopqrst"), 1, 10, '1', S("a1111111111bcdefghijklmnopqrst")); 158 test(S("abcdefghijklmnopqrst"), 1, 20, '1', S("a11111111111111111111bcdefghijklmnopqrst")); 159 test(S("abcdefghijklmnopqrst"), 10, 0, '1', S("abcdefghijklmnopqrst")); 160 test(S("abcdefghijklmnopqrst"), 10, 5, '1', S("abcdefghij11111klmnopqrst")); 161 test(S("abcdefghijklmnopqrst"), 10, 10, '1', S("abcdefghij1111111111klmnopqrst")); 162 test(S("abcdefghijklmnopqrst"), 10, 20, '1', S("abcdefghij11111111111111111111klmnopqrst")); 163 test(S("abcdefghijklmnopqrst"), 19, 0, '1', S("abcdefghijklmnopqrst")); 164 test(S("abcdefghijklmnopqrst"), 19, 5, '1', S("abcdefghijklmnopqrs11111t")); 165 test(S("abcdefghijklmnopqrst"), 19, 10, '1', S("abcdefghijklmnopqrs1111111111t")); 166 test(S("abcdefghijklmnopqrst"), 19, 20, '1', S("abcdefghijklmnopqrs11111111111111111111t")); 167 test(S("abcdefghijklmnopqrst"), 20, 0, '1', S("abcdefghijklmnopqrst")); 168 test(S("abcdefghijklmnopqrst"), 20, 5, '1', S("abcdefghijklmnopqrst11111")); 169 test(S("abcdefghijklmnopqrst"), 20, 10, '1', S("abcdefghijklmnopqrst1111111111")); 170 test(S("abcdefghijklmnopqrst"), 20, 20, '1', S("abcdefghijklmnopqrst11111111111111111111")); 171 } 172 #endif 173 #if _LIBCPP_DEBUG >= 1 174 { 175 std::string s; 176 std::string s2; 177 s.insert(s2.begin(), 1, 'a'); 178 assert(false); 179 } 180 #endif 181 } 182