11e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow//===----------------------------------------------------------------------===//
21e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow//
31e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow//                     The LLVM Compiler Infrastructure
41e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow//
51e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow// This file is dual licensed under the MIT and the University of Illinois Open
61e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow// Source Licenses. See LICENSE.TXT for details.
71e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow//
81e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow//===----------------------------------------------------------------------===//
91e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow
101e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow// <string_view>
111e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow
121e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow// constexpr size_type find_first_not_of(const charT* s, size_type pos = 0) const;
131e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow
141e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow#include <string_view>
151e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow#include <cassert>
161e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow
17e619862dbf0c4a46db6e3d816bcafcfef6e85977Stephan T. Lavavej#include "test_macros.h"
181e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow#include "constexpr_char_traits.hpp"
191e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow
201e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clowtemplate <class S>
211e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clowvoid
221e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clowtest(const S& s, const typename S::value_type* str, typename S::size_type pos,
231e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow     typename S::size_type x)
241e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow{
251e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    assert(s.find_first_not_of(str, pos) == x);
261e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    if (x != S::npos)
271e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow        assert(pos <= x && x < s.size());
281e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow}
291e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow
301e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clowtemplate <class S>
311e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clowvoid
321e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clowtest(const S& s, const typename S::value_type* str, typename S::size_type x)
331e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow{
341e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    assert(s.find_first_not_of(str) == x);
351e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    if (x != S::npos)
361e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow        assert(x < s.size());
371e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow}
381e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow
391e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clowtemplate <class S>
401e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clowvoid test0()
411e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow{
421e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S(""), "", 0, S::npos);
431e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S(""), "laenf", 0, S::npos);
441e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S(""), "pqlnkmbdjo", 0, S::npos);
451e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S(""), "qkamfogpnljdcshbreti", 0, S::npos);
461e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S(""), "", 1, S::npos);
471e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S(""), "bjaht", 1, S::npos);
481e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S(""), "hjlcmgpket", 1, S::npos);
491e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S(""), "htaobedqikfplcgjsmrn", 1, S::npos);
501e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("fodgq"), "", 0, 0);
511e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("qanej"), "dfkap", 0, 0);
521e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("clbao"), "ihqrfebgad", 0, 0);
531e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("mekdn"), "ngtjfcalbseiqrphmkdo", 0, S::npos);
541e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("srdfq"), "", 1, 1);
551e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("oemth"), "ikcrq", 1, 1);
561e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("cdaih"), "dmajblfhsg", 1, 3);
571e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("qohtk"), "oqftjhdmkgsblacenirp", 1, S::npos);
581e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("cshmd"), "", 2, 2);
591e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("lhcdo"), "oebqi", 2, 2);
601e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("qnsoh"), "kojhpmbsfe", 2, S::npos);
611e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("pkrof"), "acbsjqogpltdkhinfrem", 2, S::npos);
621e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("fmtsp"), "", 4, 4);
631e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("khbpm"), "aobjd", 4, 4);
641e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("pbsji"), "pcbahntsje", 4, 4);
651e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("mprdj"), "fhepcrntkoagbmldqijs", 4, S::npos);
661e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("eqmpa"), "", 5, S::npos);
671e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("omigs"), "kocgb", 5, S::npos);
681e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("onmje"), "fbslrjiqkm", 5, S::npos);
691e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("oqmrj"), "jeidpcmalhfnqbgtrsko", 5, S::npos);
701e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("schfa"), "", 6, S::npos);
711e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("igdsc"), "qngpd", 6, S::npos);
721e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("brqgo"), "rodhqklgmb", 6, S::npos);
731e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("tnrph"), "thdjgafrlbkoiqcspmne", 6, S::npos);
741e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("hcjitbfapl"), "", 0, 0);
751e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("daiprenocl"), "ashjd", 0, 2);
761e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("litpcfdghe"), "mgojkldsqh", 0, 1);
771e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("aidjksrolc"), "imqnaghkfrdtlopbjesc", 0, S::npos);
781e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("qpghtfbaji"), "", 1, 1);
791e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("gfshlcmdjr"), "nadkh", 1, 1);
801e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("nkodajteqp"), "ofdrqmkebl", 1, 4);
811e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("gbmetiprqd"), "bdfjqgatlksriohemnpc", 1, S::npos);
821e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("crnklpmegd"), "", 5, 5);
831e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("jsbtafedoc"), "prqgn", 5, 5);
841e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("qnmodrtkeb"), "pejafmnokr", 5, 6);
851e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("cpebqsfmnj"), "odnqkgijrhabfmcestlp", 5, S::npos);
861e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("lmofqdhpki"), "", 9, 9);
871e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("hnefkqimca"), "rtjpa", 9, S::npos);
881e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("drtasbgmfp"), "ktsrmnqagd", 9, 9);
891e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("lsaijeqhtr"), "rtdhgcisbnmoaqkfpjle", 9, S::npos);
901e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("elgofjmbrq"), "", 10, S::npos);
911e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("mjqdgalkpc"), "dplqa", 10, S::npos);
921e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("kthqnfcerm"), "dkacjoptns", 10, S::npos);
931e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("dfsjhanorc"), "hqfimtrgnbekpdcsjalo", 10, S::npos);
941e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("eqsgalomhb"), "", 11, S::npos);
951e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("akiteljmoh"), "lofbc", 11, S::npos);
961e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("hlbdfreqjo"), "astoegbfpn", 11, S::npos);
971e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("taqobhlerg"), "pdgreqomsncafklhtibj", 11, S::npos);
981e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("snafbdlghrjkpqtoceim"), "", 0, 0);
991e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("aemtbrgcklhndjisfpoq"), "lbtqd", 0, 0);
1001e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("pnracgfkjdiholtbqsem"), "tboimldpjh", 0, 1);
1011e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("dicfltehbsgrmojnpkaq"), "slcerthdaiqjfnobgkpm", 0, S::npos);
1021e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("jlnkraeodhcspfgbqitm"), "", 1, 1);
1031e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("lhosrngtmfjikbqpcade"), "aqibs", 1, 1);
1041e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("rbtaqjhgkneisldpmfoc"), "gtfblmqinc", 1, 3);
1051e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("gpifsqlrdkbonjtmheca"), "mkqpbtdalgniorhfescj", 1, S::npos);
1061e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("hdpkobnsalmcfijregtq"), "", 10, 10);
1071e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("jtlshdgqaiprkbcoenfm"), "pblas", 10, 11);
1081e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("fkdrbqltsgmcoiphneaj"), "arosdhcfme", 10, 13);
1091e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("crsplifgtqedjohnabmk"), "blkhjeogicatqfnpdmsr", 10, S::npos);
1101e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("niptglfbosehkamrdqcj"), "", 19, 19);
1111e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("copqdhstbingamjfkler"), "djkqc", 19, 19);
1121e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("mrtaefilpdsgocnhqbjk"), "lgokshjtpb", 19, S::npos);
1131e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("kojatdhlcmigpbfrqnes"), "bqjhtkfepimcnsgrlado", 19, S::npos);
1141e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("eaintpchlqsbdgrkjofm"), "", 20, S::npos);
1151e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("gjnhidfsepkrtaqbmclo"), "nocfa", 20, S::npos);
1161e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("spocfaktqdbiejlhngmr"), "bgtajmiedc", 20, S::npos);
1171e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("rphmlekgfscndtaobiqj"), "lsckfnqgdahejiopbtmr", 20, S::npos);
1181e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("liatsqdoegkmfcnbhrpj"), "", 21, S::npos);
1191e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("binjagtfldkrspcomqeh"), "gfsrt", 21, S::npos);
1201e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("latkmisecnorjbfhqpdg"), "pfsocbhjtm", 21, S::npos);
1211e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("lecfratdjkhnsmqpoigb"), "tpflmdnoicjgkberhqsa", 21, S::npos);
1221e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow}
1231e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow
1241e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clowtemplate <class S>
1251e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clowvoid test1()
1261e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow{
1271e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S(""), "", S::npos);
1281e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S(""), "laenf", S::npos);
1291e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S(""), "pqlnkmbdjo", S::npos);
1301e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S(""), "qkamfogpnljdcshbreti", S::npos);
1311e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("nhmko"), "", 0);
1321e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("lahfb"), "irkhs", 0);
1331e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("gmfhd"), "kantesmpgj", 2);
1341e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("odaft"), "oknlrstdpiqmjbaghcfe", S::npos);
1351e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("eolhfgpjqk"), "", 0);
1361e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("nbatdlmekr"), "bnrpe", 2);
1371e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("jdmciepkaq"), "jtdaefblso", 2);
1381e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("hkbgspoflt"), "oselktgbcapndfjihrmq", S::npos);
1391e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("gprdcokbnjhlsfmtieqa"), "", 0);
1401e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("qjghlnftcaismkropdeb"), "bjaht", 0);
1411e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("pnalfrdtkqcmojiesbhg"), "hjlcmgpket", 1);
1421e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test(S("pniotcfrhqsmgdkjbael"), "htaobedqikfplcgjsmrn", S::npos);
1431e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow}
1441e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow
1451e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clowint main()
1461e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow{
1471e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    {
1481e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    typedef std::string_view S;
1491e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test0<S>();
1501e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    test1<S>();
1511e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    }
1521e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow
153e619862dbf0c4a46db6e3d816bcafcfef6e85977Stephan T. Lavavej#if TEST_STD_VER > 11
1541e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    {
1551e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    typedef std::basic_string_view<char, constexpr_char_traits<char>> SV;
1561e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    constexpr SV  sv1;
1571e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    constexpr SV  sv2 { "abcde", 5 };
1581e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow
1591e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    static_assert (sv1.find_first_not_of( "",      0) == SV::npos, "" );
1601e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    static_assert (sv1.find_first_not_of( "irkhs", 0) == SV::npos, "" );
1611e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    static_assert (sv2.find_first_not_of( "",      0) == 0, "" );
1621e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    static_assert (sv2.find_first_not_of( "gfsrt", 0) == 0, "" );
1631e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    static_assert (sv2.find_first_not_of( "lecar", 0) == 1, "" );
1641e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow    }
1651e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow#endif
1661e00d6db319aaec6acb6db0eafd059c7fb97bf66Marshall Clow}
167