llvm-project
6712 строк · 241.1 Кб
1//= unittests/ASTMatchers/ASTMatchersTraversalTest.cpp - matchers unit tests =//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8}30}40}67}88}103}115}124}135}148}171}221}227}236}247}256}272}278}285}294}309}321}332}341}350}358}367}377}387}394class Foo {};398class Bar : public Foo {399Bar() : Foo() {}400};401)cpp";402}408}413}420}426}432}438}451}458@interface Foo462@property int enabled;463@end464)objc",465objcPropertyDecl(hasTypeLoc(loc(asString("int"))))));466}467}472}479}492}499}513}552}566struct A {570~A() {}571};572void foo()573{574A a;575auto l = [a] { };576auto lCopy = l;577auto lPtrDecay = +[] { };578(void)lPtrDecay;579}580)cpp";581}602namespace std {607template <class... Args>609struct void_t_imp {610using type = void;611};612template <class... Args>613using void_t = typename void_t_imp<Args...>::type;614template <class T, class = void>616struct traits_sfinae_base {};617template <class T>619struct traits_sfinae_base<T, void_t<typename T::promise_type>> {620using promise_type = typename T::promise_type;621};622template <class Ret, class... Args>624struct coroutine_traits : public traits_sfinae_base<Ret> {};625} // namespace std626struct awaitable {627bool await_ready() noexcept;628template <typename F>629void await_suspend(F) noexcept;630void await_resume() noexcept;631} a;632struct promise {633void get_return_object();634awaitable initial_suspend();635awaitable final_suspend() noexcept;636awaitable yield_value(int); // expected-note 2{{candidate}}637void return_value(int); // expected-note 2{{here}}638void unhandled_exception();639};640template <typename... T>641struct std::coroutine_traits<void, T...> { using promise_type = promise; };642namespace std {643template <class PromiseType = void>644struct coroutine_handle {645static coroutine_handle from_address(void *) noexcept;646};647} // namespace std648)cpp"));649StringRef CoReturnCode = R"cpp(650#include <coro_header>651void check_match_co_return() {652co_return 1;653}654)cpp";655EXPECT_TRUE(matchesConditionally(CoReturnCode,656coreturnStmt(isExpansionInMainFile()), true,657{"-std=c++20", "-I/"}, M));658StringRef CoAwaitCode = R"cpp(659#include <coro_header>660void check_match_co_await() {661co_await a;662}663)cpp";664EXPECT_TRUE(matchesConditionally(CoAwaitCode,665coawaitExpr(isExpansionInMainFile()), true,666{"-std=c++20", "-I/"}, M));667StringRef CoYieldCode = R"cpp(668#include <coro_header>669void check_match_co_yield() {670co_yield 1.0;671}672)cpp";673EXPECT_TRUE(matchesConditionally(CoYieldCode,674coyieldExpr(isExpansionInMainFile()), true,675{"-std=c++20", "-I/"}, M));676#include <coro_header>679void non_coro_function() {680}681)cpp";682#include <coro_header>695void coro() {696int thevar;697co_return 1;698}699)cpp";700EXPECT_TRUE(matchesConditionally(701CoroWithDeclCode,702coroutineBodyStmt(hasBody(compoundStmt(703has(declStmt(containsDeclaration(0, varDecl(hasName("thevar")))))))),704true, {"-std=c++20", "-I/"}, M));705#include <coro_header>708void coro() try {709int thevar;710co_return 1;711} catch (...) {}712)cpp";713EXPECT_TRUE(matchesConditionally(714CoroWithTryCatchDeclCode,715coroutineBodyStmt(hasBody(compoundStmt(has(cxxTryStmt(has(compoundStmt(has(716declStmt(containsDeclaration(0, varDecl(hasName("thevar")))))))))))),717true, {"-std=c++20", "-I/"}, M));718}719}733}748}768}788struct Y {792void m();793};794void z(Y y) { y.m(); }795)cc";796StringRef Snippet2 = R"cc(797struct Y {798void m();799};800struct X : public Y {};801void z(X x) { x.m(); }802)cc";803auto MatchesY = cxxMemberCallExpr(on(hasType(cxxRecordDecl(hasName("Y")))));804EXPECT_TRUE(matches(Snippet1, MatchesY));805EXPECT_TRUE(notMatches(Snippet2, MatchesY));806struct Y {813void m();814};815Y g();816void z(Y y) { (g()).m(); }817)cc";818auto MatchesCall = cxxMemberCallExpr(on(callExpr()));819EXPECT_TRUE(matches(Snippet3, MatchesCall));820}821struct Y {825void m();826};827void z(Y y) { y.m(); }828)cc";829StringRef Snippet2 = R"cc(830struct Y {831void m();832};833struct X : public Y {};834void z(X x) { x.m(); }835)cc";836auto MatchesY = traverse(TK_AsIs, cxxMemberCallExpr(onImplicitObjectArgument(837hasType(cxxRecordDecl(hasName("Y"))))));838EXPECT_TRUE(matches(Snippet1, MatchesY));839EXPECT_TRUE(matches(Snippet2, MatchesY));840struct Y {848void m();849};850Y g();851void z(Y y) { (g()).m(); }852)cc";853auto MatchesCall = traverse(854TK_AsIs, cxxMemberCallExpr(onImplicitObjectArgument(callExpr())));855EXPECT_TRUE(notMatches(Snippet3, MatchesCall));856}857struct X {861int m;862int f(X x) { return x.m; }863};864)cc";865StringRef Snippet2 = R"cc(866struct X {867int m;868int f(X x) { return m; }869};870)cc";871auto MatchesX =872memberExpr(hasObjectExpression(hasType(cxxRecordDecl(hasName("X")))));873EXPECT_TRUE(matches(Snippet1, MatchesX));874EXPECT_TRUE(notMatches(Snippet2, MatchesX));875}881}894}923}947}964}981struct A {995int operator()(this const A &self);996};997A obj;998int global = obj();999)cpp";1000}1013}1026}1055}1077}1100}1114}1131}1148}1171void fcntl(int fd, int cmd, ...) {}1181template <typename Func>1183void f(Func F) {1184int y = 42;1185F(y, 1, 3);1186}1187void g() { f(fcntl); }1189)cpp";1190}1196struct A {1210int operator()(this const A &self);1211};1212A obj;1213int global = obj();1214)cpp";1215}1227}1239}1250}1255}1270}1283}1293}1299}1305}1312}1320}1328}1356}1389}1403}1415}1427}1446}1461}1476}1490}1500}1507}1512}1517}1529}1549}1561}1577}1601}1612}1619}1632struct HasOpEqMem1650{1651bool operator==(const HasOpEqMem& other) const1652{1653return true;1654}1655};1656struct HasOpFree1658{1659};1660bool operator==(const HasOpFree& lhs, const HasOpFree& rhs)1661{1662return true;1663}1664void opMem()1666{1667HasOpEqMem s1;1668HasOpEqMem s2;1669if (s1 == s2)1670return;1671}1672void opFree()1674{1675HasOpFree s1;1676HasOpFree s2;1677if (s1 == s2)1678return;1679}1680)cpp";1681auto s1Expr = declRefExpr(to(varDecl(hasName("s1"))));1682auto s2Expr = declRefExpr(to(varDecl(hasName("s2"))));1683EXPECT_TRUE(matches(1684Code,1685traverse(TK_IgnoreUnlessSpelledInSource,1686cxxOperatorCallExpr(forFunction(functionDecl(hasName("opMem"))),1687hasOperatorName("=="), hasLHS(s1Expr),1688hasRHS(s2Expr)))));1689EXPECT_TRUE(matches(1690Code, traverse(TK_IgnoreUnlessSpelledInSource,1691cxxOperatorCallExpr(1692forFunction(functionDecl(hasName("opMem"))),1693hasAnyOperatorName("!=", "=="), hasLHS(s1Expr)))));1694EXPECT_TRUE(matches(1695Code, traverse(TK_IgnoreUnlessSpelledInSource,1696cxxOperatorCallExpr(1697forFunction(functionDecl(hasName("opMem"))),1698hasOperatorName("=="), hasOperands(s1Expr, s2Expr)))));1699EXPECT_TRUE(matches(1700Code, traverse(TK_IgnoreUnlessSpelledInSource,1701cxxOperatorCallExpr(1702forFunction(functionDecl(hasName("opMem"))),1703hasOperatorName("=="), hasEitherOperand(s2Expr)))));1704}1727}1736}1747}1848}1855}1867struct HasOpBangMem1877{1878bool operator!() const1879{1880return false;1881}1882};1883struct HasOpBangFree1884{1885};1886bool operator!(HasOpBangFree const&)1887{1888return false;1889}1890void opMem()1892{1893HasOpBangMem s1;1894if (!s1)1895return;1896}1897void opFree()1898{1899HasOpBangFree s1;1900if (!s1)1901return;1902}1903)cpp";1904auto s1Expr = declRefExpr(to(varDecl(hasName("s1"))));1905EXPECT_TRUE(matches(1906Code, traverse(TK_IgnoreUnlessSpelledInSource,1907cxxOperatorCallExpr(1908forFunction(functionDecl(hasName("opMem"))),1909hasOperatorName("!"), hasUnaryOperand(s1Expr)))));1910EXPECT_TRUE(matches(1911Code,1912traverse(TK_IgnoreUnlessSpelledInSource,1913cxxOperatorCallExpr(forFunction(functionDecl(hasName("opMem"))),1914hasAnyOperatorName("+", "!"),1915hasUnaryOperand(s1Expr)))));1916struct HasIncOperatorsMem1931{1932HasIncOperatorsMem& operator++();1933HasIncOperatorsMem operator++(int);1934};1935struct HasIncOperatorsFree1936{1937};1938HasIncOperatorsFree& operator++(HasIncOperatorsFree&);1939HasIncOperatorsFree operator++(HasIncOperatorsFree&, int);1940void prefixIncOperatorMem()1942{1943HasIncOperatorsMem s1;1944++s1;1945}1946void prefixIncOperatorFree()1947{1948HasIncOperatorsFree s1;1949++s1;1950}1951void postfixIncOperatorMem()1952{1953HasIncOperatorsMem s1;1954s1++;1955}1956void postfixIncOperatorFree()1957{1958HasIncOperatorsFree s1;1959s1++;1960}1961struct HasOpPlusInt1963{1964HasOpPlusInt& operator+(int);1965};1966void plusIntOperator()1967{1968HasOpPlusInt s1;1969s1+1;1970}1971)cpp";1972struct HasOpArrow2009{2010int& operator*();2011};2012void foo()2013{2014HasOpArrow s1;2015*s1;2016}2017)cpp";2018}2024}2059}2070}2086}2102}2134}2185}2199}2211}2218}2232}2252}2274}2281}2289}2296}2309}2330}2352}2360}2366}2371}2376}2393}2399}2412}2423}2458}2473}2483}2491}2508}2513struct OtherType;2518struct SomeType2520{2521SomeType() {}2522SomeType(const OtherType&) {}2523SomeType& operator=(OtherType const&) { return *this; }2524};2525struct OtherType2527{2528OtherType() {}2529~OtherType() {}2530};2531OtherType something()2533{2534return {};2535}2536int main()2538{2539SomeType i = something();2540}2541)";2542EXPECT_TRUE(matches(2543Code,2544traverse(TK_AsIs,2545varDecl(hasName("i"),2546hasInitializer(exprWithCleanups(has(cxxConstructExpr(2547has(expr(ignoringImplicit(cxxConstructExpr(has(2548expr(ignoringImplicit(callExpr())))))))))))))));2549}2550}2555void foo()2560{2561int i = 3.0;2562}2563)cpp";2564void foo(int a)2621{2622int i = 3.0 + a;2623}2624void bar()2625{2626foo(7.0);2627}2628)cpp";2629EXPECT_TRUE(2630matches(Code, callExpr(traverse(TK_IgnoreUnlessSpelledInSource,2631hasArgument(0, floatLiteral())))));2632void takesBool(bool){}2640template <typename T>2642void neverInstantiatedTemplate() {2643takesBool(T{});2644}2645)cpp",2646traverse(TK_IgnoreUnlessSpelledInSource,2647callExpr(unless(callExpr(hasDeclaration(functionDecl())))))));2648void foo()2667{2668int i = (3);2669}2670)cpp";2671EXPECT_TRUE(matches(2672Code, traverse(TK_IgnoreUnlessSpelledInSource,2673varDecl(hasInitializer(integerLiteral(equals(3)))))));2674EXPECT_TRUE(matches(2675Code,2676traverse(TK_IgnoreUnlessSpelledInSource,2677integerLiteral(equals(3), hasParent(varDecl(hasName("i")))))));2678const char *SomeString{"str"};2681)cpp";2682EXPECT_TRUE(2683matches(Code, traverse(TK_AsIs, stringLiteral(hasParent(implicitCastExpr(2684hasParent(initListExpr())))))));2685EXPECT_TRUE(2686matches(Code, traverse(TK_IgnoreUnlessSpelledInSource,2687stringLiteral(hasParent(initListExpr())))));2688struct String2691{2692String(const char*, int = -1) {}2693};2694void stringConstruct()2696{2697String s = "foo";2698s = "bar";2699}2700)cpp";2701EXPECT_TRUE(matches(2702Code,2703traverse(2704TK_AsIs,2705functionDecl(2706hasName("stringConstruct"),2707hasDescendant(varDecl(2708hasName("s"),2709hasInitializer(ignoringImplicit(cxxConstructExpr(hasArgument(27100, ignoringImplicit(cxxConstructExpr(hasArgument(27110, ignoringImplicit(stringLiteral()))))))))))))));2712struct C1 {};2742struct C2 { operator C1(); };2743void conversionOperator()2745{2746C2* c2;2747C1 c1 = (*c2);2748}2749template <unsigned alignment>2779void template_test() {2780static_assert(alignment, "");2781}2782void actual_template_test() {2783template_test<4>();2784}2785struct OneParamCtor {2807explicit OneParamCtor(int);2808};2809struct TwoParamCtor {2810explicit TwoParamCtor(int, int);2811};2812void varDeclCtors() {2814{2815auto var1 = OneParamCtor(5);2816auto var2 = TwoParamCtor(6, 7);2817}2818{2819OneParamCtor var3(5);2820TwoParamCtor var4(6, 7);2821}2822int i = 0;2823{2824auto var5 = OneParamCtor(i);2825auto var6 = TwoParamCtor(i, 7);2826}2827{2828OneParamCtor var7(i);2829TwoParamCtor var8(i, 7);2830}2831}2832template<typename T>2899struct TemplStruct {2900TemplStruct() {}2901~TemplStruct() {}2902void outOfLine(T);2904private:2906T m_t;2907};2908template<typename T>2910void TemplStruct<T>::outOfLine(T)2911{2912}2914template<typename T>2916T timesTwo(T input)2917{2918return input * 2;2919}2920void instantiate()2922{2923TemplStruct<int> ti;2924TemplStruct<double> td;2925(void)timesTwo<int>(2);2926(void)timesTwo<double>(2);2927}2928template class TemplStruct<float>;2930extern template class TemplStruct<long>;2932template<> class TemplStruct<bool> {2934TemplStruct() {}2935~TemplStruct() {}2936void boolSpecializationMethodOnly() {}2938private:2939bool m_t;2940};2941template float timesTwo(float);2943template<> bool timesTwo<bool>(bool){2944return true;2945}2946)cpp";2947{2948auto M = cxxRecordDecl(hasName("TemplStruct"),2949has(fieldDecl(hasType(asString("int")))));2950EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));2951EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));2952}2953{2954auto M = cxxRecordDecl(hasName("TemplStruct"),2955has(fieldDecl(hasType(asString("double")))));2956EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));2957EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));2958}2959{2960auto M =2961functionDecl(hasName("timesTwo"),2962hasParameter(0, parmVarDecl(hasType(asString("int")))));2963EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));2964EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));2965}2966{2967auto M =2968functionDecl(hasName("timesTwo"),2969hasParameter(0, parmVarDecl(hasType(asString("double")))));2970EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));2971EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));2972}2973{2974// Match on the integer literal in the explicit instantiation:2975auto MDef =2976functionDecl(hasName("timesTwo"),2977hasParameter(0, parmVarDecl(hasType(asString("float")))),2978hasDescendant(integerLiteral(equals(2))));2979EXPECT_TRUE(matches(Code, traverse(TK_AsIs, MDef)));2980EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, MDef)));2981struct B {3055B(int);3056};3057B func1() { return 42; }3059)cpp";3060{3061auto M = expr(ignoringImplicit(integerLiteral(equals(42)).bind("intLit")));3062EXPECT_TRUE(matchAndVerifyResultTrue(3063Code, traverse(TK_AsIs, M),3064std::make_unique<VerifyIdIsBoundTo<Expr>>("intLit", 1)));3065EXPECT_TRUE(matchAndVerifyResultTrue(3066Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3067std::make_unique<VerifyIdIsBoundTo<Expr>>("intLit", 1)));3068}3069{3070auto M = expr(unless(integerLiteral(equals(24)))).bind("intLit");3071EXPECT_TRUE(matchAndVerifyResultTrue(3072Code, traverse(TK_AsIs, M),3073std::make_unique<VerifyIdIsBoundTo<Expr>>("intLit", 6)));3074EXPECT_TRUE(matchAndVerifyResultTrue(3075Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3076std::make_unique<VerifyIdIsBoundTo<Expr>>("intLit", 1)));3077}3078{3079auto M =3080expr(anyOf(integerLiteral(equals(42)).bind("intLit"), unless(expr())));3081EXPECT_TRUE(matchAndVerifyResultTrue(3082Code, traverse(TK_AsIs, M),3083std::make_unique<VerifyIdIsBoundTo<Expr>>("intLit", 1)));3084EXPECT_TRUE(matchAndVerifyResultTrue(3085Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3086std::make_unique<VerifyIdIsBoundTo<Expr>>("intLit", 1)));3087}3088{3089auto M = expr(allOf(integerLiteral(equals(42)).bind("intLit"), expr()));3090EXPECT_TRUE(matchAndVerifyResultTrue(3091Code, traverse(TK_AsIs, M),3092std::make_unique<VerifyIdIsBoundTo<Expr>>("intLit", 1)));3093EXPECT_TRUE(matchAndVerifyResultTrue(3094Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3095std::make_unique<VerifyIdIsBoundTo<Expr>>("intLit", 1)));3096}3097{3098auto M = expr(integerLiteral(equals(42)).bind("intLit"), expr());3099EXPECT_TRUE(matchAndVerifyResultTrue(3100Code, traverse(TK_AsIs, M),3101std::make_unique<VerifyIdIsBoundTo<Expr>>("intLit", 1)));3102EXPECT_TRUE(matchAndVerifyResultTrue(3103Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3104std::make_unique<VerifyIdIsBoundTo<Expr>>("intLit", 1)));3105}3106{3107auto M = expr(optionally(integerLiteral(equals(42)).bind("intLit")));3108EXPECT_TRUE(matchAndVerifyResultTrue(3109Code, traverse(TK_AsIs, M),3110std::make_unique<VerifyIdIsBoundTo<Expr>>("intLit", 1)));3111EXPECT_TRUE(matchAndVerifyResultTrue(3112Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3113std::make_unique<VerifyIdIsBoundTo<Expr>>("intLit", 1)));3114}3115{3116auto M = expr().bind("allExprs");3117EXPECT_TRUE(matchAndVerifyResultTrue(3118Code, traverse(TK_AsIs, M),3119std::make_unique<VerifyIdIsBoundTo<Expr>>("allExprs", 6)));3120EXPECT_TRUE(matchAndVerifyResultTrue(3121Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3122std::make_unique<VerifyIdIsBoundTo<Expr>>("allExprs", 1)));3123}3124void foo()3127{3128int arr[3];3129auto &[f, s, t] = arr;3130f = 42;3132}3133)cpp";3134{3135auto M = bindingDecl(hasName("f"));3136EXPECT_TRUE(3137matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++17"}));3138EXPECT_TRUE(3139matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3140true, {"-std=c++17"}));3141}3142{3143auto M = bindingDecl(hasName("f"), has(expr()));3144EXPECT_TRUE(3145matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++17"}));3146EXPECT_FALSE(3147matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3148true, {"-std=c++17"}));3149}3150{3151auto M = integerLiteral(hasAncestor(bindingDecl(hasName("f"))));3152EXPECT_TRUE(3153matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++17"}));3154EXPECT_FALSE(3155matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3156true, {"-std=c++17"}));3157}3158{3159auto M = declRefExpr(hasAncestor(bindingDecl(hasName("f"))));3160EXPECT_TRUE(3161matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++17"}));3162EXPECT_FALSE(3163matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3164true, {"-std=c++17"}));3165}3166}3167struct NonTrivial {3171NonTrivial() {}3172NonTrivial(const NonTrivial&) {}3173NonTrivial& operator=(const NonTrivial&) { return *this; }3174~NonTrivial() {}3176};3177struct NoSpecialMethods {3179NonTrivial nt;3180};3181struct ContainsArray {3183NonTrivial arr[2];3184ContainsArray& operator=(const ContainsArray &other) = default;3185};3186void copyIt()3188{3189NoSpecialMethods nc1;3190NoSpecialMethods nc2(nc1);3191nc2 = nc1;3192ContainsArray ca;3194ContainsArray ca2;3195ca2 = ca;3196}3197struct HasCtorInits : NoSpecialMethods, NonTrivial3199{3200int m_i;3201NonTrivial m_nt;3202HasCtorInits() : NoSpecialMethods(), m_i(42) {}3203};3204struct CtorInitsNonTrivial : NonTrivial3206{3207int m_i;3208NonTrivial m_nt;3209CtorInitsNonTrivial() : NonTrivial(), m_i(42) {}3210};3211void rangeFor()3365{3366int arr[2];3367for (auto i : arr)3368{3369if (true)3370{3371}3372}3373}3374)cpp";3375{3376auto M = cxxForRangeStmt(has(binaryOperator(hasOperatorName("!="))));3377EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3378EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3379}3380{3381auto M =3382cxxForRangeStmt(hasDescendant(binaryOperator(hasOperatorName("+"))));3383EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3384EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3385}3386{3387auto M =3388cxxForRangeStmt(hasDescendant(unaryOperator(hasOperatorName("++"))));3389EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3390EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3391}3392{3393auto M = cxxForRangeStmt(has(declStmt()));3394EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3395EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3396}3397{3398auto M =3399cxxForRangeStmt(hasLoopVariable(varDecl(hasName("i"))),3400hasRangeInit(declRefExpr(to(varDecl(hasName("arr"))))));3401EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3402EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3403}3404{3405auto M = cxxForRangeStmt(unless(hasInitStatement(stmt())));3406EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3407EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3408}3409{3410auto M = cxxForRangeStmt(hasBody(stmt()));3411EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3412EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3413}3414{3415auto M = cxxForRangeStmt(hasDescendant(ifStmt()));3416EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3417EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3418}3419{3420EXPECT_TRUE(matches(3421Code, traverse(TK_AsIs, cxxForRangeStmt(has(declStmt(3422hasSingleDecl(varDecl(hasName("i")))))))));3423EXPECT_TRUE(3424matches(Code, traverse(TK_IgnoreUnlessSpelledInSource,3425cxxForRangeStmt(has(varDecl(hasName("i")))))));3426}3427{3428EXPECT_TRUE(matches(3429Code, traverse(TK_AsIs, cxxForRangeStmt(has(declStmt(hasSingleDecl(3430varDecl(hasInitializer(declRefExpr(3431to(varDecl(hasName("arr")))))))))))));3432EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource,3433cxxForRangeStmt(has(declRefExpr(3434to(varDecl(hasName("arr")))))))));3435}3436{3437auto M = cxxForRangeStmt(has(compoundStmt()));3438EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3439EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3440}3441{3442auto M = binaryOperator(hasOperatorName("!="));3443EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3444EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3445}3446{3447auto M = unaryOperator(hasOperatorName("++"));3448EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3449EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3450}3451{3452auto M = declStmt(hasSingleDecl(varDecl(matchesName("__range"))));3453EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3454EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3455}3456{3457auto M = declStmt(hasSingleDecl(varDecl(matchesName("__begin"))));3458EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3459EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3460}3461{3462auto M = declStmt(hasSingleDecl(varDecl(matchesName("__end"))));3463EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3464EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3465}3466{3467auto M = ifStmt(hasParent(compoundStmt(hasParent(cxxForRangeStmt()))));3468EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3469EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3470}3471{3472auto M = cxxForRangeStmt(3473has(varDecl(hasName("i"), hasParent(cxxForRangeStmt()))));3474EXPECT_FALSE(matches(Code, traverse(TK_AsIs, M)));3475EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3476}3477{3478auto M = cxxForRangeStmt(hasDescendant(varDecl(3479hasName("i"), hasParent(declStmt(hasParent(cxxForRangeStmt()))))));3480EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3481EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3482}3483{3484auto M = cxxForRangeStmt(hasRangeInit(declRefExpr(3485to(varDecl(hasName("arr"))), hasParent(cxxForRangeStmt()))));3486EXPECT_FALSE(matches(Code, traverse(TK_AsIs, M)));3487EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3488}3489struct Range {3500int* begin() const;3501int* end() const;3502};3503Range getRange(int);3504void rangeFor()3506{3507for (auto i : getRange(42))3508{3509}3510}3511)cpp";3512{3513auto M = integerLiteral(equals(42));3514EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3515EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3516}3517{3518auto M = callExpr(hasDescendant(integerLiteral(equals(42))));3519EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3520EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3521}3522{3523auto M = compoundStmt(hasDescendant(integerLiteral(equals(42))));3524EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3525EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3526}3527void rangeFor()3530{3531int arr[2];3532for (auto& a = arr; auto i : a)3533{3534}3536}3537)cpp";3538{3539auto M = cxxForRangeStmt(has(binaryOperator(hasOperatorName("!="))));3540EXPECT_TRUE(3541matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));3542EXPECT_FALSE(3543matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3544true, {"-std=c++20"}));3545}3546{3547auto M =3548cxxForRangeStmt(hasDescendant(binaryOperator(hasOperatorName("+"))));3549EXPECT_TRUE(3550matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));3551EXPECT_FALSE(3552matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3553true, {"-std=c++20"}));3554}3555{3556auto M =3557cxxForRangeStmt(hasDescendant(unaryOperator(hasOperatorName("++"))));3558EXPECT_TRUE(3559matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));3560EXPECT_FALSE(3561matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3562true, {"-std=c++20"}));3563}3564{3565auto M =3566cxxForRangeStmt(has(declStmt(hasSingleDecl(varDecl(hasName("i"))))));3567EXPECT_TRUE(3568matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));3569EXPECT_FALSE(3570matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3571true, {"-std=c++20"}));3572}3573{3574auto M = cxxForRangeStmt(3575hasInitStatement(declStmt(hasSingleDecl(varDecl(3576hasName("a"),3577hasInitializer(declRefExpr(to(varDecl(hasName("arr"))))))))),3578hasLoopVariable(varDecl(hasName("i"))),3579hasRangeInit(declRefExpr(to(varDecl(hasName("a"))))));3580EXPECT_TRUE(3581matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));3582EXPECT_TRUE(3583matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3584true, {"-std=c++20"}));3585}3586{3587auto M = cxxForRangeStmt(3588has(declStmt(hasSingleDecl(varDecl(3589hasName("a"),3590hasInitializer(declRefExpr(to(varDecl(hasName("arr"))))))))),3591hasLoopVariable(varDecl(hasName("i"))),3592hasRangeInit(declRefExpr(to(varDecl(hasName("a"))))));3593EXPECT_TRUE(3594matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));3595EXPECT_TRUE(3596matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3597true, {"-std=c++20"}));3598}3599{3600auto M = cxxForRangeStmt(hasInitStatement(declStmt(3601hasSingleDecl(varDecl(hasName("a"))), hasParent(cxxForRangeStmt()))));3602EXPECT_TRUE(3603matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));3604EXPECT_TRUE(3605matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3606true, {"-std=c++20"}));3607}3608struct Range {3611int* begin() const;3612int* end() const;3613};3614Range getRange(int);3615int getNum(int);3617void rangeFor()3619{3620for (auto j = getNum(42); auto i : getRange(j))3621{3622}3623}3624)cpp";3625{3626auto M = integerLiteral(equals(42));3627EXPECT_TRUE(3628matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));3629EXPECT_TRUE(3630matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3631true, {"-std=c++20"}));3632}3633{3634auto M = compoundStmt(hasDescendant(integerLiteral(equals(42))));3635EXPECT_TRUE(3636matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));3637EXPECT_TRUE(3638matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),3639true, {"-std=c++20"}));3640}3641void hasDefaultArg(int i, int j = 0)3644{3645}3646void callDefaultArg()3647{3648hasDefaultArg(42);3649}3650)cpp";3651auto hasDefaultArgCall = [](auto InnerMatcher) {3652return callExpr(callee(functionDecl(hasName("hasDefaultArg"))),3653InnerMatcher);3654};3655{3656auto M = hasDefaultArgCall(has(integerLiteral(equals(42))));3657EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3658EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3659}3660{3661auto M = hasDefaultArgCall(has(cxxDefaultArgExpr()));3662EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3663EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3664}3665{3666auto M = hasDefaultArgCall(argumentCountIs(2));3667EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3668EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3669}3670{3671auto M = hasDefaultArgCall(argumentCountIs(1));3672EXPECT_FALSE(matches(Code, traverse(TK_AsIs, M)));3673EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3674}3675{3676auto M = hasDefaultArgCall(hasArgument(1, cxxDefaultArgExpr()));3677EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3678EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3679}3680{3681auto M = hasDefaultArgCall(hasAnyArgument(cxxDefaultArgExpr()));3682EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3683EXPECT_FALSE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3684}3685Code = R"cpp(3686struct A3687{3688~A();3689private:3690int i;3691};3692A::~A() = default;3694)cpp";3695{3696auto M = cxxDestructorDecl(isDefaulted(),3697ofClass(cxxRecordDecl(has(fieldDecl()))));3698EXPECT_TRUE(matches(Code, traverse(TK_AsIs, M)));3699EXPECT_TRUE(matches(Code, traverse(TK_IgnoreUnlessSpelledInSource, M)));3700}3701Code = R"cpp(3702struct S3703{3704static constexpr bool getTrue() { return true; }3705};3706struct A3708{3709explicit(S::getTrue()) A();3710};3711A::A() = default;3713)cpp";3714{3715EXPECT_TRUE(matchesConditionally(3716Code,3717traverse(TK_AsIs,3718cxxConstructorDecl(3719isDefaulted(),3720hasExplicitSpecifier(expr(ignoringImplicit(3721callExpr(has(ignoringImplicit(declRefExpr())))))))),3722true, {"-std=c++20"}));3723EXPECT_TRUE(matchesConditionally(3724Code,3725traverse(TK_IgnoreUnlessSpelledInSource,3726cxxConstructorDecl(3727isDefaulted(),3728hasExplicitSpecifier(callExpr(has(declRefExpr()))))),3729true, {"-std=c++20"}));3730}3731}3732}3739int foo()3746{3747return 42.0;3748}3749)cpp";3750EXPECT_TRUE(matcherTemplateWithBinding(3751Code, traverse(TK_AsIs,3752returnStmt(has(implicitCastExpr(has(floatLiteral())))))));3753}3754float bar(int i)3759{3760return i;3761}3762void foo()3764{3765bar(bar(3.0));3766}3767)cpp";3768}3780struct S {3784S(int x);3785};3786void constructImplicit() {3788int a = 8;3789S s(a);3790}3791)cpp";3792}3798void foo()3803{3804int i = 3.0;3805}3806)cpp";3807}3823struct A3829{3830};3831struct B3833{3834B(int);3835B(A const& a);3836B();3837};3838struct C3840{3841operator B();3842};3843B func1() {3845return 42;3846}3847B func2() {3849return B{42};3850}3851B func3() {3853return B(42);3854}3855B func4() {3857return B();3858}3859B func5() {3861return B{};3862}3863B func6() {3865return C();3866}3867B func7() {3869return A();3870}3871B func8() {3873return C{};3874}3875B func9() {3877return A{};3878}3879B func10() {3881A a;3882return a;3883}3884B func11() {3886B b;3887return b;3888}3889B func12() {3891C c;3892return c;3893}3894void func13() {3896int a = 0;3897int c = 0;3898[a, b = c](int d) { int e = d; };3900}3901void func14() {3903[] <typename TemplateType> (TemplateType t, TemplateType u) { int e = t + u; };3904float i = 42.0;3905}3906void func15() {3908int count = 0;3909auto l = [&] { ++count; };3910(void)l;3911}3912void foo() {4122int explicit_captured = 0;4123int implicit_captured = 0;4124auto l = [&, explicit_captured](int i) {4125if (i || explicit_captured || implicit_captured) return;4126};4127}4128)cpp";4129struct S {};4149struct HasOpEq4151{4152bool operator==(const S& other)4153{4154return true;4155}4156};4157void binop()4159{4160HasOpEq s1;4161S s2;4162if (s1 != s2)4163return;4164}4165)cpp";4166{4167auto M = unaryOperator(4168hasOperatorName("!"),4169has(cxxOperatorCallExpr(hasOverloadedOperatorName("=="))));4170EXPECT_TRUE(4171matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4172EXPECT_FALSE(4173matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4174true, {"-std=c++20"}));4175}4176{4177auto M = declRefExpr(to(varDecl(hasName("s1"))));4178EXPECT_TRUE(4179matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4180EXPECT_TRUE(4181matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4182true, {"-std=c++20"}));4183}4184{4185auto M = cxxOperatorCallExpr(hasOverloadedOperatorName("=="));4186EXPECT_TRUE(4187matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4188EXPECT_FALSE(4189matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4190true, {"-std=c++20"}));4191}4192{4193auto M = cxxOperatorCallExpr(hasOverloadedOperatorName("!="));4194EXPECT_FALSE(4195matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4196EXPECT_FALSE(4197matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4198true, {"-std=c++20"}));4199}4200auto withDescendants = [](StringRef lName, StringRef rName) {4201return stmt(hasDescendant(declRefExpr(to(varDecl(hasName(lName))))),4202hasDescendant(declRefExpr(to(varDecl(hasName(rName))))));4203};4204{4205auto M = cxxRewrittenBinaryOperator(withDescendants("s1", "s2"));4206EXPECT_TRUE(4207matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4208EXPECT_TRUE(4209matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4210true, {"-std=c++20"}));4211}4212{4213auto M = cxxRewrittenBinaryOperator(4214has(declRefExpr(to(varDecl(hasName("s1"))))),4215has(declRefExpr(to(varDecl(hasName("s2"))))));4216EXPECT_FALSE(4217matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4218EXPECT_TRUE(4219matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4220true, {"-std=c++20"}));4221}4222{4223auto M = cxxRewrittenBinaryOperator(4224hasLHS(expr(hasParent(cxxRewrittenBinaryOperator()))),4225hasRHS(expr(hasParent(cxxRewrittenBinaryOperator()))));4226EXPECT_FALSE(4227matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4228EXPECT_TRUE(4229matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4230true, {"-std=c++20"}));4231}4232{4233EXPECT_TRUE(matchesConditionally(4234Code,4235traverse(TK_AsIs,4236cxxRewrittenBinaryOperator(4237hasOperatorName("!="), hasAnyOperatorName("<", "!="),4238isComparisonOperator(),4239hasLHS(ignoringImplicit(4240declRefExpr(to(varDecl(hasName("s1")))))),4241hasRHS(ignoringImplicit(4242declRefExpr(to(varDecl(hasName("s2")))))),4243hasEitherOperand(ignoringImplicit(4244declRefExpr(to(varDecl(hasName("s2")))))),4245hasOperands(ignoringImplicit(4246declRefExpr(to(varDecl(hasName("s1"))))),4247ignoringImplicit(declRefExpr(4248to(varDecl(hasName("s2")))))))),4249true, {"-std=c++20"}));4250EXPECT_TRUE(matchesConditionally(4251Code,4252traverse(TK_IgnoreUnlessSpelledInSource,4253cxxRewrittenBinaryOperator(4254hasOperatorName("!="), hasAnyOperatorName("<", "!="),4255isComparisonOperator(),4256hasLHS(declRefExpr(to(varDecl(hasName("s1"))))),4257hasRHS(declRefExpr(to(varDecl(hasName("s2"))))),4258hasEitherOperand(declRefExpr(to(varDecl(hasName("s2"))))),4259hasOperands(declRefExpr(to(varDecl(hasName("s1")))),4260declRefExpr(to(varDecl(hasName("s2"))))))),4261true, {"-std=c++20"}));4262}4263namespace std {4266struct strong_ordering {4267int n;4268constexpr operator int() const { return n; }4269static const strong_ordering equal, greater, less;4270};4271constexpr strong_ordering strong_ordering::equal = {0};4272constexpr strong_ordering strong_ordering::greater = {1};4273constexpr strong_ordering strong_ordering::less = {-1};4274}4275struct HasSpaceshipMem {4277int a;4278constexpr auto operator<=>(const HasSpaceshipMem&) const = default;4279};4280void binop()4282{4283HasSpaceshipMem hs1, hs2;4284if (hs1 == hs2)4285return;4286HasSpaceshipMem hs3, hs4;4288if (hs3 != hs4)4289return;4290HasSpaceshipMem hs5, hs6;4292if (hs5 < hs6)4293return;4294HasSpaceshipMem hs7, hs8;4296if (hs7 > hs8)4297return;4298HasSpaceshipMem hs9, hs10;4300if (hs9 <= hs10)4301return;4302HasSpaceshipMem hs11, hs12;4304if (hs11 >= hs12)4305return;4306}4307)cpp";4308auto withArgs = [](StringRef lName, StringRef rName) {4309return cxxOperatorCallExpr(4310hasArgument(0, declRefExpr(to(varDecl(hasName(lName))))),4311hasArgument(1, declRefExpr(to(varDecl(hasName(rName))))));4312};4313{4314auto M = ifStmt(hasCondition(cxxOperatorCallExpr(4315hasOverloadedOperatorName("=="), withArgs("hs1", "hs2"))));4316EXPECT_TRUE(4317matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4318EXPECT_TRUE(4319matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4320true, {"-std=c++20"}));4321}4322{4323auto M =4324unaryOperator(hasOperatorName("!"),4325has(cxxOperatorCallExpr(hasOverloadedOperatorName("=="),4326withArgs("hs3", "hs4"))));4327EXPECT_TRUE(4328matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4329EXPECT_FALSE(4330matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4331true, {"-std=c++20"}));4332}4333{4334auto M =4335unaryOperator(hasOperatorName("!"),4336has(cxxOperatorCallExpr(hasOverloadedOperatorName("=="),4337withArgs("hs3", "hs4"))));4338EXPECT_TRUE(4339matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4340EXPECT_FALSE(4341matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4342true, {"-std=c++20"}));4343}4344{4345auto M = binaryOperator(4346hasOperatorName("<"),4347hasLHS(hasDescendant(cxxOperatorCallExpr(4348hasOverloadedOperatorName("<=>"), withArgs("hs5", "hs6")))),4349hasRHS(integerLiteral(equals(0))));4350EXPECT_TRUE(4351matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4352EXPECT_FALSE(4353matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4354true, {"-std=c++20"}));4355}4356{4357auto M = cxxRewrittenBinaryOperator(withDescendants("hs3", "hs4"));4358EXPECT_TRUE(4359matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4360EXPECT_TRUE(4361matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4362true, {"-std=c++20"}));4363}4364{4365auto M = declRefExpr(to(varDecl(hasName("hs3"))));4366EXPECT_TRUE(4367matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4368EXPECT_TRUE(4369matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4370true, {"-std=c++20"}));4371}4372{4373auto M = cxxRewrittenBinaryOperator(has(4374unaryOperator(hasOperatorName("!"), withDescendants("hs3", "hs4"))));4375EXPECT_TRUE(4376matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4377EXPECT_FALSE(4378matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4379true, {"-std=c++20"}));4380}4381{4382auto M = cxxRewrittenBinaryOperator(4383has(declRefExpr(to(varDecl(hasName("hs3"))))),4384has(declRefExpr(to(varDecl(hasName("hs4"))))));4385EXPECT_FALSE(4386matchesConditionally(Code, traverse(TK_AsIs, M), true, {"-std=c++20"}));4387EXPECT_TRUE(4388matchesConditionally(Code, traverse(TK_IgnoreUnlessSpelledInSource, M),4389true, {"-std=c++20"}));4390}4391{4392EXPECT_TRUE(matchesConditionally(4393Code,4394traverse(TK_AsIs,4395cxxRewrittenBinaryOperator(4396hasOperatorName("!="), hasAnyOperatorName("<", "!="),4397isComparisonOperator(),4398hasLHS(ignoringImplicit(4399declRefExpr(to(varDecl(hasName("hs3")))))),4400hasRHS(ignoringImplicit(4401declRefExpr(to(varDecl(hasName("hs4")))))),4402hasEitherOperand(ignoringImplicit(4403declRefExpr(to(varDecl(hasName("hs3")))))),4404hasOperands(ignoringImplicit(4405declRefExpr(to(varDecl(hasName("hs3"))))),4406ignoringImplicit(declRefExpr(4407to(varDecl(hasName("hs4")))))))),4408true, {"-std=c++20"}));4409EXPECT_TRUE(matchesConditionally(4410Code,4411traverse(TK_IgnoreUnlessSpelledInSource,4412cxxRewrittenBinaryOperator(4413hasOperatorName("!="), hasAnyOperatorName("<", "!="),4414isComparisonOperator(),4415hasLHS(declRefExpr(to(varDecl(hasName("hs3"))))),4416hasRHS(declRefExpr(to(varDecl(hasName("hs4"))))),4417hasEitherOperand(declRefExpr(to(varDecl(hasName("hs3"))))),4418hasOperands(declRefExpr(to(varDecl(hasName("hs3")))),4419declRefExpr(to(varDecl(hasName("hs4"))))))),4420true, {"-std=c++20"}));4421}4422{4423EXPECT_TRUE(matchesConditionally(4424Code,4425traverse(TK_AsIs,4426cxxRewrittenBinaryOperator(4427hasOperatorName("<"), hasAnyOperatorName("<", "!="),4428isComparisonOperator(),4429hasLHS(ignoringImplicit(4430declRefExpr(to(varDecl(hasName("hs5")))))),4431hasRHS(ignoringImplicit(4432declRefExpr(to(varDecl(hasName("hs6")))))),4433hasEitherOperand(ignoringImplicit(4434declRefExpr(to(varDecl(hasName("hs5")))))),4435hasOperands(ignoringImplicit(4436declRefExpr(to(varDecl(hasName("hs5"))))),4437ignoringImplicit(declRefExpr(4438to(varDecl(hasName("hs6")))))))),4439true, {"-std=c++20"}));4440EXPECT_TRUE(matchesConditionally(4441Code,4442traverse(TK_IgnoreUnlessSpelledInSource,4443cxxRewrittenBinaryOperator(4444hasOperatorName("<"), hasAnyOperatorName("<", "!="),4445isComparisonOperator(),4446hasLHS(declRefExpr(to(varDecl(hasName("hs5"))))),4447hasRHS(declRefExpr(to(varDecl(hasName("hs6"))))),4448hasEitherOperand(declRefExpr(to(varDecl(hasName("hs5"))))),4449hasOperands(declRefExpr(to(varDecl(hasName("hs5")))),4450declRefExpr(to(varDecl(hasName("hs6"))))))),4451true, {"-std=c++20"}));4452}4453{4454EXPECT_TRUE(matchesConditionally(4455Code,4456traverse(TK_AsIs,4457cxxRewrittenBinaryOperator(4458hasOperatorName(">"), hasAnyOperatorName("<", ">"),4459isComparisonOperator(),4460hasLHS(ignoringImplicit(4461declRefExpr(to(varDecl(hasName("hs7")))))),4462hasRHS(ignoringImplicit(4463declRefExpr(to(varDecl(hasName("hs8")))))),4464hasEitherOperand(ignoringImplicit(4465declRefExpr(to(varDecl(hasName("hs7")))))),4466hasOperands(ignoringImplicit(4467declRefExpr(to(varDecl(hasName("hs7"))))),4468ignoringImplicit(declRefExpr(4469to(varDecl(hasName("hs8")))))))),4470true, {"-std=c++20"}));4471EXPECT_TRUE(matchesConditionally(4472Code,4473traverse(TK_IgnoreUnlessSpelledInSource,4474cxxRewrittenBinaryOperator(4475hasOperatorName(">"), hasAnyOperatorName("<", ">"),4476isComparisonOperator(),4477hasLHS(declRefExpr(to(varDecl(hasName("hs7"))))),4478hasRHS(declRefExpr(to(varDecl(hasName("hs8"))))),4479hasEitherOperand(declRefExpr(to(varDecl(hasName("hs7"))))),4480hasOperands(declRefExpr(to(varDecl(hasName("hs7")))),4481declRefExpr(to(varDecl(hasName("hs8"))))))),4482true, {"-std=c++20"}));4483}4484{4485EXPECT_TRUE(matchesConditionally(4486Code,4487traverse(TK_AsIs,4488cxxRewrittenBinaryOperator(4489hasOperatorName("<="), hasAnyOperatorName("<", "<="),4490isComparisonOperator(),4491hasLHS(ignoringImplicit(4492declRefExpr(to(varDecl(hasName("hs9")))))),4493hasRHS(ignoringImplicit(4494declRefExpr(to(varDecl(hasName("hs10")))))),4495hasEitherOperand(ignoringImplicit(4496declRefExpr(to(varDecl(hasName("hs9")))))),4497hasOperands(ignoringImplicit(4498declRefExpr(to(varDecl(hasName("hs9"))))),4499ignoringImplicit(declRefExpr(4500to(varDecl(hasName("hs10")))))))),4501true, {"-std=c++20"}));4502EXPECT_TRUE(matchesConditionally(4503Code,4504traverse(TK_IgnoreUnlessSpelledInSource,4505cxxRewrittenBinaryOperator(4506hasOperatorName("<="), hasAnyOperatorName("<", "<="),4507isComparisonOperator(),4508hasLHS(declRefExpr(to(varDecl(hasName("hs9"))))),4509hasRHS(declRefExpr(to(varDecl(hasName("hs10"))))),4510hasEitherOperand(declRefExpr(to(varDecl(hasName("hs9"))))),4511hasOperands(declRefExpr(to(varDecl(hasName("hs9")))),4512declRefExpr(to(varDecl(hasName("hs10"))))))),4513true, {"-std=c++20"}));4514}4515{4516EXPECT_TRUE(matchesConditionally(4517Code,4518traverse(TK_AsIs,4519cxxRewrittenBinaryOperator(4520hasOperatorName(">="), hasAnyOperatorName("<", ">="),4521isComparisonOperator(),4522hasLHS(ignoringImplicit(4523declRefExpr(to(varDecl(hasName("hs11")))))),4524hasRHS(ignoringImplicit(4525declRefExpr(to(varDecl(hasName("hs12")))))),4526hasEitherOperand(ignoringImplicit(4527declRefExpr(to(varDecl(hasName("hs11")))))),4528hasOperands(ignoringImplicit(4529declRefExpr(to(varDecl(hasName("hs11"))))),4530ignoringImplicit(declRefExpr(4531to(varDecl(hasName("hs12")))))))),4532true, {"-std=c++20"}));4533EXPECT_TRUE(matchesConditionally(4534Code,4535traverse(4536TK_IgnoreUnlessSpelledInSource,4537cxxRewrittenBinaryOperator(4538hasOperatorName(">="), hasAnyOperatorName("<", ">="),4539isComparisonOperator(),4540hasLHS(declRefExpr(to(varDecl(hasName("hs11"))))),4541hasRHS(declRefExpr(to(varDecl(hasName("hs12"))))),4542hasEitherOperand(declRefExpr(to(varDecl(hasName("hs11"))))),4543hasOperands(declRefExpr(to(varDecl(hasName("hs11")))),4544declRefExpr(to(varDecl(hasName("hs12"))))))),4545true, {"-std=c++20"}));4546}4547struct S {};4550struct HasOpEq4552{4553bool operator==(const S& other) const4554{4555return true;4556}4557};4558struct HasOpEqMem {4560bool operator==(const HasOpEqMem&) const { return true; }4561};4562struct HasOpEqFree {4564};4565bool operator==(const HasOpEqFree&, const HasOpEqFree&) { return true; }4566void binop()4568{4569{4570HasOpEq s1;4571S s2;4572if (s1 != s2)4573return;4574}4575{4577int i1;4578int i2;4579if (i1 != i2)4580return;4581}4582{4584HasOpEqMem M1;4585HasOpEqMem M2;4586if (M1 == M2)4587return;4588}4589{4591HasOpEqFree F1;4592HasOpEqFree F2;4593if (F1 == F2)4594return;4595}4596}4597)cpp";4598{4599EXPECT_TRUE(matchesConditionally(4600Code,4601traverse(TK_AsIs,4602binaryOperation(4603hasOperatorName("!="), hasAnyOperatorName("<", "!="),4604isComparisonOperator(),4605hasLHS(ignoringImplicit(4606declRefExpr(to(varDecl(hasName("s1")))))),4607hasRHS(ignoringImplicit(4608declRefExpr(to(varDecl(hasName("s2")))))),4609hasEitherOperand(ignoringImplicit(4610declRefExpr(to(varDecl(hasName("s2")))))),4611hasOperands(ignoringImplicit(4612declRefExpr(to(varDecl(hasName("s1"))))),4613ignoringImplicit(declRefExpr(4614to(varDecl(hasName("s2")))))))),4615true, {"-std=c++20"}));4616EXPECT_TRUE(matchesConditionally(4617Code,4618traverse(TK_AsIs, binaryOperation(hasOperatorName("!="),4619hasLHS(ignoringImplicit(declRefExpr(4620to(varDecl(hasName("i1")))))),4621hasRHS(ignoringImplicit(declRefExpr(4622to(varDecl(hasName("i2")))))))),4623true, {"-std=c++20"}));4624EXPECT_TRUE(matchesConditionally(4625Code,4626traverse(TK_AsIs, binaryOperation(hasOperatorName("=="),4627hasLHS(ignoringImplicit(declRefExpr(4628to(varDecl(hasName("M1")))))),4629hasRHS(ignoringImplicit(declRefExpr(4630to(varDecl(hasName("M2")))))))),4631true, {"-std=c++20"}));4632EXPECT_TRUE(matchesConditionally(4633Code,4634traverse(TK_AsIs, binaryOperation(hasOperatorName("=="),4635hasLHS(ignoringImplicit(declRefExpr(4636to(varDecl(hasName("F1")))))),4637hasRHS(ignoringImplicit(declRefExpr(4638to(varDecl(hasName("F2")))))))),4639true, {"-std=c++20"}));4640EXPECT_TRUE(matchesConditionally(4641Code,4642traverse(TK_IgnoreUnlessSpelledInSource,4643binaryOperation(4644hasOperatorName("!="), hasAnyOperatorName("<", "!="),4645isComparisonOperator(),4646hasLHS(declRefExpr(to(varDecl(hasName("s1"))))),4647hasRHS(declRefExpr(to(varDecl(hasName("s2"))))),4648hasEitherOperand(declRefExpr(to(varDecl(hasName("s2"))))),4649hasOperands(declRefExpr(to(varDecl(hasName("s1")))),4650declRefExpr(to(varDecl(hasName("s2"))))))),4651true, {"-std=c++20"}));4652EXPECT_TRUE(matchesConditionally(4653Code,4654traverse(4655TK_IgnoreUnlessSpelledInSource,4656binaryOperation(hasOperatorName("!="),4657hasLHS(declRefExpr(to(varDecl(hasName("i1"))))),4658hasRHS(declRefExpr(to(varDecl(hasName("i2"))))))),4659true, {"-std=c++20"}));4660EXPECT_TRUE(matchesConditionally(4661Code,4662traverse(4663TK_IgnoreUnlessSpelledInSource,4664binaryOperation(hasOperatorName("=="),4665hasLHS(declRefExpr(to(varDecl(hasName("M1"))))),4666hasRHS(declRefExpr(to(varDecl(hasName("M2"))))))),4667true, {"-std=c++20"}));4668EXPECT_TRUE(matchesConditionally(4669Code,4670traverse(4671TK_IgnoreUnlessSpelledInSource,4672binaryOperation(hasOperatorName("=="),4673hasLHS(declRefExpr(to(varDecl(hasName("F1"))))),4674hasRHS(declRefExpr(to(varDecl(hasName("F2"))))))),4675true, {"-std=c++20"}));4676}4677}4678void f() {4684[] {4685[] {4686[] {4687[] {4688[] {4689[] {4690[] {4691[] {4692[] {4693[] {4694[] {4695[] {4696[] {4697[] {4698[] {4699[] {4700[] {4701[] {4702[] {4703[] {4704[] {4705[] {4706[] {4707[] {4708[] {4709[] {4710[] {4711[] {4712[] {4713int i = 42;4714(void)i;4715}();4716}();4717}();4718}();4719}();4720}();4721}();4722}();4723}();4724}();4725}();4726}();4727}();4728}();4729}();4730}();4731}();4732}();4733}();4734}();4735}();4736}();4737}();4738}();4739}();4740}();4741}();4742}();4743}();4744}4745)cpp";4746}4750}4763}4791}4799}4823}4830}4848}4862}4873}4893}4900}4907}4916}4925}4934}4948}4976}5036}5042}5057int main() {5073int x, y;5074float z;5075auto f = [=, &y]() { return x + y + z; };5076}5077)cc",5078matcher, std::make_unique<VerifyIdIsBoundTo<LambdaCapture>>("LC", 1)));5079}5080}5091}5102}5111}5117}5123}5129}5137void foo()5141{5142int i = 0;5143int b = 4;5144i < b;5145}5146)cpp";5147EXPECT_TRUE(matchAndVerifyResultFalse(5148Code, binaryOperator(forEach(declRefExpr().bind("dre"))),5149std::make_unique<VerifyIdIsBoundTo<DeclRefExpr>>("dre", 0)));5150}5169}5176}5193}5201}5210}5219template <typename T, typename U> void f(T, U) {}5223void test() {5224int I = 1;5225bool B = false;5226f(I, B);5227})";5228EXPECT_TRUE(matches(5229Code, functionDecl(forEachTemplateArgument(refersToType(builtinType()))),5230langCxx11OrLater()));5231auto matcher =5232functionDecl(forEachTemplateArgument(5233templateArgument(refersToType(builtinType().bind("BT")))5234.bind("TA")))5235.bind("FN");5236}5247template <typename T, unsigned N, unsigned M>5251struct Matrix {};5252static constexpr unsigned R = 2;5254Matrix<int, R * 2, R * 4> M;5256)";5257EXPECT_TRUE(matches(5258Code, templateSpecializationType(forEachTemplateArgument(isExpr(expr()))),5259langCxx11OrLater()));5260auto matcher = templateSpecializationType(5261forEachTemplateArgument(5262templateArgument(isExpr(expr().bind("E"))).bind("TA")))5263.bind("TST");5264}5275}5281template <typename A, int B, template <typename> class C> class X {};5286class A {};5287const int B = 42;5288template <typename> class C {};5289X<A, B, C> x;5290)cpp",5291templateArgumentLoc().bind("x"),5292std::make_unique<VerifyIdIsBoundTo<TemplateArgumentLoc>>("x", 3)));5293}5294}5390}5401}5408}5415}5429}5435}5441}5448}5454}5460}5467}5479}5493}5501}5509}5521}5535}5549TEST(HasAncestor, MatchesAllAncestors) {5550EXPECT_TRUE(matches(5551"template <typename T> struct C { static void f() { 42; } };"5552"void t() { C<int>::f(); }",5553integerLiteral(5554equals(42),5555allOf(5556hasAncestor(cxxRecordDecl(isTemplateInstantiation())),5557hasAncestor(cxxRecordDecl(unless(isTemplateInstantiation())))))));5558}5559}5567}5589TEST(HasAncestor, NonParmDependentTemplateParmVarDeclRefExpr) {5590EXPECT_TRUE(matches("struct PartitionAllocator {\n"5591" template<typename T>\n"5592" static int quantizedSize(int count) {\n"5593" return count;\n"5594" }\n"5595" void f() { quantizedSize<int>(10); }\n"5596"};",5597declRefExpr(to(decl(hasAncestor(decl()))))));5598}5599}5606}5636}5657}5669}5685}5706}5724}5732}5739}5768}5784}5811}5827}5838}5844}5877}5888}5899}5906}5939void Other();5978void Function() {5979{5980(5981Other()5982);5983}5984}5985)cpp";5986auto ForCallableFirst =5987callExpr(forCallable(functionDecl(hasName("Function"))),5988callee(functionDecl(hasName("Other")).bind("callee")))5989.bind("call");5990auto ForCallableSecond =5991callExpr(callee(functionDecl(hasName("Other")).bind("callee")),5992forCallable(functionDecl(hasName("Function"))))5993.bind("call");5994EXPECT_TRUE(matchAndVerifyResultTrue(5995CodeWithDeepCallExpr, ForCallableFirst,5996std::make_unique<VerifyIdIsBoundTo<CallExpr>>("call")));5997EXPECT_TRUE(matchAndVerifyResultTrue(5998CodeWithDeepCallExpr, ForCallableFirst,5999std::make_unique<VerifyIdIsBoundTo<FunctionDecl>>("callee")));6000EXPECT_TRUE(matchAndVerifyResultTrue(6001CodeWithDeepCallExpr, ForCallableSecond,6002std::make_unique<VerifyIdIsBoundTo<CallExpr>>("call")));6003EXPECT_TRUE(matchAndVerifyResultTrue(6004CodeWithDeepCallExpr, ForCallableSecond,6005std::make_unique<VerifyIdIsBoundTo<FunctionDecl>>("callee")));6006}6047struct Klass {6125void Method();6126template <typename T>6127void Function(T t); // Declaration6128};6129void Instantiate(Klass k) {6131k.Function(0);6132}6133template <typename T>6135void Klass::Function(T t) { // Definition6136// Compound statement has two parents: the declaration and the definition.6137Method();6138}6139)cpp";6140EXPECT_TRUE(matchAndVerifyResultTrue(6141codeWithTemplateFunction,6142callExpr(callee(functionDecl(hasName("Function")).bind("funDecl"))),6143std::make_unique<6144ForCallablePreservesBindingWithMultipleParentsTestCallback>()));6145}6146}6190}6209}6225}6233}6247void* operator new(decltype(sizeof(void*)), void*);6253int *foo(void* Storage) {6254return new (Storage) int;6255})",6256IsPlacementNew));6257void* operator new(decltype(sizeof(void*)), void*, unsigned);6260int *foo(void* Storage) {6261return new (Storage, 16) int;6262})",6263cxxNewExpr(hasPlacementArg(62641, ignoringImpCasts(integerLiteral(equals(16)))))));6265void* operator new(decltype(sizeof(void*)), void*);6268int *foo(void* Storage) {6269return new int;6270})",6271IsPlacementNew));6272}6273}6280}6287}6294}6302}6310}6318}6325}6332}6339}6345}6351}6357}6363}6369}6378}6386}6391}6396}6401}6406}6411}6416}6426}6437}6445}6450}6455}6461}6468}6474}6480}6487}6496}6505}6513}6522template<typename T, typename U> class A {};6526template<> class A<double, int> {};6527)";6528EXPECT_TRUE(6529matches(code, classTemplateSpecializationDecl(6530hasName("A"), hasAnyTemplateArgumentLoc(hasTypeLoc(6531loc(asString("double")))))));6532}6538}6545}6554}6563}6572}6581}6589}6597template<typename T, typename U> class A {};6601template<> class A<double, int> {};6602)";6603EXPECT_TRUE(matches(6604code, classTemplateSpecializationDecl(6605hasName("A"), hasTemplateArgumentLoc(66060, hasTypeLoc(loc(asString("double")))))));6607EXPECT_TRUE(matches(6608code, classTemplateSpecializationDecl(6609hasName("A"),6610hasTemplateArgumentLoc(1, hasTypeLoc(loc(asString("int")))))));6611}6612}6621template<typename T, typename U> class A {};6626template<> class A<double, int> {};6627)";6628EXPECT_TRUE(notMatches(6629code, classTemplateSpecializationDecl(6630hasName("A"), hasTemplateArgumentLoc(66311, hasTypeLoc(loc(asString("double")))))));6632EXPECT_TRUE(notMatches(6633code, classTemplateSpecializationDecl(6634hasName("A"),6635hasTemplateArgumentLoc(0, hasTypeLoc(loc(asString("int")))))));6636}6637template<typename T, typename U> class A {};6641template<> class A<double, int> {};6642)";6643EXPECT_TRUE(notMatches(6644code, classTemplateSpecializationDecl(6645hasName("A"), hasTemplateArgumentLoc(6646-1, hasTypeLoc(loc(asString("double")))))));6647EXPECT_TRUE(notMatches(6648code, classTemplateSpecializationDecl(6649hasName("A"), hasTemplateArgumentLoc(6650100, hasTypeLoc(loc(asString("int")))))));6651}6652template<typename T> T f(T t) { return t; }6656int g() { int i = f<int>(3); return i; }6657)",6658declRefExpr(to(functionDecl(hasName("f"))),6659hasTemplateArgumentLoc(66600, hasTypeLoc(loc(asString("int")))))));6661}6662template<typename T> T f(T t) { return t; }6667double g() { double i = f<double>(3.0); return i; }6668)",6669declRefExpr(6670to(functionDecl(hasName("f"))),6671hasTemplateArgumentLoc(0, hasTypeLoc(loc(asString("double")))))));6672}6673template<typename T> T f(T t) { return t; }6678double g() { double i = f<double>(3.0); return i; }6679)",6680declRefExpr(6681to(functionDecl(hasName("f"))),6682hasTemplateArgumentLoc(0, hasTypeLoc(loc(asString("int")))))));6683}6684template <typename T>6689class C {};6690class C<int> c;6691)",6692varDecl(hasName("c"),6693hasTypeLoc(elaboratedTypeLoc(6694hasNamedTypeLoc(templateSpecializationTypeLoc(6695hasAnyTemplateArgumentLoc(templateArgumentLoc()))))))));6696}6697template <typename T>6702class C {};6703C<int> c;6704)",6705varDecl(hasName("c"),6706hasTypeLoc(elaboratedTypeLoc(6707hasNamedTypeLoc(templateSpecializationTypeLoc(6708hasAnyTemplateArgumentLoc(templateArgumentLoc()))))))));6709}6710