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