[ 0:00] compiling /home/xrockai/src/divine/nightly/test/libcxx/strings/find_first_of_pointer_size_size.pass.cpp [ 0:00] In file included from /home/xrockai/src/divine/nightly/test/libcxx/strings/find_first_of_pointer_size_size.pass.cpp:16: [ 0:00] In file included from /dios/libcxx/include/string_view:175: [ 0:00] In file included from /dios/libcxx/include/__string:56: [ 0:00] In file included from /dios/libcxx/include/algorithm:639: [ 0:00] In file included from /dios/libcxx/include/initializer_list:46: [ 0:00] In file included from /dios/libcxx/include/cstddef:44: [ 0:00] In file included from /dios/include/stddef.h:10: [ 0:00] In file included from /dios/include/_PDCLIB/int.h:16: [ 0:00] /dios/include/_PDCLIB/cdefs.h:69:10: warning: Unsupported _ _cplusplus (__cplusplus) (too new) (supported: ISO/IEC 14882:1997, ISO/IEC 14882:2011). [ 0:00] #warning Unsupported _ _cplusplus (__cplusplus) (too new) (supported: ISO/IEC 14882:1997, ISO/IEC 14882:2011). [ 0:00] ^ [ 0:00] 1 warning generated. [ 0:01] compiling /dios/lib/config/seqklee.bc [ 0:01] setting up pass: functionmeta, options = [ 0:02] setting up pass: fuse-ctors, options = [ 0:02] KLEE: output directory is "/var/obj/divine-nightly/semidbg/test/__test_work_dir.23/_klee_out" [ 0:05] KLEE: Using Z3 solver backend [ 0:05] WARNING: this target does not support the llvm.stacksave intrinsic. [ 0:05] warning: Linking two modules of different target triples: klee_div_zero_check.bc' is 'x86_64-unknown-linux-gnu' whereas 'klee.bc' is 'x86_64-unknown-none-elf' [ 0:05] [ 0:05] KLEE: WARNING: undefined reference to function: _Z10klee_abortv [ 0:09] KLEE: WARNING: undefined reference to function: __dios_tainted_init [ 0:09] KLEE: WARNING: undefined reference to function: klee_free [ 0:09] KLEE: WARNING: undefined reference to function: klee_malloc [ 0:09] KLEE: WARNING ONCE: Using zero size array fix for landingpad instruction filter [ 0:09] i:1 [ 0:09] KLEE: WARNING ONCE: Alignment of memory from call "klee_malloc" is not modelled. Using alignment of 8. [ 0:09] about to __boot:0 [ 0:09] about to run the scheduler:0 [ 0:09] KLEE: WARNING ONCE: calling external: __dios_tainted_init() at /dios/libc/sys/start.cpp:49 5 [ 0:09] KLEE: ERROR: /dios/libc/sys/start.cpp:87: failed external call: __dios_tainted_init [ 0:09] KLEE: NOTE: now ignoring this error at this location [ 0:09] KLEE: ERROR: EXITING ON ERROR: [ 0:09] Error: failed external call: __dios_tainted_init [ 0:09] File: /dios/libc/sys/start.cpp [ 0:09] Line: 87 [ 0:09] assembly.ll line: 70697 [ 0:09] Stack: [ 0:09] #000070697 in __dios_start (l=2, argc=1, argv=94893530567176, envp=94893530628104) at /dios/libc/sys/start.cpp:87 [ 0:09] #100018699 in _ZN6__dios10sched_nullINS_5ClockINS_10NondetKleeINS_4BaseEEEEEE13run_schedulerINS_7ContextEEEvv () at /dios/sys/sched_null.hpp:163 [ 0:09] #200079277 in klee_boot (argc=2, argv=94893571427712) at /dios/arch/klee/boot.c:41 [ 0:09] [ 0:09] [ 0:09] 1 /* TAGS: c++ fin */ [ 0:10] 2 /* CC_OPTS: -std=c++2a */ [ 0:10] 3 /* VERIFY_OPTS: -o nofail:malloc */ [ 0:10] 4 //===----------------------------------------------------------------------===// [ 0:10] 5 // [ 0:10] 6 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. [ 0:10] 7 // See https://llvm.org/LICENSE.txt for license information. [ 0:10] 8 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception [ 0:10] 9 // [ 0:10] 10 //===----------------------------------------------------------------------===// [ 0:10] 11 [ 0:10] 12 // [ 0:10] 13 [ 0:10] 14 // constexpr size_type find_first_of(const charT* s, size_type pos, size_type n) const; [ 0:10] 15 [ 0:10] 16 #include [ 0:10] 17 #include [ 0:10] 18 [ 0:10] 19 #include "test_macros.h" [ 0:10] 20 #include "constexpr_char_traits.hpp" [ 0:10] 21 [ 0:10] 22 template [ 0:10] 23 void [ 0:10] 24 test(const S& s, const typename S::value_type* str, typename S::size_type pos, [ 0:10] 25 typename S::size_type n, typename S::size_type x) [ 0:10] 26 { [ 0:10] 27 assert(s.find_first_of(str, pos, n) == x); [ 0:10] 28 if (x != S::npos) [ 0:10] 29 assert(pos <= x && x < s.size()); [ 0:10] 30 } [ 0:10] 31 [ 0:10] 32 template [ 0:10] 33 void test0() [ 0:10] 34 { [ 0:10] 35 test(S(""), "", 0, 0, S::npos); [ 0:10] 36 test(S(""), "irkhs", 0, 0, S::npos); [ 0:10] 37 test(S(""), "kante", 0, 1, S::npos); [ 0:10] 38 test(S(""), "oknlr", 0, 2, S::npos); [ 0:10] 39 test(S(""), "pcdro", 0, 4, S::npos); [ 0:10] 40 test(S(""), "bnrpe", 0, 5, S::npos); [ 0:10] 41 test(S(""), "jtdaefblso", 0, 0, S::npos); [ 0:10] 42 test(S(""), "oselktgbca", 0, 1, S::npos); [ 0:10] 43 test(S(""), "eqgaplhckj", 0, 5, S::npos); [ 0:10] 44 test(S(""), "bjahtcmnlp", 0, 9, S::npos); [ 0:10] 45 test(S(""), "hjlcmgpket", 0, 10, S::npos); [ 0:10] 46 test(S(""), "htaobedqikfplcgjsmrn", 0, 0, S::npos); [ 0:10] 47 test(S(""), "hpqiarojkcdlsgnmfetb", 0, 1, S::npos); [ 0:10] 48 test(S(""), "dfkaprhjloqetcsimnbg", 0, 10, S::npos); [ 0:10] 49 test(S(""), "ihqrfebgadntlpmjksoc", 0, 19, S::npos); [ 0:10] 50 test(S(""), "ngtjfcalbseiqrphmkdo", 0, 20, S::npos); [ 0:10] 51 test(S(""), "", 1, 0, S::npos); [ 0:10] 52 test(S(""), "lbtqd", 1, 0, S::npos); [ 0:10] 53 test(S(""), "tboim", 1, 1, S::npos); [ 0:10] 54 test(S(""), "slcer", 1, 2, S::npos); [ 0:10] 55 test(S(""), "cbjfs", 1, 4, S::npos); [ 0:10] 56 test(S(""), "aqibs", 1, 5, S::npos); [ 0:10] 57 test(S(""), "gtfblmqinc", 1, 0, S::npos); [ 0:10] 58 test(S(""), "mkqpbtdalg", 1, 1, S::npos); [ 0:10] 59 test(S(""), "kphatlimcd", 1, 5, S::npos); [ 0:10] 60 test(S(""), "pblasqogic", 1, 9, S::npos); [ 0:10] 61 test(S(""), "arosdhcfme", 1, 10, S::npos); [ 0:10] 62 test(S(""), "blkhjeogicatqfnpdmsr", 1, 0, S::npos); [ 0:10] 63 test(S(""), "bmhineprjcoadgstflqk", 1, 1, S::npos); [ 0:10] 64 test(S(""), "djkqcmetslnghpbarfoi", 1, 10, S::npos); [ 0:10] 65 test(S(""), "lgokshjtpbemarcdqnfi", 1, 19, S::npos); [ 0:10] 66 test(S(""), "bqjhtkfepimcnsgrlado", 1, 20, S::npos); [ 0:10] 67 test(S("eaint"), "", 0, 0, S::npos); [ 0:10] 68 test(S("binja"), "gfsrt", 0, 0, S::npos); [ 0:10] 69 test(S("latkm"), "pfsoc", 0, 1, S::npos); [ 0:10] 70 test(S("lecfr"), "tpflm", 0, 2, S::npos); [ 0:10] 71 test(S("eqkst"), "sgkec", 0, 4, 0); [ 0:10] 72 test(S("cdafr"), "romds", 0, 5, 1); [ 0:10] 73 test(S("prbhe"), "qhjistlgmr", 0, 0, S::npos); [ 0:10] 74 test(S("lbisk"), "pedfirsglo", 0, 1, S::npos); [ 0:10] 75 test(S("hrlpd"), "aqcoslgrmk", 0, 5, S::npos); [ 0:10] 76 test(S("ehmja"), "dabckmepqj", 0, 9, 0); [ 0:10] 77 test(S("mhqgd"), "pqscrjthli", 0, 10, 1); [ 0:10] 78 test(S("tgklq"), "kfphdcsjqmobliagtren", 0, 0, S::npos); [ 0:10] 79 test(S("bocjs"), "rokpefncljibsdhqtagm", 0, 1, S::npos); [ 0:10] 80 test(S("grbsd"), "afionmkphlebtcjqsgrd", 0, 10, S::npos); [ 0:10] 81 test(S("ofjqr"), "aenmqplidhkofrjbctsg", 0, 19, 0); [ 0:10] 82 test(S("btlfi"), "osjmbtcadhiklegrpqnf", 0, 20, 0); [ 0:10] 83 test(S("clrgb"), "", 1, 0, S::npos); [ 0:10] 84 test(S("tjmek"), "osmia", 1, 0, S::npos); [ 0:10] 85 test(S("bgstp"), "ckonl", 1, 1, S::npos); [ 0:10] 86 test(S("hstrk"), "ilcaj", 1, 2, S::npos); [ 0:10] 87 test(S("kmspj"), "lasiq", 1, 4, 2); [ 0:10] 88 test(S("tjboh"), "kfqmr", 1, 5, S::npos); [ 0:10] 89 test(S("ilbcj"), "klnitfaobg", 1, 0, S::npos); [ 0:10] 90 test(S("jkngf"), "gjhmdlqikp", 1, 1, 3); [ 0:10] 91 test(S("gfcql"), "skbgtahqej", 1, 5, S::npos); [ 0:10] 92 test(S("dqtlg"), "bjsdgtlpkf", 1, 9, 2); [ 0:10] 93 test(S("bthpg"), "bjgfmnlkio", 1, 10, 4); [ 0:10] 94 test(S("dgsnq"), "lbhepotfsjdqigcnamkr", 1, 0, S::npos); [ 0:10] 95 test(S("rmfhp"), "tebangckmpsrqdlfojhi", 1, 1, S::npos); [ 0:10] 96 test(S("jfdam"), "joflqbdkhtegimscpanr", 1, 10, 1); [ 0:10] 97 test(S("edapb"), "adpmcohetfbsrjinlqkg", 1, 19, 1); [ 0:10] 98 test(S("brfsm"), "iacldqjpfnogbsrhmetk", 1, 20, 1); [ 0:10] 99 test(S("ndrhl"), "", 2, 0, S::npos); [ 0:10] 100 test(S("mrecp"), "otkgb", 2, 0, S::npos); [ 0:10] 101 test(S("qlasf"), "cqsjl", 2, 1, S::npos); [ 0:10] 102 test(S("smaqd"), "dpifl", 2, 2, 4); [ 0:10] 103 test(S("hjeni"), "oapht", 2, 4, S::npos); [ 0:10] 104 test(S("ocmfj"), "cifts", 2, 5, 3); [ 0:10] 105 test(S("hmftq"), "nmsckbgalo", 2, 0, S::npos); [ 0:10] 106 test(S("fklad"), "tpksqhamle", 2, 1, S::npos); [ 0:10] 107 test(S("dirnm"), "tpdrchmkji", 2, 5, 2); [ 0:10] 108 test(S("hrgdc"), "ijagfkblst", 2, 9, 2); [ 0:10] 109 test(S("ifakg"), "kpocsignjb", 2, 10, 3); [ 0:10] 110 test(S("ebrgd"), "pecqtkjsnbdrialgmohf", 2, 0, S::npos); [ 0:10] 111 test(S("rcjml"), "aiortphfcmkjebgsndql", 2, 1, S::npos); [ 0:10] 112 test(S("peqmt"), "sdbkeamglhipojqftrcn", 2, 10, 3); [ 0:10] 113 test(S("frehn"), "ljqncehgmfktroapidbs", 2, 19, 2); [ 0:10] 114 test(S("tqolf"), "rtcfodilamkbenjghqps", 2, 20, 2); [ 0:10] 115 test(S("cjgao"), "", 4, 0, S::npos); [ 0:10] 116 test(S("kjplq"), "mabns", 4, 0, S::npos); [ 0:10] 117 test(S("herni"), "bdnrp", 4, 1, S::npos); [ 0:10] 118 test(S("tadrb"), "scidp", 4, 2, S::npos); [ 0:10] 119 test(S("pkfeo"), "agbjl", 4, 4, S::npos); [ 0:10] 120 test(S("hoser"), "jfmpr", 4, 5, 4); [ 0:10] 121 test(S("kgrsp"), "rbpefghsmj", 4, 0, S::npos); [ 0:10] 122 test(S("pgejb"), "apsfntdoqc", 4, 1, S::npos); [ 0:10] 123 test(S("thlnq"), "ndkjeisgcl", 4, 5, S::npos); [ 0:10] 124 test(S("nbmit"), "rnfpqatdeo", 4, 9, 4); [ 0:10] 125 test(S("jgmib"), "bntjlqrfik", 4, 10, 4); [ 0:10] 126 test(S("ncrfj"), "kcrtmpolnaqejghsfdbi", 4, 0, S::npos); [ 0:10] 127 test(S("ncsik"), "lobheanpkmqidsrtcfgj", 4, 1, S::npos); [ 0:10] 128 test(S("sgbfh"), "athdkljcnreqbgpmisof", 4, 10, 4); [ 0:10] 129 test(S("dktbn"), "qkdmjialrscpbhefgont", 4, 19, 4); [ 0:10] 130 test(S("fthqm"), "dmasojntqleribkgfchp", 4, 20, 4); [ 0:10] 131 test(S("klopi"), "", 5, 0, S::npos); [ 0:10] 132 test(S("dajhn"), "psthd", 5, 0, S::npos); [ 0:10] 133 test(S("jbgno"), "rpmjd", 5, 1, S::npos); [ 0:10] 134 test(S("hkjae"), "dfsmk", 5, 2, S::npos); [ 0:10] 135 } [ 0:10] 136 [ 0:10] 137 template [ 0:10] 138 void test1() [ 0:10] 139 { [ 0:10] 140 test(S("gbhqo"), "skqne", 5, 4, S::npos); [ 0:10] 141 test(S("ktdor"), "kipnf", 5, 5, S::npos); [ 0:10] 142 test(S("ldprn"), "hmrnqdgifl", 5, 0, S::npos); [ 0:10] 143 test(S("egmjk"), "fsmjcdairn", 5, 1, S::npos); [ 0:10] 144 test(S("armql"), "pcdgltbrfj", 5, 5, S::npos); [ 0:10] 145 test(S("cdhjo"), "aekfctpirg", 5, 9, S::npos); [ 0:10] 146 test(S("jcons"), "ledihrsgpf", 5, 10, S::npos); [ 0:10] 147 test(S("cbrkp"), "mqcklahsbtirgopefndj", 5, 0, S::npos); [ 0:10] 148 test(S("fhgna"), "kmlthaoqgecrnpdbjfis", 5, 1, S::npos); [ 0:10] 149 test(S("ejfcd"), "sfhbamcdptojlkrenqgi", 5, 10, S::npos); [ 0:10] 150 test(S("kqjhe"), "pbniofmcedrkhlstgaqj", 5, 19, S::npos); [ 0:10] 151 test(S("pbdjl"), "mongjratcskbhqiepfdl", 5, 20, S::npos); [ 0:10] 152 test(S("gajqn"), "", 6, 0, S::npos); [ 0:10] 153 test(S("stedk"), "hrnat", 6, 0, S::npos); [ 0:10] 154 test(S("tjkaf"), "gsqdt", 6, 1, S::npos); [ 0:10] 155 test(S("dthpe"), "bspkd", 6, 2, S::npos); [ 0:10] 156 test(S("klhde"), "ohcmb", 6, 4, S::npos); [ 0:10] 157 test(S("bhlki"), "heatr", 6, 5, S::npos); [ 0:10] 158 test(S("lqmoh"), "pmblckedfn", 6, 0, S::npos); [ 0:10] 159 test(S("mtqin"), "aceqmsrbik", 6, 1, S::npos); [ 0:10] 160 test(S("dpqbr"), "lmbtdehjrn", 6, 5, S::npos); [ 0:10] 161 test(S("kdhmo"), "teqmcrlgib", 6, 9, S::npos); [ 0:10] 162 test(S("jblqp"), "njolbmspac", 6, 10, S::npos); [ 0:10] 163 test(S("qmjgl"), "pofnhidklamecrbqjgst", 6, 0, S::npos); [ 0:10] 164 test(S("rothp"), "jbhckmtgrqnosafedpli", 6, 1, S::npos); [ 0:10] 165 test(S("ghknq"), "dobntpmqklicsahgjerf", 6, 10, S::npos); [ 0:10] 166 test(S("eopfi"), "tpdshainjkbfoemlrgcq", 6, 19, S::npos); [ 0:10] 167 test(S("dsnmg"), "oldpfgeakrnitscbjmqh", 6, 20, S::npos); [ 0:10] 168 test(S("jnkrfhotgl"), "", 0, 0, S::npos); [ 0:10] 169 test(S("dltjfngbko"), "rqegt", 0, 0, S::npos); [ 0:10] 170 test(S("bmjlpkiqde"), "dashm", 0, 1, 8); [ 0:10] 171 test(S("skrflobnqm"), "jqirk", 0, 2, 8); [ 0:10] 172 test(S("jkpldtshrm"), "rckeg", 0, 4, 1); [ 0:10] 173 test(S("ghasdbnjqo"), "jscie", 0, 5, 3); [ 0:10] 174 test(S("igrkhpbqjt"), "efsphndliq", 0, 0, S::npos); [ 0:10] 175 test(S("ikthdgcamf"), "gdicosleja", 0, 1, 5); [ 0:10] 176 test(S("pcofgeniam"), "qcpjibosfl", 0, 5, 0); [ 0:10] 177 test(S("rlfjgesqhc"), "lrhmefnjcq", 0, 9, 0); [ 0:10] 178 test(S("itphbqsker"), "dtablcrseo", 0, 10, 1); [ 0:10] 179 test(S("skjafcirqm"), "apckjsftedbhgomrnilq", 0, 0, S::npos); [ 0:10] 180 test(S("tcqomarsfd"), "pcbrgflehjtiadnsokqm", 0, 1, S::npos); [ 0:10] 181 test(S("rocfeldqpk"), "nsiadegjklhobrmtqcpf", 0, 10, 4); [ 0:10] 182 test(S("cfpegndlkt"), "cpmajdqnolikhgsbretf", 0, 19, 0); [ 0:10] 183 test(S("fqbtnkeasj"), "jcflkntmgiqrphdosaeb", 0, 20, 0); [ 0:10] 184 test(S("shbcqnmoar"), "", 1, 0, S::npos); [ 0:10] 185 test(S("bdoshlmfin"), "ontrs", 1, 0, S::npos); [ 0:10] 186 test(S("khfrebnsgq"), "pfkna", 1, 1, S::npos); [ 0:10] 187 test(S("getcrsaoji"), "ekosa", 1, 2, 1); [ 0:10] 188 test(S("fjiknedcpq"), "anqhk", 1, 4, 4); [ 0:10] 189 test(S("tkejgnafrm"), "jekca", 1, 5, 1); [ 0:10] 190 test(S("jnakolqrde"), "ikemsjgacf", 1, 0, S::npos); [ 0:10] 191 test(S("lcjptsmgbe"), "arolgsjkhm", 1, 1, S::npos); [ 0:10] 192 test(S("itfsmcjorl"), "oftkbldhre", 1, 5, 1); [ 0:10] 193 test(S("omchkfrjea"), "gbkqdoeftl", 1, 9, 4); [ 0:10] 194 test(S("cigfqkated"), "sqcflrgtim", 1, 10, 1); [ 0:10] 195 test(S("tscenjikml"), "fmhbkislrjdpanogqcet", 1, 0, S::npos); [ 0:10] 196 test(S("qcpaemsinf"), "rnioadktqlgpbcjsmhef", 1, 1, S::npos); [ 0:10] 197 test(S("gltkojeipd"), "oakgtnldpsefihqmjcbr", 1, 10, 1); [ 0:10] 198 test(S("qistfrgnmp"), "gbnaelosidmcjqktfhpr", 1, 19, 1); [ 0:10] 199 test(S("bdnpfcqaem"), "akbripjhlosndcmqgfet", 1, 20, 1); [ 0:10] 200 test(S("ectnhskflp"), "", 5, 0, S::npos); [ 0:10] 201 test(S("fgtianblpq"), "pijag", 5, 0, S::npos); [ 0:10] 202 test(S("mfeqklirnh"), "jrckd", 5, 1, S::npos); [ 0:10] 203 test(S("astedncjhk"), "qcloh", 5, 2, 6); [ 0:10] 204 test(S("fhlqgcajbr"), "thlmp", 5, 4, S::npos); [ 0:10] 205 test(S("epfhocmdng"), "qidmo", 5, 5, 6); [ 0:10] 206 test(S("apcnsibger"), "lnegpsjqrd", 5, 0, S::npos); [ 0:10] 207 test(S("aqkocrbign"), "rjqdablmfs", 5, 1, 5); [ 0:10] 208 test(S("ijsmdtqgce"), "enkgpbsjaq", 5, 5, 7); [ 0:10] 209 test(S("clobgsrken"), "kdsgoaijfh", 5, 9, 5); [ 0:10] 210 test(S("jbhcfposld"), "trfqgmckbe", 5, 10, S::npos); [ 0:10] 211 test(S("oqnpblhide"), "igetsracjfkdnpoblhqm", 5, 0, S::npos); [ 0:10] 212 test(S("lroeasctif"), "nqctfaogirshlekbdjpm", 5, 1, S::npos); [ 0:10] 213 test(S("bpjlgmiedh"), "csehfgomljdqinbartkp", 5, 10, 5); [ 0:10] 214 test(S("pamkeoidrj"), "qahoegcmplkfsjbdnitr", 5, 19, 5); [ 0:10] 215 test(S("espogqbthk"), "dpteiajrqmsognhlfbkc", 5, 20, 5); [ 0:10] 216 test(S("shoiedtcjb"), "", 9, 0, S::npos); [ 0:10] 217 test(S("ebcinjgads"), "tqbnh", 9, 0, S::npos); [ 0:10] 218 test(S("dqmregkcfl"), "akmle", 9, 1, S::npos); [ 0:10] 219 test(S("ngcrieqajf"), "iqfkm", 9, 2, S::npos); [ 0:10] 220 test(S("qosmilgnjb"), "tqjsr", 9, 4, S::npos); [ 0:10] 221 test(S("ikabsjtdfl"), "jplqg", 9, 5, 9); [ 0:10] 222 test(S("ersmicafdh"), "oilnrbcgtj", 9, 0, S::npos); [ 0:10] 223 test(S("fdnplotmgh"), "morkglpesn", 9, 1, S::npos); [ 0:10] 224 test(S("fdbicojerm"), "dmicerngat", 9, 5, 9); [ 0:10] 225 test(S("mbtafndjcq"), "radgeskbtc", 9, 9, S::npos); [ 0:10] 226 test(S("mlenkpfdtc"), "ljikprsmqo", 9, 10, S::npos); [ 0:10] 227 test(S("ahlcifdqgs"), "trqihkcgsjamfdbolnpe", 9, 0, S::npos); [ 0:10] 228 test(S("bgjemaltks"), "lqmthbsrekajgnofcipd", 9, 1, S::npos); [ 0:10] 229 test(S("pdhslbqrfc"), "jtalmedribkgqsopcnfh", 9, 10, S::npos); [ 0:10] 230 test(S("dirhtsnjkc"), "spqfoiclmtagejbndkrh", 9, 19, 9); [ 0:10] 231 test(S("dlroktbcja"), "nmotklspigjrdhcfaebq", 9, 20, 9); [ 0:10] 232 test(S("ncjpmaekbs"), "", 10, 0, S::npos); [ 0:10] 233 test(S("hlbosgmrak"), "hpmsd", 10, 0, S::npos); [ 0:10] 234 test(S("pqfhsgilen"), "qnpor", 10, 1, S::npos); [ 0:10] 235 test(S("gqtjsbdckh"), "otdma", 10, 2, S::npos); [ 0:10] 236 test(S("cfkqpjlegi"), "efhjg", 10, 4, S::npos); [ 0:10] 237 test(S("beanrfodgj"), "odpte", 10, 5, S::npos); [ 0:10] 238 test(S("adtkqpbjfi"), "bctdgfmolr", 10, 0, S::npos); [ 0:10] 239 test(S("iomkfthagj"), "oaklidrbqg", 10, 1, S::npos); [ 0:10] 240 } [ 0:10] 241 [ 0:10] 242 template [ 0:10] 243 void test2() [ 0:10] 244 { [ 0:10] 245 test(S("sdpcilonqj"), "dnjfsagktr", 10, 5, S::npos); [ 0:10] 246 test(S("gtfbdkqeml"), "nejaktmiqg", 10, 9, S::npos); [ 0:10] 247 test(S("bmeqgcdorj"), "pjqonlebsf", 10, 10, S::npos); [ 0:10] 248 test(S("etqlcanmob"), "dshmnbtolcjepgaikfqr", 10, 0, S::npos); [ 0:10] 249 test(S("roqmkbdtia"), "iogfhpabtjkqlrnemcds", 10, 1, S::npos); [ 0:10] 250 test(S("kadsithljf"), "ngridfabjsecpqltkmoh", 10, 10, S::npos); [ 0:10] 251 test(S("sgtkpbfdmh"), "athmknplcgofrqejsdib", 10, 19, S::npos); [ 0:10] 252 test(S("qgmetnabkl"), "ldobhmqcafnjtkeisgrp", 10, 20, S::npos); [ 0:10] 253 test(S("cqjohampgd"), "", 11, 0, S::npos); [ 0:10] 254 test(S("hobitmpsan"), "aocjb", 11, 0, S::npos); [ 0:10] 255 test(S("tjehkpsalm"), "jbrnk", 11, 1, S::npos); [ 0:10] 256 test(S("ngfbojitcl"), "tqedg", 11, 2, S::npos); [ 0:10] 257 test(S("rcfkdbhgjo"), "nqskp", 11, 4, S::npos); [ 0:10] 258 test(S("qghptonrea"), "eaqkl", 11, 5, S::npos); [ 0:10] 259 test(S("hnprfgqjdl"), "reaoicljqm", 11, 0, S::npos); [ 0:10] 260 test(S("hlmgabenti"), "lsftgajqpm", 11, 1, S::npos); [ 0:10] 261 test(S("ofcjanmrbs"), "rlpfogmits", 11, 5, S::npos); [ 0:10] 262 test(S("jqedtkornm"), "shkncmiaqj", 11, 9, S::npos); [ 0:10] 263 test(S("rfedlasjmg"), "fpnatrhqgs", 11, 10, S::npos); [ 0:10] 264 test(S("talpqjsgkm"), "sjclemqhnpdbgikarfot", 11, 0, S::npos); [ 0:10] 265 test(S("lrkcbtqpie"), "otcmedjikgsfnqbrhpla", 11, 1, S::npos); [ 0:10] 266 test(S("cipogdskjf"), "bonsaefdqiprkhlgtjcm", 11, 10, S::npos); [ 0:10] 267 test(S("nqedcojahi"), "egpscmahijlfnkrodqtb", 11, 19, S::npos); [ 0:10] 268 test(S("hefnrkmctj"), "kmqbfepjthgilscrndoa", 11, 20, S::npos); [ 0:10] 269 test(S("atqirnmekfjolhpdsgcb"), "", 0, 0, S::npos); [ 0:10] 270 test(S("echfkmlpribjnqsaogtd"), "prboq", 0, 0, S::npos); [ 0:10] 271 test(S("qnhiftdgcleajbpkrosm"), "fjcqh", 0, 1, 4); [ 0:10] 272 test(S("chamfknorbedjitgslpq"), "fmosa", 0, 2, 3); [ 0:10] 273 test(S("njhqpibfmtlkaecdrgso"), "qdbok", 0, 4, 3); [ 0:10] 274 test(S("ebnghfsqkprmdcljoiat"), "amslg", 0, 5, 3); [ 0:10] 275 test(S("letjomsgihfrpqbkancd"), "smpltjneqb", 0, 0, S::npos); [ 0:10] 276 test(S("nblgoipcrqeaktshjdmf"), "flitskrnge", 0, 1, 19); [ 0:10] 277 test(S("cehkbngtjoiflqapsmrd"), "pgqihmlbef", 0, 5, 2); [ 0:10] 278 test(S("mignapfoklbhcqjetdrs"), "cfpdqjtgsb", 0, 9, 2); [ 0:10] 279 test(S("ceatbhlsqjgpnokfrmdi"), "htpsiaflom", 0, 10, 2); [ 0:10] 280 test(S("ocihkjgrdelpfnmastqb"), "kpjfiaceghsrdtlbnomq", 0, 0, S::npos); [ 0:10] 281 test(S("noelgschdtbrjfmiqkap"), "qhtbomidljgafneksprc", 0, 1, 16); [ 0:10] 282 test(S("dkclqfombepritjnghas"), "nhtjobkcefldimpsaqgr", 0, 10, 1); [ 0:10] 283 test(S("miklnresdgbhqcojftap"), "prabcjfqnoeskilmtgdh", 0, 19, 0); [ 0:10] 284 test(S("htbcigojaqmdkfrnlsep"), "dtrgmchilkasqoebfpjn", 0, 20, 0); [ 0:10] 285 test(S("febhmqtjanokscdirpgl"), "", 1, 0, S::npos); [ 0:10] 286 test(S("loakbsqjpcrdhftniegm"), "sqome", 1, 0, S::npos); [ 0:10] 287 test(S("reagphsqflbitdcjmkno"), "smfte", 1, 1, 6); [ 0:10] 288 test(S("jitlfrqemsdhkopncabg"), "ciboh", 1, 2, 1); [ 0:10] 289 test(S("mhtaepscdnrjqgbkifol"), "haois", 1, 4, 1); [ 0:10] 290 test(S("tocesrfmnglpbjihqadk"), "abfki", 1, 5, 6); [ 0:10] 291 test(S("lpfmctjrhdagneskbqoi"), "frdkocntmq", 1, 0, S::npos); [ 0:10] 292 test(S("lsmqaepkdhncirbtjfgo"), "oasbpedlnr", 1, 1, 19); [ 0:10] 293 test(S("epoiqmtldrabnkjhcfsg"), "kltqmhgand", 1, 5, 4); [ 0:10] 294 test(S("emgasrilpknqojhtbdcf"), "gdtfjchpmr", 1, 9, 1); [ 0:10] 295 test(S("hnfiagdpcklrjetqbsom"), "ponmcqblet", 1, 10, 1); [ 0:10] 296 test(S("nsdfebgajhmtricpoklq"), "sgphqdnofeiklatbcmjr", 1, 0, S::npos); [ 0:10] 297 test(S("atjgfsdlpobmeiqhncrk"), "ljqprsmigtfoneadckbh", 1, 1, 7); [ 0:10] 298 test(S("sitodfgnrejlahcbmqkp"), "ligeojhafnkmrcsqtbdp", 1, 10, 1); [ 0:10] 299 test(S("fraghmbiceknltjpqosd"), "lsimqfnjarbopedkhcgt", 1, 19, 1); [ 0:10] 300 test(S("pmafenlhqtdbkirjsogc"), "abedmfjlghniorcqptks", 1, 20, 1); [ 0:10] 301 test(S("pihgmoeqtnakrjslcbfd"), "", 10, 0, S::npos); [ 0:10] 302 test(S("gjdkeprctqblnhiafsom"), "hqtoa", 10, 0, S::npos); [ 0:10] 303 test(S("mkpnblfdsahrcqijteog"), "cahif", 10, 1, 12); [ 0:10] 304 test(S("gckarqnelodfjhmbptis"), "kehis", 10, 2, S::npos); [ 0:10] 305 test(S("gqpskidtbclomahnrjfe"), "kdlmh", 10, 4, 10); [ 0:10] 306 test(S("pkldjsqrfgitbhmaecno"), "paeql", 10, 5, 15); [ 0:10] 307 test(S("aftsijrbeklnmcdqhgop"), "aghoqiefnb", 10, 0, S::npos); [ 0:10] 308 test(S("mtlgdrhafjkbiepqnsoc"), "jrbqaikpdo", 10, 1, S::npos); [ 0:10] 309 test(S("pqgirnaefthokdmbsclj"), "smjonaeqcl", 10, 5, 11); [ 0:10] 310 test(S("kpdbgjmtherlsfcqoina"), "eqbdrkcfah", 10, 9, 10); [ 0:10] 311 test(S("jrlbothiknqmdgcfasep"), "kapmsienhf", 10, 10, 11); [ 0:10] 312 test(S("mjogldqferckabinptsh"), "jpqotrlenfcsbhkaimdg", 10, 0, S::npos); [ 0:10] 313 test(S("apoklnefbhmgqcdrisjt"), "jlbmhnfgtcqprikeados", 10, 1, 18); [ 0:10] 314 test(S("ifeopcnrjbhkdgatmqls"), "stgbhfmdaljnpqoicker", 10, 10, 10); [ 0:10] 315 test(S("ckqhaiesmjdnrgolbtpf"), "oihcetflbjagdsrkmqpn", 10, 19, 10); [ 0:10] 316 test(S("bnlgapfimcoterskqdjh"), "adtclebmnpjsrqfkigoh", 10, 20, 10); [ 0:10] 317 test(S("kgdlrobpmjcthqsafeni"), "", 19, 0, S::npos); [ 0:10] 318 test(S("dfkechomjapgnslbtqir"), "beafg", 19, 0, S::npos); [ 0:10] 319 test(S("rloadknfbqtgmhcsipje"), "iclat", 19, 1, S::npos); [ 0:10] 320 test(S("mgjhkolrnadqbpetcifs"), "rkhnf", 19, 2, S::npos); [ 0:10] 321 test(S("cmlfakiojdrgtbsphqen"), "clshq", 19, 4, S::npos); [ 0:10] 322 test(S("kghbfipeomsntdalrqjc"), "dtcoj", 19, 5, 19); [ 0:10] 323 test(S("eldiqckrnmtasbghjfpo"), "rqosnjmfth", 19, 0, S::npos); [ 0:10] 324 test(S("abqjcfedgotihlnspkrm"), "siatdfqglh", 19, 1, S::npos); [ 0:10] 325 test(S("qfbadrtjsimkolcenhpg"), "mrlshtpgjq", 19, 5, S::npos); [ 0:10] 326 test(S("abseghclkjqifmtodrnp"), "adlcskgqjt", 19, 9, S::npos); [ 0:10] 327 test(S("ibmsnlrjefhtdokacqpg"), "drshcjknaf", 19, 10, S::npos); [ 0:10] 328 test(S("mrkfciqjebaponsthldg"), "etsaqroinghpkjdlfcbm", 19, 0, S::npos); [ 0:10] 329 test(S("mjkticdeoqshpalrfbgn"), "sgepdnkqliambtrocfhj", 19, 1, S::npos); [ 0:10] 330 test(S("rqnoclbdejgiphtfsakm"), "nlmcjaqgbsortfdihkpe", 19, 10, 19); [ 0:10] 331 test(S("plkqbhmtfaeodjcrsing"), "racfnpmosldibqkghjet", 19, 19, 19); [ 0:10] 332 test(S("oegalhmstjrfickpbndq"), "fjhdsctkqeiolagrnmbp", 19, 20, 19); [ 0:10] 333 test(S("rdtgjcaohpblniekmsfq"), "", 20, 0, S::npos); [ 0:10] 334 test(S("ofkqbnjetrmsaidphglc"), "ejanp", 20, 0, S::npos); [ 0:10] 335 test(S("grkpahljcftesdmonqib"), "odife", 20, 1, S::npos); [ 0:10] 336 test(S("jimlgbhfqkteospardcn"), "okaqd", 20, 2, S::npos); [ 0:10] 337 test(S("gftenihpmslrjkqadcob"), "lcdbi", 20, 4, S::npos); [ 0:10] 338 test(S("bmhldogtckrfsanijepq"), "fsqbj", 20, 5, S::npos); [ 0:10] 339 test(S("nfqkrpjdesabgtlcmoih"), "bigdomnplq", 20, 0, S::npos); [ 0:10] 340 test(S("focalnrpiqmdkstehbjg"), "apiblotgcd", 20, 1, S::npos); [ 0:10] 341 test(S("rhqdspkmebiflcotnjga"), "acfhdenops", 20, 5, S::npos); [ 0:10] 342 test(S("rahdtmsckfboqlpniegj"), "jopdeamcrk", 20, 9, S::npos); [ 0:10] 343 test(S("fbkeiopclstmdqranjhg"), "trqncbkgmh", 20, 10, S::npos); [ 0:10] 344 test(S("lifhpdgmbconstjeqark"), "tomglrkencbsfjqpihda", 20, 0, S::npos); [ 0:10] 345 } [ 0:10] 346 [ 0:10] 347 template [ 0:10] 348 void test3() [ 0:10] 349 { [ 0:10] 350 test(S("pboqganrhedjmltsicfk"), "gbkhdnpoietfcmrslajq", 20, 1, S::npos); [ 0:10] 351 test(S("klchabsimetjnqgorfpd"), "rtfnmbsglkjaichoqedp", 20, 10, S::npos); [ 0:10] 352 test(S("sirfgmjqhctndbklaepo"), "ohkmdpfqbsacrtjnlgei", 20, 19, S::npos); [ 0:10] 353 test(S("rlbdsiceaonqjtfpghkm"), "dlbrteoisgphmkncajfq", 20, 20, S::npos); [ 0:10] 354 test(S("ecgdanriptblhjfqskom"), "", 21, 0, S::npos); [ 0:10] 355 test(S("fdmiarlpgcskbhoteqjn"), "sjrlo", 21, 0, S::npos); [ 0:10] 356 test(S("rlbstjqopignecmfadkh"), "qjpor", 21, 1, S::npos); [ 0:10] 357 test(S("grjpqmbshektdolcafni"), "odhfn", 21, 2, S::npos); [ 0:10] 358 test(S("sakfcohtqnibprjmlged"), "qtfin", 21, 4, S::npos); [ 0:10] 359 test(S("mjtdglasihqpocebrfkn"), "hpqfo", 21, 5, S::npos); [ 0:10] 360 test(S("okaplfrntghqbmeicsdj"), "fabmertkos", 21, 0, S::npos); [ 0:10] 361 test(S("sahngemrtcjidqbklfpo"), "brqtgkmaej", 21, 1, S::npos); [ 0:10] 362 test(S("dlmsipcnekhbgoaftqjr"), "nfrdeihsgl", 21, 5, S::npos); [ 0:10] 363 test(S("ahegrmqnoiklpfsdbcjt"), "hlfrosekpi", 21, 9, S::npos); [ 0:10] 364 test(S("hdsjbnmlegtkqripacof"), "atgbkrjdsm", 21, 10, S::npos); [ 0:10] 365 test(S("pcnedrfjihqbalkgtoms"), "blnrptjgqmaifsdkhoec", 21, 0, S::npos); [ 0:10] 366 test(S("qjidealmtpskrbfhocng"), "ctpmdahebfqjgknloris", 21, 1, S::npos); [ 0:10] 367 test(S("qeindtagmokpfhsclrbj"), "apnkeqthrmlbfodiscgj", 21, 10, S::npos); [ 0:10] 368 test(S("kpfegbjhsrnodltqciam"), "jdgictpframeoqlsbknh", 21, 19, S::npos); [ 0:10] 369 test(S("hnbrcplsjfgiktoedmaq"), "qprlsfojamgndekthibc", 21, 20, S::npos); [ 0:10] 370 } [ 0:10] 371 [ 0:10] 372 int main(int, char**) [ 0:10] 373 { [ 0:10] 374 { [ 0:10] 375 typedef std::string_view S; [ 0:10] 376 test0(); [ 0:10] 377 test1(); [ 0:10] 378 test2(); [ 0:10] 379 test3(); [ 0:10] 380 } [ 0:10] 381 [ 0:10] 382 #if TEST_STD_VER > 11 [ 0:10] 383 { [ 0:10] 384 typedef std::basic_string_view> SV; [ 0:10] 385 constexpr SV sv1; [ 0:10] 386 constexpr SV sv2 { "abcde", 5 }; [ 0:10] 387 [ 0:10] 388 static_assert (sv1.find_first_of( "", 0, 0) == SV::npos, "" ); [ 0:10] 389 static_assert (sv1.find_first_of( "irkhs", 0, 5) == SV::npos, "" ); [ 0:10] 390 static_assert (sv2.find_first_of( "", 0, 0) == SV::npos, "" ); [ 0:10] 391 static_assert (sv2.find_first_of( "gfsrt", 0, 5) == SV::npos, "" ); [ 0:10] 392 static_assert (sv2.find_first_of( "lecar", 0, 5) == 0, "" ); [ 0:10] 393 } [ 0:10] 394 #endif [ 0:10] 395 [ 0:10] 396 return 0; [ 0:10] 397 } [ 0:10] # no errors were expected but one was found anyway