diff --git a/clang-tools-extra/include-cleaner/lib/WalkAST.cpp b/clang-tools-extra/include-cleaner/lib/WalkAST.cpp --- a/clang-tools-extra/include-cleaner/lib/WalkAST.cpp +++ b/clang-tools-extra/include-cleaner/lib/WalkAST.cpp @@ -63,6 +63,17 @@ return true; } + bool VisitCXXDependentScopeMemberExpr(CXXDependentScopeMemberExpr *E) { + QualType Type = E->getBaseType().getCanonicalType(); + if (isa(Type)) { + const TemplateSpecializationType *TST = + cast(Type); + TemplateDecl *TD = TST->getTemplateName().getAsTemplateDecl(); + report(E->getMemberLoc(), TD); + } + return true; + } + bool VisitCXXConstructExpr(CXXConstructExpr *E) { report(E->getLocation(), E->getConstructor(), E->getParenOrBraceRange().isValid() ? RefType::Explicit diff --git a/clang-tools-extra/include-cleaner/unittests/WalkASTTest.cpp b/clang-tools-extra/include-cleaner/unittests/WalkASTTest.cpp --- a/clang-tools-extra/include-cleaner/unittests/WalkASTTest.cpp +++ b/clang-tools-extra/include-cleaner/unittests/WalkASTTest.cpp @@ -178,6 +178,11 @@ "void foo() { X{}.^foo(); }"); } +TEST(WalkAST, CXXDependentScopeMemberExprs) { + testWalk("template struct $explicit^Base { void method(); };", + "template void k(Base t) { t.^method(); }"); +} + TEST(WalkAST, ConstructExprs) { testWalk("struct $implicit^S {};", "S ^t;"); testWalk("struct S { $implicit^S(); };", "S ^t;");