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