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