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// size_type rfind(const charT* s, size_type pos = npos) const;
13
14#include <string>
15#include <cassert>
16
17#include "min_allocator.h"
18
19template <class S>
20void
21test(const S& s, const typename S::value_type* str, typename S::size_type pos,
22     typename S::size_type x)
23{
24    assert(s.rfind(str, pos) == x);
25    if (x != S::npos)
26    {
27        typename S::size_type n = S::traits_type::length(str);
28        assert(x <= pos && x + n <= s.size());
29    }
30}
31
32template <class S>
33void
34test(const S& s, const typename S::value_type* str, typename S::size_type x)
35{
36    assert(s.rfind(str) == x);
37    if (x != S::npos)
38    {
39        typename S::size_type pos = s.size();
40        typename S::size_type n = S::traits_type::length(str);
41        assert(x <= pos && x + n <= s.size());
42    }
43}
44
45template <class S>
46void test0()
47{
48    test(S(""), "", 0, 0);
49    test(S(""), "abcde", 0, S::npos);
50    test(S(""), "abcdeabcde", 0, S::npos);
51    test(S(""), "abcdeabcdeabcdeabcde", 0, S::npos);
52    test(S(""), "", 1, 0);
53    test(S(""), "abcde", 1, S::npos);
54    test(S(""), "abcdeabcde", 1, S::npos);
55    test(S(""), "abcdeabcdeabcdeabcde", 1, S::npos);
56    test(S("abcde"), "", 0, 0);
57    test(S("abcde"), "abcde", 0, 0);
58    test(S("abcde"), "abcdeabcde", 0, S::npos);
59    test(S("abcde"), "abcdeabcdeabcdeabcde", 0, S::npos);
60    test(S("abcde"), "", 1, 1);
61    test(S("abcde"), "abcde", 1, 0);
62    test(S("abcde"), "abcdeabcde", 1, S::npos);
63    test(S("abcde"), "abcdeabcdeabcdeabcde", 1, S::npos);
64    test(S("abcde"), "", 2, 2);
65    test(S("abcde"), "abcde", 2, 0);
66    test(S("abcde"), "abcdeabcde", 2, S::npos);
67    test(S("abcde"), "abcdeabcdeabcdeabcde", 2, S::npos);
68    test(S("abcde"), "", 4, 4);
69    test(S("abcde"), "abcde", 4, 0);
70    test(S("abcde"), "abcdeabcde", 4, S::npos);
71    test(S("abcde"), "abcdeabcdeabcdeabcde", 4, S::npos);
72    test(S("abcde"), "", 5, 5);
73    test(S("abcde"), "abcde", 5, 0);
74    test(S("abcde"), "abcdeabcde", 5, S::npos);
75    test(S("abcde"), "abcdeabcdeabcdeabcde", 5, S::npos);
76    test(S("abcde"), "", 6, 5);
77    test(S("abcde"), "abcde", 6, 0);
78    test(S("abcde"), "abcdeabcde", 6, S::npos);
79    test(S("abcde"), "abcdeabcdeabcdeabcde", 6, S::npos);
80    test(S("abcdeabcde"), "", 0, 0);
81    test(S("abcdeabcde"), "abcde", 0, 0);
82    test(S("abcdeabcde"), "abcdeabcde", 0, 0);
83    test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 0, S::npos);
84    test(S("abcdeabcde"), "", 1, 1);
85    test(S("abcdeabcde"), "abcde", 1, 0);
86    test(S("abcdeabcde"), "abcdeabcde", 1, 0);
87    test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 1, S::npos);
88    test(S("abcdeabcde"), "", 5, 5);
89    test(S("abcdeabcde"), "abcde", 5, 5);
90    test(S("abcdeabcde"), "abcdeabcde", 5, 0);
91    test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 5, S::npos);
92    test(S("abcdeabcde"), "", 9, 9);
93    test(S("abcdeabcde"), "abcde", 9, 5);
94    test(S("abcdeabcde"), "abcdeabcde", 9, 0);
95    test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 9, S::npos);
96    test(S("abcdeabcde"), "", 10, 10);
97    test(S("abcdeabcde"), "abcde", 10, 5);
98    test(S("abcdeabcde"), "abcdeabcde", 10, 0);
99    test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 10, S::npos);
100    test(S("abcdeabcde"), "", 11, 10);
101    test(S("abcdeabcde"), "abcde", 11, 5);
102    test(S("abcdeabcde"), "abcdeabcde", 11, 0);
103    test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 11, S::npos);
104    test(S("abcdeabcdeabcdeabcde"), "", 0, 0);
105    test(S("abcdeabcdeabcdeabcde"), "abcde", 0, 0);
106    test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 0, 0);
107    test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 0, 0);
108    test(S("abcdeabcdeabcdeabcde"), "", 1, 1);
109    test(S("abcdeabcdeabcdeabcde"), "abcde", 1, 0);
110    test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 1, 0);
111    test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 1, 0);
112    test(S("abcdeabcdeabcdeabcde"), "", 10, 10);
113    test(S("abcdeabcdeabcdeabcde"), "abcde", 10, 10);
114    test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 10, 10);
115    test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 10, 0);
116    test(S("abcdeabcdeabcdeabcde"), "", 19, 19);
117    test(S("abcdeabcdeabcdeabcde"), "abcde", 19, 15);
118    test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 19, 10);
119    test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 19, 0);
120    test(S("abcdeabcdeabcdeabcde"), "", 20, 20);
121    test(S("abcdeabcdeabcdeabcde"), "abcde", 20, 15);
122    test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 20, 10);
123    test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 20, 0);
124    test(S("abcdeabcdeabcdeabcde"), "", 21, 20);
125    test(S("abcdeabcdeabcdeabcde"), "abcde", 21, 15);
126    test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 21, 10);
127    test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 21, 0);
128}
129
130template <class S>
131void test1()
132{
133    test(S(""), "", 0);
134    test(S(""), "abcde", S::npos);
135    test(S(""), "abcdeabcde", S::npos);
136    test(S(""), "abcdeabcdeabcdeabcde", S::npos);
137    test(S("abcde"), "", 5);
138    test(S("abcde"), "abcde", 0);
139    test(S("abcde"), "abcdeabcde", S::npos);
140    test(S("abcde"), "abcdeabcdeabcdeabcde", S::npos);
141    test(S("abcdeabcde"), "", 10);
142    test(S("abcdeabcde"), "abcde", 5);
143    test(S("abcdeabcde"), "abcdeabcde", 0);
144    test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", S::npos);
145    test(S("abcdeabcdeabcdeabcde"), "", 20);
146    test(S("abcdeabcdeabcdeabcde"), "abcde", 15);
147    test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 10);
148    test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 0);
149}
150
151int main()
152{
153    {
154    typedef std::string S;
155    test0<S>();
156    test1<S>();
157    }
158#if __cplusplus >= 201103L
159    {
160    typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
161    test0<S>();
162    test1<S>();
163    }
164#endif
165}
166