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 19 template <class S> 20 void 21 test(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 32 template <class S> 33 void 34 test(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 44 template <class S> 45 void 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 129 template <class S> 130 void 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 150 int 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