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