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
test(S s,typename S::difference_type pos,typename S::size_type n,typename S::value_type c,S expected)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 
main()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