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