1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant//                     The LLVM Compiler Infrastructure
4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <string>
11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// size_type rfind(const basic_string& str, size_type pos = npos) const;
13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <string>
15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert>
16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
17061d0cc4db18d17bf01ed14c5db0be098205bd47Marshall Clow#include "min_allocator.h"
189dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant
19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class S>
20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid
21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest(const S& s, const S& str, typename S::size_type pos, typename S::size_type x)
22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(s.rfind(str, pos) == x);
24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    if (x != S::npos)
25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(x <= pos && x + str.size() <= s.size());
26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class S>
29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid
30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest(const S& s, const S& str, typename S::size_type x)
31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(s.rfind(str) == x);
33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    if (x != S::npos)
34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(0 <= x && x + str.size() <= s.size());
35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
379dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnanttemplate <class S>
38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid test0()
39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S(""), S(""), 0, 0);
41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S(""), S("abcde"), 0, S::npos);
42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S(""), S("abcdeabcde"), 0, S::npos);
43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S(""), S("abcdeabcdeabcdeabcde"), 0, S::npos);
44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S(""), S(""), 1, 0);
45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S(""), S("abcde"), 1, S::npos);
46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S(""), S("abcdeabcde"), 1, S::npos);
47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S(""), S("abcdeabcdeabcdeabcde"), 1, S::npos);
48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S(""), 0, 0);
49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcde"), 0, 0);
50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcdeabcde"), 0, S::npos);
51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcdeabcdeabcdeabcde"), 0, S::npos);
52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S(""), 1, 1);
53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcde"), 1, 0);
54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcdeabcde"), 1, S::npos);
55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcdeabcdeabcdeabcde"), 1, S::npos);
56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S(""), 2, 2);
57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcde"), 2, 0);
58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcdeabcde"), 2, S::npos);
59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcdeabcdeabcdeabcde"), 2, S::npos);
60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S(""), 4, 4);
61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcde"), 4, 0);
62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcdeabcde"), 4, S::npos);
63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcdeabcdeabcdeabcde"), 4, S::npos);
64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S(""), 5, 5);
65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcde"), 5, 0);
66bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcdeabcde"), 5, S::npos);
67bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcdeabcdeabcdeabcde"), 5, S::npos);
68bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S(""), 6, 5);
69bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcde"), 6, 0);
70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcdeabcde"), 6, S::npos);
71bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcdeabcdeabcdeabcde"), 6, S::npos);
72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S(""), 0, 0);
73bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcde"), 0, 0);
74bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcdeabcde"), 0, 0);
75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcdeabcdeabcdeabcde"), 0, S::npos);
76bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S(""), 1, 1);
77bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcde"), 1, 0);
78bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcdeabcde"), 1, 0);
79bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcdeabcdeabcdeabcde"), 1, S::npos);
80bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S(""), 5, 5);
81bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcde"), 5, 5);
82bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcdeabcde"), 5, 0);
83bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcdeabcdeabcdeabcde"), 5, S::npos);
84bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S(""), 9, 9);
85bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcde"), 9, 5);
86bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcdeabcde"), 9, 0);
87bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcdeabcdeabcdeabcde"), 9, S::npos);
88bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S(""), 10, 10);
89bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcde"), 10, 5);
90bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcdeabcde"), 10, 0);
91bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcdeabcdeabcdeabcde"), 10, S::npos);
92bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S(""), 11, 10);
93bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcde"), 11, 5);
94bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcdeabcde"), 11, 0);
95bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcdeabcdeabcdeabcde"), 11, S::npos);
96bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S(""), 0, 0);
97bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcde"), 0, 0);
98bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcdeabcde"), 0, 0);
99bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcdeabcdeabcdeabcde"), 0, 0);
100bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S(""), 1, 1);
101bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcde"), 1, 0);
102bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcdeabcde"), 1, 0);
103bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcdeabcdeabcdeabcde"), 1, 0);
104bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S(""), 10, 10);
105bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcde"), 10, 10);
106bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcdeabcde"), 10, 10);
107bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcdeabcdeabcdeabcde"), 10, 0);
108bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S(""), 19, 19);
109bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcde"), 19, 15);
110bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcdeabcde"), 19, 10);
111bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcdeabcdeabcdeabcde"), 19, 0);
112bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S(""), 20, 20);
113bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcde"), 20, 15);
114bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcdeabcde"), 20, 10);
115bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcdeabcdeabcdeabcde"), 20, 0);
116bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S(""), 21, 20);
117bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcde"), 21, 15);
118bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcdeabcde"), 21, 10);
119bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcdeabcdeabcdeabcde"), 21, 0);
120bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
121bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
1229dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnanttemplate <class S>
123bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid test1()
124bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
125bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S(""), S(""), 0);
126bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S(""), S("abcde"), S::npos);
127bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S(""), S("abcdeabcde"), S::npos);
128bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S(""), S("abcdeabcdeabcdeabcde"), S::npos);
129bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S(""), 5);
130bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcde"), 0);
131bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcdeabcde"), S::npos);
132bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcde"), S("abcdeabcdeabcdeabcde"), S::npos);
133bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S(""), 10);
134bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcde"), 5);
135bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcdeabcde"), 0);
136bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcde"), S("abcdeabcdeabcdeabcde"), S::npos);
137bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S(""), 20);
138bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcde"), 15);
139bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcdeabcde"), 10);
140bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test(S("abcdeabcdeabcdeabcde"), S("abcdeabcdeabcdeabcde"), 0);
141bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
142bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
143bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main()
144bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
1459dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    {
1469dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    typedef std::string S;
1479dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    test0<S>();
1489dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    test1<S>();
1499dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    }
1509dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant#if __cplusplus >= 201103L
1519dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    {
1529dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
1539dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    test0<S>();
1549dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    test1<S>();
1559dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    }
1569dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant#endif
157bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
158