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 find(const basic_string& str, size_type pos = 0) 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.find(str, pos) == x); 24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant if (x != S::npos) 25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(pos <= x && 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.find(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, S::npos); 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, S::npos); 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, S::npos); 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, S::npos); 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, S::npos); 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, S::npos); 69bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcde"), S("abcde"), 6, S::npos); 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, 5); 78bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcde"), S("abcdeabcde"), 1, S::npos); 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, S::npos); 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, S::npos); 86bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcde"), S("abcdeabcde"), 9, S::npos); 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, S::npos); 90bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcde"), S("abcdeabcde"), 10, S::npos); 91bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcde"), S("abcdeabcdeabcdeabcde"), 10, S::npos); 92bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcde"), S(""), 11, S::npos); 93bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcde"), S("abcde"), 11, S::npos); 94bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcde"), S("abcdeabcde"), 11, S::npos); 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, 5); 102bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S("abcdeabcde"), 1, 5); 103bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S("abcdeabcdeabcdeabcde"), 1, S::npos); 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, S::npos); 108bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S(""), 19, 19); 109bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S("abcde"), 19, S::npos); 110bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S("abcdeabcde"), 19, S::npos); 111bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S("abcdeabcdeabcdeabcde"), 19, S::npos); 112bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S(""), 20, 20); 113bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S("abcde"), 20, S::npos); 114bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S("abcdeabcde"), 20, S::npos); 115bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S("abcdeabcdeabcdeabcde"), 20, S::npos); 116bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S(""), 21, S::npos); 117bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S("abcde"), 21, S::npos); 118bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S("abcdeabcde"), 21, S::npos); 119bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S("abcdeabcdeabcdeabcde"), 21, S::npos); 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(""), 0); 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(""), 0); 134bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcde"), S("abcde"), 0); 135bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcde"), S("abcdeabcde"), 0); 136bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcde"), S("abcdeabcdeabcdeabcde"), S::npos); 137bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S(""), 0); 138bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S("abcde"), 0); 139bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(S("abcdeabcdeabcdeabcde"), S("abcdeabcde"), 0); 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