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