1 //===--- ASTMatchFinder.cpp - Structural query framework ------------------===//
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-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // Implements an algorithm to efficiently search for matches on AST nodes.
10 // Uses memoization to support recursive matches like HasDescendant.
11 //
12 // The general idea is to visit all AST nodes with a RecursiveASTVisitor,
13 // calling the Matches(...) method of each matcher we are running on each
14 // AST node. The matcher can recurse via the ASTMatchFinder interface.
15 //
16 //===----------------------------------------------------------------------===//
17
18 #include "clang/ASTMatchers/ASTMatchFinder.h"
19 #include "clang/AST/ASTConsumer.h"
20 #include "clang/AST/ASTContext.h"
21 #include "clang/AST/DeclCXX.h"
22 #include "clang/AST/RecursiveASTVisitor.h"
23 #include "llvm/ADT/DenseMap.h"
24 #include "llvm/ADT/SmallPtrSet.h"
25 #include "llvm/ADT/StringMap.h"
26 #include "llvm/Support/PrettyStackTrace.h"
27 #include "llvm/Support/Timer.h"
28 #include <deque>
29 #include <memory>
30 #include <set>
31
32 namespace clang {
33 namespace ast_matchers {
34 namespace internal {
35 namespace {
36
37 typedef MatchFinder::MatchCallback MatchCallback;
38
39 // The maximum number of memoization entries to store.
40 // 10k has been experimentally found to give a good trade-off
41 // of performance vs. memory consumption by running matcher
42 // that match on every statement over a very large codebase.
43 //
44 // FIXME: Do some performance optimization in general and
45 // revisit this number; also, put up micro-benchmarks that we can
46 // optimize this on.
47 static const unsigned MaxMemoizationEntries = 10000;
48
49 enum class MatchType {
50 Ancestors,
51
52 Descendants,
53 Child,
54 };
55
56 // We use memoization to avoid running the same matcher on the same
57 // AST node twice. This struct is the key for looking up match
58 // result. It consists of an ID of the MatcherInterface (for
59 // identifying the matcher), a pointer to the AST node and the
60 // bound nodes before the matcher was executed.
61 //
62 // We currently only memoize on nodes whose pointers identify the
63 // nodes (\c Stmt and \c Decl, but not \c QualType or \c TypeLoc).
64 // For \c QualType and \c TypeLoc it is possible to implement
65 // generation of keys for each type.
66 // FIXME: Benchmark whether memoization of non-pointer typed nodes
67 // provides enough benefit for the additional amount of code.
68 struct MatchKey {
69 DynTypedMatcher::MatcherIDType MatcherID;
70 DynTypedNode Node;
71 BoundNodesTreeBuilder BoundNodes;
72 TraversalKind Traversal = TK_AsIs;
73 MatchType Type;
74
operator <clang::ast_matchers::internal::__anon17c865b50111::MatchKey75 bool operator<(const MatchKey &Other) const {
76 return std::tie(Traversal, Type, MatcherID, Node, BoundNodes) <
77 std::tie(Other.Traversal, Other.Type, Other.MatcherID, Other.Node,
78 Other.BoundNodes);
79 }
80 };
81
82 // Used to store the result of a match and possibly bound nodes.
83 struct MemoizedMatchResult {
84 bool ResultOfMatch;
85 BoundNodesTreeBuilder Nodes;
86 };
87
88 // A RecursiveASTVisitor that traverses all children or all descendants of
89 // a node.
90 class MatchChildASTVisitor
91 : public RecursiveASTVisitor<MatchChildASTVisitor> {
92 public:
93 typedef RecursiveASTVisitor<MatchChildASTVisitor> VisitorBase;
94
95 // Creates an AST visitor that matches 'matcher' on all children or
96 // descendants of a traversed node. max_depth is the maximum depth
97 // to traverse: use 1 for matching the children and INT_MAX for
98 // matching the descendants.
MatchChildASTVisitor(const DynTypedMatcher * Matcher,ASTMatchFinder * Finder,BoundNodesTreeBuilder * Builder,int MaxDepth,bool IgnoreImplicitChildren,ASTMatchFinder::BindKind Bind)99 MatchChildASTVisitor(const DynTypedMatcher *Matcher, ASTMatchFinder *Finder,
100 BoundNodesTreeBuilder *Builder, int MaxDepth,
101 bool IgnoreImplicitChildren,
102 ASTMatchFinder::BindKind Bind)
103 : Matcher(Matcher), Finder(Finder), Builder(Builder), CurrentDepth(0),
104 MaxDepth(MaxDepth), IgnoreImplicitChildren(IgnoreImplicitChildren),
105 Bind(Bind), Matches(false) {}
106
107 // Returns true if a match is found in the subtree rooted at the
108 // given AST node. This is done via a set of mutually recursive
109 // functions. Here's how the recursion is done (the *wildcard can
110 // actually be Decl, Stmt, or Type):
111 //
112 // - Traverse(node) calls BaseTraverse(node) when it needs
113 // to visit the descendants of node.
114 // - BaseTraverse(node) then calls (via VisitorBase::Traverse*(node))
115 // Traverse*(c) for each child c of 'node'.
116 // - Traverse*(c) in turn calls Traverse(c), completing the
117 // recursion.
findMatch(const DynTypedNode & DynNode)118 bool findMatch(const DynTypedNode &DynNode) {
119 reset();
120 if (const Decl *D = DynNode.get<Decl>())
121 traverse(*D);
122 else if (const Stmt *S = DynNode.get<Stmt>())
123 traverse(*S);
124 else if (const NestedNameSpecifier *NNS =
125 DynNode.get<NestedNameSpecifier>())
126 traverse(*NNS);
127 else if (const NestedNameSpecifierLoc *NNSLoc =
128 DynNode.get<NestedNameSpecifierLoc>())
129 traverse(*NNSLoc);
130 else if (const QualType *Q = DynNode.get<QualType>())
131 traverse(*Q);
132 else if (const TypeLoc *T = DynNode.get<TypeLoc>())
133 traverse(*T);
134 else if (const auto *C = DynNode.get<CXXCtorInitializer>())
135 traverse(*C);
136 else if (const TemplateArgumentLoc *TALoc =
137 DynNode.get<TemplateArgumentLoc>())
138 traverse(*TALoc);
139 else if (const Attr *A = DynNode.get<Attr>())
140 traverse(*A);
141 // FIXME: Add other base types after adding tests.
142
143 // It's OK to always overwrite the bound nodes, as if there was
144 // no match in this recursive branch, the result set is empty
145 // anyway.
146 *Builder = ResultBindings;
147
148 return Matches;
149 }
150
151 // The following are overriding methods from the base visitor class.
152 // They are public only to allow CRTP to work. They are *not *part
153 // of the public API of this class.
TraverseDecl(Decl * DeclNode)154 bool TraverseDecl(Decl *DeclNode) {
155
156 if (DeclNode && DeclNode->isImplicit() &&
157 Finder->isTraversalIgnoringImplicitNodes())
158 return baseTraverse(*DeclNode);
159
160 ScopedIncrement ScopedDepth(&CurrentDepth);
161 return (DeclNode == nullptr) || traverse(*DeclNode);
162 }
163
getStmtToTraverse(Stmt * StmtNode)164 Stmt *getStmtToTraverse(Stmt *StmtNode) {
165 Stmt *StmtToTraverse = StmtNode;
166 if (auto *ExprNode = dyn_cast_or_null<Expr>(StmtNode)) {
167 auto *LambdaNode = dyn_cast_or_null<LambdaExpr>(StmtNode);
168 if (LambdaNode && Finder->isTraversalIgnoringImplicitNodes())
169 StmtToTraverse = LambdaNode;
170 else
171 StmtToTraverse =
172 Finder->getASTContext().getParentMapContext().traverseIgnored(
173 ExprNode);
174 }
175 return StmtToTraverse;
176 }
177
TraverseStmt(Stmt * StmtNode,DataRecursionQueue * Queue=nullptr)178 bool TraverseStmt(Stmt *StmtNode, DataRecursionQueue *Queue = nullptr) {
179 // If we need to keep track of the depth, we can't perform data recursion.
180 if (CurrentDepth == 0 || (CurrentDepth <= MaxDepth && MaxDepth < INT_MAX))
181 Queue = nullptr;
182
183 ScopedIncrement ScopedDepth(&CurrentDepth);
184 Stmt *StmtToTraverse = getStmtToTraverse(StmtNode);
185 if (!StmtToTraverse)
186 return true;
187
188 if (IgnoreImplicitChildren && isa<CXXDefaultArgExpr>(StmtNode))
189 return true;
190
191 if (!match(*StmtToTraverse))
192 return false;
193 return VisitorBase::TraverseStmt(StmtToTraverse, Queue);
194 }
195 // We assume that the QualType and the contained type are on the same
196 // hierarchy level. Thus, we try to match either of them.
TraverseType(QualType TypeNode)197 bool TraverseType(QualType TypeNode) {
198 if (TypeNode.isNull())
199 return true;
200 ScopedIncrement ScopedDepth(&CurrentDepth);
201 // Match the Type.
202 if (!match(*TypeNode))
203 return false;
204 // The QualType is matched inside traverse.
205 return traverse(TypeNode);
206 }
207 // We assume that the TypeLoc, contained QualType and contained Type all are
208 // on the same hierarchy level. Thus, we try to match all of them.
TraverseTypeLoc(TypeLoc TypeLocNode)209 bool TraverseTypeLoc(TypeLoc TypeLocNode) {
210 if (TypeLocNode.isNull())
211 return true;
212 ScopedIncrement ScopedDepth(&CurrentDepth);
213 // Match the Type.
214 if (!match(*TypeLocNode.getType()))
215 return false;
216 // Match the QualType.
217 if (!match(TypeLocNode.getType()))
218 return false;
219 // The TypeLoc is matched inside traverse.
220 return traverse(TypeLocNode);
221 }
TraverseNestedNameSpecifier(NestedNameSpecifier * NNS)222 bool TraverseNestedNameSpecifier(NestedNameSpecifier *NNS) {
223 ScopedIncrement ScopedDepth(&CurrentDepth);
224 return (NNS == nullptr) || traverse(*NNS);
225 }
TraverseNestedNameSpecifierLoc(NestedNameSpecifierLoc NNS)226 bool TraverseNestedNameSpecifierLoc(NestedNameSpecifierLoc NNS) {
227 if (!NNS)
228 return true;
229 ScopedIncrement ScopedDepth(&CurrentDepth);
230 if (!match(*NNS.getNestedNameSpecifier()))
231 return false;
232 return traverse(NNS);
233 }
TraverseConstructorInitializer(CXXCtorInitializer * CtorInit)234 bool TraverseConstructorInitializer(CXXCtorInitializer *CtorInit) {
235 if (!CtorInit)
236 return true;
237 ScopedIncrement ScopedDepth(&CurrentDepth);
238 return traverse(*CtorInit);
239 }
TraverseTemplateArgumentLoc(TemplateArgumentLoc TAL)240 bool TraverseTemplateArgumentLoc(TemplateArgumentLoc TAL) {
241 ScopedIncrement ScopedDepth(&CurrentDepth);
242 return traverse(TAL);
243 }
TraverseCXXForRangeStmt(CXXForRangeStmt * Node)244 bool TraverseCXXForRangeStmt(CXXForRangeStmt *Node) {
245 if (!Finder->isTraversalIgnoringImplicitNodes())
246 return VisitorBase::TraverseCXXForRangeStmt(Node);
247 if (!Node)
248 return true;
249 ScopedIncrement ScopedDepth(&CurrentDepth);
250 if (auto *Init = Node->getInit())
251 if (!traverse(*Init))
252 return false;
253 if (!match(*Node->getLoopVariable()))
254 return false;
255 if (match(*Node->getRangeInit()))
256 if (!VisitorBase::TraverseStmt(Node->getRangeInit()))
257 return false;
258 if (!match(*Node->getBody()))
259 return false;
260 return VisitorBase::TraverseStmt(Node->getBody());
261 }
TraverseCXXRewrittenBinaryOperator(CXXRewrittenBinaryOperator * Node)262 bool TraverseCXXRewrittenBinaryOperator(CXXRewrittenBinaryOperator *Node) {
263 if (!Finder->isTraversalIgnoringImplicitNodes())
264 return VisitorBase::TraverseCXXRewrittenBinaryOperator(Node);
265 if (!Node)
266 return true;
267 ScopedIncrement ScopedDepth(&CurrentDepth);
268
269 return match(*Node->getLHS()) && match(*Node->getRHS());
270 }
TraverseAttr(Attr * A)271 bool TraverseAttr(Attr *A) {
272 if (A == nullptr ||
273 (A->isImplicit() &&
274 Finder->getASTContext().getParentMapContext().getTraversalKind() ==
275 TK_IgnoreUnlessSpelledInSource))
276 return true;
277 ScopedIncrement ScopedDepth(&CurrentDepth);
278 return traverse(*A);
279 }
TraverseLambdaExpr(LambdaExpr * Node)280 bool TraverseLambdaExpr(LambdaExpr *Node) {
281 if (!Finder->isTraversalIgnoringImplicitNodes())
282 return VisitorBase::TraverseLambdaExpr(Node);
283 if (!Node)
284 return true;
285 ScopedIncrement ScopedDepth(&CurrentDepth);
286
287 for (unsigned I = 0, N = Node->capture_size(); I != N; ++I) {
288 const LambdaCapture *C = Node->capture_begin() + I;
289 if (!C->isExplicit())
290 continue;
291 if (Node->isInitCapture(C) && !match(*C->getCapturedVar()))
292 return false;
293 const Expr *CIE = Node->capture_init_begin()[I];
294 if (CIE != nullptr && !match(*CIE))
295 return false;
296 }
297
298 if (const auto *TPL = Node->getTemplateParameterList()) {
299 for (const auto *TP : *TPL) {
300 if (!match(*TP))
301 return false;
302 }
303 }
304
305 for (const auto *P : Node->getCallOperator()->parameters()) {
306 if (!match(*P))
307 return false;
308 }
309
310 if (!match(*Node->getBody()))
311 return false;
312
313 return VisitorBase::TraverseStmt(Node->getBody());
314 }
315
shouldVisitTemplateInstantiations() const316 bool shouldVisitTemplateInstantiations() const { return true; }
shouldVisitImplicitCode() const317 bool shouldVisitImplicitCode() const { return !IgnoreImplicitChildren; }
318
319 private:
320 // Used for updating the depth during traversal.
321 struct ScopedIncrement {
ScopedIncrementclang::ast_matchers::internal::__anon17c865b50111::MatchChildASTVisitor::ScopedIncrement322 explicit ScopedIncrement(int *Depth) : Depth(Depth) { ++(*Depth); }
~ScopedIncrementclang::ast_matchers::internal::__anon17c865b50111::MatchChildASTVisitor::ScopedIncrement323 ~ScopedIncrement() { --(*Depth); }
324
325 private:
326 int *Depth;
327 };
328
329 // Resets the state of this object.
reset()330 void reset() {
331 Matches = false;
332 CurrentDepth = 0;
333 }
334
335 // Forwards the call to the corresponding Traverse*() method in the
336 // base visitor class.
baseTraverse(const Decl & DeclNode)337 bool baseTraverse(const Decl &DeclNode) {
338 return VisitorBase::TraverseDecl(const_cast<Decl*>(&DeclNode));
339 }
baseTraverse(const Stmt & StmtNode)340 bool baseTraverse(const Stmt &StmtNode) {
341 return VisitorBase::TraverseStmt(const_cast<Stmt*>(&StmtNode));
342 }
baseTraverse(QualType TypeNode)343 bool baseTraverse(QualType TypeNode) {
344 return VisitorBase::TraverseType(TypeNode);
345 }
baseTraverse(TypeLoc TypeLocNode)346 bool baseTraverse(TypeLoc TypeLocNode) {
347 return VisitorBase::TraverseTypeLoc(TypeLocNode);
348 }
baseTraverse(const NestedNameSpecifier & NNS)349 bool baseTraverse(const NestedNameSpecifier &NNS) {
350 return VisitorBase::TraverseNestedNameSpecifier(
351 const_cast<NestedNameSpecifier*>(&NNS));
352 }
baseTraverse(NestedNameSpecifierLoc NNS)353 bool baseTraverse(NestedNameSpecifierLoc NNS) {
354 return VisitorBase::TraverseNestedNameSpecifierLoc(NNS);
355 }
baseTraverse(const CXXCtorInitializer & CtorInit)356 bool baseTraverse(const CXXCtorInitializer &CtorInit) {
357 return VisitorBase::TraverseConstructorInitializer(
358 const_cast<CXXCtorInitializer *>(&CtorInit));
359 }
baseTraverse(TemplateArgumentLoc TAL)360 bool baseTraverse(TemplateArgumentLoc TAL) {
361 return VisitorBase::TraverseTemplateArgumentLoc(TAL);
362 }
baseTraverse(const Attr & AttrNode)363 bool baseTraverse(const Attr &AttrNode) {
364 return VisitorBase::TraverseAttr(const_cast<Attr *>(&AttrNode));
365 }
366
367 // Sets 'Matched' to true if 'Matcher' matches 'Node' and:
368 // 0 < CurrentDepth <= MaxDepth.
369 //
370 // Returns 'true' if traversal should continue after this function
371 // returns, i.e. if no match is found or 'Bind' is 'BK_All'.
372 template <typename T>
match(const T & Node)373 bool match(const T &Node) {
374 if (CurrentDepth == 0 || CurrentDepth > MaxDepth) {
375 return true;
376 }
377 if (Bind != ASTMatchFinder::BK_All) {
378 BoundNodesTreeBuilder RecursiveBuilder(*Builder);
379 if (Matcher->matches(DynTypedNode::create(Node), Finder,
380 &RecursiveBuilder)) {
381 Matches = true;
382 ResultBindings.addMatch(RecursiveBuilder);
383 return false; // Abort as soon as a match is found.
384 }
385 } else {
386 BoundNodesTreeBuilder RecursiveBuilder(*Builder);
387 if (Matcher->matches(DynTypedNode::create(Node), Finder,
388 &RecursiveBuilder)) {
389 // After the first match the matcher succeeds.
390 Matches = true;
391 ResultBindings.addMatch(RecursiveBuilder);
392 }
393 }
394 return true;
395 }
396
397 // Traverses the subtree rooted at 'Node'; returns true if the
398 // traversal should continue after this function returns.
399 template <typename T>
traverse(const T & Node)400 bool traverse(const T &Node) {
401 static_assert(IsBaseType<T>::value,
402 "traverse can only be instantiated with base type");
403 if (!match(Node))
404 return false;
405 return baseTraverse(Node);
406 }
407
408 const DynTypedMatcher *const Matcher;
409 ASTMatchFinder *const Finder;
410 BoundNodesTreeBuilder *const Builder;
411 BoundNodesTreeBuilder ResultBindings;
412 int CurrentDepth;
413 const int MaxDepth;
414 const bool IgnoreImplicitChildren;
415 const ASTMatchFinder::BindKind Bind;
416 bool Matches;
417 };
418
419 // Controls the outermost traversal of the AST and allows to match multiple
420 // matchers.
421 class MatchASTVisitor : public RecursiveASTVisitor<MatchASTVisitor>,
422 public ASTMatchFinder {
423 public:
MatchASTVisitor(const MatchFinder::MatchersByType * Matchers,const MatchFinder::MatchFinderOptions & Options)424 MatchASTVisitor(const MatchFinder::MatchersByType *Matchers,
425 const MatchFinder::MatchFinderOptions &Options)
426 : Matchers(Matchers), Options(Options), ActiveASTContext(nullptr) {}
427
~MatchASTVisitor()428 ~MatchASTVisitor() override {
429 if (Options.CheckProfiling) {
430 Options.CheckProfiling->Records = std::move(TimeByBucket);
431 }
432 }
433
onStartOfTranslationUnit()434 void onStartOfTranslationUnit() {
435 const bool EnableCheckProfiling = Options.CheckProfiling.has_value();
436 TimeBucketRegion Timer;
437 for (MatchCallback *MC : Matchers->AllCallbacks) {
438 if (EnableCheckProfiling)
439 Timer.setBucket(&TimeByBucket[MC->getID()]);
440 MC->onStartOfTranslationUnit();
441 }
442 }
443
onEndOfTranslationUnit()444 void onEndOfTranslationUnit() {
445 const bool EnableCheckProfiling = Options.CheckProfiling.has_value();
446 TimeBucketRegion Timer;
447 for (MatchCallback *MC : Matchers->AllCallbacks) {
448 if (EnableCheckProfiling)
449 Timer.setBucket(&TimeByBucket[MC->getID()]);
450 MC->onEndOfTranslationUnit();
451 }
452 }
453
set_active_ast_context(ASTContext * NewActiveASTContext)454 void set_active_ast_context(ASTContext *NewActiveASTContext) {
455 ActiveASTContext = NewActiveASTContext;
456 }
457
458 // The following Visit*() and Traverse*() functions "override"
459 // methods in RecursiveASTVisitor.
460
VisitTypedefNameDecl(TypedefNameDecl * DeclNode)461 bool VisitTypedefNameDecl(TypedefNameDecl *DeclNode) {
462 // When we see 'typedef A B', we add name 'B' to the set of names
463 // A's canonical type maps to. This is necessary for implementing
464 // isDerivedFrom(x) properly, where x can be the name of the base
465 // class or any of its aliases.
466 //
467 // In general, the is-alias-of (as defined by typedefs) relation
468 // is tree-shaped, as you can typedef a type more than once. For
469 // example,
470 //
471 // typedef A B;
472 // typedef A C;
473 // typedef C D;
474 // typedef C E;
475 //
476 // gives you
477 //
478 // A
479 // |- B
480 // `- C
481 // |- D
482 // `- E
483 //
484 // It is wrong to assume that the relation is a chain. A correct
485 // implementation of isDerivedFrom() needs to recognize that B and
486 // E are aliases, even though neither is a typedef of the other.
487 // Therefore, we cannot simply walk through one typedef chain to
488 // find out whether the type name matches.
489 const Type *TypeNode = DeclNode->getUnderlyingType().getTypePtr();
490 const Type *CanonicalType = // root of the typedef tree
491 ActiveASTContext->getCanonicalType(TypeNode);
492 TypeAliases[CanonicalType].insert(DeclNode);
493 return true;
494 }
495
VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl * CAD)496 bool VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *CAD) {
497 const ObjCInterfaceDecl *InterfaceDecl = CAD->getClassInterface();
498 CompatibleAliases[InterfaceDecl].insert(CAD);
499 return true;
500 }
501
502 bool TraverseDecl(Decl *DeclNode);
503 bool TraverseStmt(Stmt *StmtNode, DataRecursionQueue *Queue = nullptr);
504 bool TraverseType(QualType TypeNode);
505 bool TraverseTypeLoc(TypeLoc TypeNode);
506 bool TraverseNestedNameSpecifier(NestedNameSpecifier *NNS);
507 bool TraverseNestedNameSpecifierLoc(NestedNameSpecifierLoc NNS);
508 bool TraverseConstructorInitializer(CXXCtorInitializer *CtorInit);
509 bool TraverseTemplateArgumentLoc(TemplateArgumentLoc TAL);
510 bool TraverseAttr(Attr *AttrNode);
511
dataTraverseNode(Stmt * S,DataRecursionQueue * Queue)512 bool dataTraverseNode(Stmt *S, DataRecursionQueue *Queue) {
513 if (auto *RF = dyn_cast<CXXForRangeStmt>(S)) {
514 {
515 ASTNodeNotAsIsSourceScope RAII(this, true);
516 TraverseStmt(RF->getInit());
517 // Don't traverse under the loop variable
518 match(*RF->getLoopVariable());
519 TraverseStmt(RF->getRangeInit());
520 }
521 {
522 ASTNodeNotSpelledInSourceScope RAII(this, true);
523 for (auto *SubStmt : RF->children()) {
524 if (SubStmt != RF->getBody())
525 TraverseStmt(SubStmt);
526 }
527 }
528 TraverseStmt(RF->getBody());
529 return true;
530 } else if (auto *RBO = dyn_cast<CXXRewrittenBinaryOperator>(S)) {
531 {
532 ASTNodeNotAsIsSourceScope RAII(this, true);
533 TraverseStmt(const_cast<Expr *>(RBO->getLHS()));
534 TraverseStmt(const_cast<Expr *>(RBO->getRHS()));
535 }
536 {
537 ASTNodeNotSpelledInSourceScope RAII(this, true);
538 for (auto *SubStmt : RBO->children()) {
539 TraverseStmt(SubStmt);
540 }
541 }
542 return true;
543 } else if (auto *LE = dyn_cast<LambdaExpr>(S)) {
544 for (auto I : llvm::zip(LE->captures(), LE->capture_inits())) {
545 auto C = std::get<0>(I);
546 ASTNodeNotSpelledInSourceScope RAII(
547 this, TraversingASTNodeNotSpelledInSource || !C.isExplicit());
548 TraverseLambdaCapture(LE, &C, std::get<1>(I));
549 }
550
551 {
552 ASTNodeNotSpelledInSourceScope RAII(this, true);
553 TraverseDecl(LE->getLambdaClass());
554 }
555 {
556 ASTNodeNotAsIsSourceScope RAII(this, true);
557
558 // We need to poke around to find the bits that might be explicitly
559 // written.
560 TypeLoc TL = LE->getCallOperator()->getTypeSourceInfo()->getTypeLoc();
561 FunctionProtoTypeLoc Proto = TL.getAsAdjusted<FunctionProtoTypeLoc>();
562
563 if (auto *TPL = LE->getTemplateParameterList()) {
564 for (NamedDecl *D : *TPL) {
565 TraverseDecl(D);
566 }
567 if (Expr *RequiresClause = TPL->getRequiresClause()) {
568 TraverseStmt(RequiresClause);
569 }
570 }
571
572 if (LE->hasExplicitParameters()) {
573 // Visit parameters.
574 for (ParmVarDecl *Param : Proto.getParams())
575 TraverseDecl(Param);
576 }
577
578 const auto *T = Proto.getTypePtr();
579 for (const auto &E : T->exceptions())
580 TraverseType(E);
581
582 if (Expr *NE = T->getNoexceptExpr())
583 TraverseStmt(NE, Queue);
584
585 if (LE->hasExplicitResultType())
586 TraverseTypeLoc(Proto.getReturnLoc());
587 TraverseStmt(
588 const_cast<Expr *>(LE->getTrailingRequiresClause().ConstraintExpr));
589 }
590
591 TraverseStmt(LE->getBody());
592 return true;
593 }
594 return RecursiveASTVisitor<MatchASTVisitor>::dataTraverseNode(S, Queue);
595 }
596
597 // Matches children or descendants of 'Node' with 'BaseMatcher'.
memoizedMatchesRecursively(const DynTypedNode & Node,ASTContext & Ctx,const DynTypedMatcher & Matcher,BoundNodesTreeBuilder * Builder,int MaxDepth,BindKind Bind)598 bool memoizedMatchesRecursively(const DynTypedNode &Node, ASTContext &Ctx,
599 const DynTypedMatcher &Matcher,
600 BoundNodesTreeBuilder *Builder, int MaxDepth,
601 BindKind Bind) {
602 // For AST-nodes that don't have an identity, we can't memoize.
603 if (!Node.getMemoizationData() || !Builder->isComparable())
604 return matchesRecursively(Node, Matcher, Builder, MaxDepth, Bind);
605
606 MatchKey Key;
607 Key.MatcherID = Matcher.getID();
608 Key.Node = Node;
609 // Note that we key on the bindings *before* the match.
610 Key.BoundNodes = *Builder;
611 Key.Traversal = Ctx.getParentMapContext().getTraversalKind();
612 // Memoize result even doing a single-level match, it might be expensive.
613 Key.Type = MaxDepth == 1 ? MatchType::Child : MatchType::Descendants;
614 MemoizationMap::iterator I = ResultCache.find(Key);
615 if (I != ResultCache.end()) {
616 *Builder = I->second.Nodes;
617 return I->second.ResultOfMatch;
618 }
619
620 MemoizedMatchResult Result;
621 Result.Nodes = *Builder;
622 Result.ResultOfMatch =
623 matchesRecursively(Node, Matcher, &Result.Nodes, MaxDepth, Bind);
624
625 MemoizedMatchResult &CachedResult = ResultCache[Key];
626 CachedResult = std::move(Result);
627
628 *Builder = CachedResult.Nodes;
629 return CachedResult.ResultOfMatch;
630 }
631
632 // Matches children or descendants of 'Node' with 'BaseMatcher'.
matchesRecursively(const DynTypedNode & Node,const DynTypedMatcher & Matcher,BoundNodesTreeBuilder * Builder,int MaxDepth,BindKind Bind)633 bool matchesRecursively(const DynTypedNode &Node,
634 const DynTypedMatcher &Matcher,
635 BoundNodesTreeBuilder *Builder, int MaxDepth,
636 BindKind Bind) {
637 bool ScopedTraversal = TraversingASTNodeNotSpelledInSource ||
638 TraversingASTChildrenNotSpelledInSource;
639
640 bool IgnoreImplicitChildren = false;
641
642 if (isTraversalIgnoringImplicitNodes()) {
643 IgnoreImplicitChildren = true;
644 }
645
646 ASTNodeNotSpelledInSourceScope RAII(this, ScopedTraversal);
647
648 MatchChildASTVisitor Visitor(&Matcher, this, Builder, MaxDepth,
649 IgnoreImplicitChildren, Bind);
650 return Visitor.findMatch(Node);
651 }
652
653 bool classIsDerivedFrom(const CXXRecordDecl *Declaration,
654 const Matcher<NamedDecl> &Base,
655 BoundNodesTreeBuilder *Builder,
656 bool Directly) override;
657
658 private:
659 bool
660 classIsDerivedFromImpl(const CXXRecordDecl *Declaration,
661 const Matcher<NamedDecl> &Base,
662 BoundNodesTreeBuilder *Builder, bool Directly,
663 llvm::SmallPtrSetImpl<const CXXRecordDecl *> &Visited);
664
665 public:
666 bool objcClassIsDerivedFrom(const ObjCInterfaceDecl *Declaration,
667 const Matcher<NamedDecl> &Base,
668 BoundNodesTreeBuilder *Builder,
669 bool Directly) override;
670
671 public:
672 // Implements ASTMatchFinder::matchesChildOf.
matchesChildOf(const DynTypedNode & Node,ASTContext & Ctx,const DynTypedMatcher & Matcher,BoundNodesTreeBuilder * Builder,BindKind Bind)673 bool matchesChildOf(const DynTypedNode &Node, ASTContext &Ctx,
674 const DynTypedMatcher &Matcher,
675 BoundNodesTreeBuilder *Builder, BindKind Bind) override {
676 if (ResultCache.size() > MaxMemoizationEntries)
677 ResultCache.clear();
678 return memoizedMatchesRecursively(Node, Ctx, Matcher, Builder, 1, Bind);
679 }
680 // Implements ASTMatchFinder::matchesDescendantOf.
matchesDescendantOf(const DynTypedNode & Node,ASTContext & Ctx,const DynTypedMatcher & Matcher,BoundNodesTreeBuilder * Builder,BindKind Bind)681 bool matchesDescendantOf(const DynTypedNode &Node, ASTContext &Ctx,
682 const DynTypedMatcher &Matcher,
683 BoundNodesTreeBuilder *Builder,
684 BindKind Bind) override {
685 if (ResultCache.size() > MaxMemoizationEntries)
686 ResultCache.clear();
687 return memoizedMatchesRecursively(Node, Ctx, Matcher, Builder, INT_MAX,
688 Bind);
689 }
690 // Implements ASTMatchFinder::matchesAncestorOf.
matchesAncestorOf(const DynTypedNode & Node,ASTContext & Ctx,const DynTypedMatcher & Matcher,BoundNodesTreeBuilder * Builder,AncestorMatchMode MatchMode)691 bool matchesAncestorOf(const DynTypedNode &Node, ASTContext &Ctx,
692 const DynTypedMatcher &Matcher,
693 BoundNodesTreeBuilder *Builder,
694 AncestorMatchMode MatchMode) override {
695 // Reset the cache outside of the recursive call to make sure we
696 // don't invalidate any iterators.
697 if (ResultCache.size() > MaxMemoizationEntries)
698 ResultCache.clear();
699 if (MatchMode == AncestorMatchMode::AMM_ParentOnly)
700 return matchesParentOf(Node, Matcher, Builder);
701 return matchesAnyAncestorOf(Node, Ctx, Matcher, Builder);
702 }
703
704 // Matches all registered matchers on the given node and calls the
705 // result callback for every node that matches.
match(const DynTypedNode & Node)706 void match(const DynTypedNode &Node) {
707 // FIXME: Improve this with a switch or a visitor pattern.
708 if (auto *N = Node.get<Decl>()) {
709 match(*N);
710 } else if (auto *N = Node.get<Stmt>()) {
711 match(*N);
712 } else if (auto *N = Node.get<Type>()) {
713 match(*N);
714 } else if (auto *N = Node.get<QualType>()) {
715 match(*N);
716 } else if (auto *N = Node.get<NestedNameSpecifier>()) {
717 match(*N);
718 } else if (auto *N = Node.get<NestedNameSpecifierLoc>()) {
719 match(*N);
720 } else if (auto *N = Node.get<TypeLoc>()) {
721 match(*N);
722 } else if (auto *N = Node.get<CXXCtorInitializer>()) {
723 match(*N);
724 } else if (auto *N = Node.get<TemplateArgumentLoc>()) {
725 match(*N);
726 } else if (auto *N = Node.get<Attr>()) {
727 match(*N);
728 }
729 }
730
match(const T & Node)731 template <typename T> void match(const T &Node) {
732 matchDispatch(&Node);
733 }
734
735 // Implements ASTMatchFinder::getASTContext.
getASTContext() const736 ASTContext &getASTContext() const override { return *ActiveASTContext; }
737
shouldVisitTemplateInstantiations() const738 bool shouldVisitTemplateInstantiations() const { return true; }
shouldVisitImplicitCode() const739 bool shouldVisitImplicitCode() const { return true; }
740
741 // We visit the lambda body explicitly, so instruct the RAV
742 // to not visit it on our behalf too.
shouldVisitLambdaBody() const743 bool shouldVisitLambdaBody() const { return false; }
744
IsMatchingInASTNodeNotSpelledInSource() const745 bool IsMatchingInASTNodeNotSpelledInSource() const override {
746 return TraversingASTNodeNotSpelledInSource;
747 }
isMatchingChildrenNotSpelledInSource() const748 bool isMatchingChildrenNotSpelledInSource() const override {
749 return TraversingASTChildrenNotSpelledInSource;
750 }
setMatchingChildrenNotSpelledInSource(bool Set)751 void setMatchingChildrenNotSpelledInSource(bool Set) override {
752 TraversingASTChildrenNotSpelledInSource = Set;
753 }
754
IsMatchingInASTNodeNotAsIs() const755 bool IsMatchingInASTNodeNotAsIs() const override {
756 return TraversingASTNodeNotAsIs;
757 }
758
TraverseTemplateInstantiations(ClassTemplateDecl * D)759 bool TraverseTemplateInstantiations(ClassTemplateDecl *D) {
760 ASTNodeNotSpelledInSourceScope RAII(this, true);
761 return RecursiveASTVisitor<MatchASTVisitor>::TraverseTemplateInstantiations(
762 D);
763 }
764
TraverseTemplateInstantiations(VarTemplateDecl * D)765 bool TraverseTemplateInstantiations(VarTemplateDecl *D) {
766 ASTNodeNotSpelledInSourceScope RAII(this, true);
767 return RecursiveASTVisitor<MatchASTVisitor>::TraverseTemplateInstantiations(
768 D);
769 }
770
TraverseTemplateInstantiations(FunctionTemplateDecl * D)771 bool TraverseTemplateInstantiations(FunctionTemplateDecl *D) {
772 ASTNodeNotSpelledInSourceScope RAII(this, true);
773 return RecursiveASTVisitor<MatchASTVisitor>::TraverseTemplateInstantiations(
774 D);
775 }
776
777 private:
778 bool TraversingASTNodeNotSpelledInSource = false;
779 bool TraversingASTNodeNotAsIs = false;
780 bool TraversingASTChildrenNotSpelledInSource = false;
781
782 class CurMatchData {
783 // We don't have enough free low bits in 32bit builds to discriminate 8 pointer
784 // types in PointerUnion. so split the union in 2 using a free bit from the
785 // callback pointer.
786 #define CMD_TYPES_0 \
787 const QualType *, const TypeLoc *, const NestedNameSpecifier *, \
788 const NestedNameSpecifierLoc *
789 #define CMD_TYPES_1 \
790 const CXXCtorInitializer *, const TemplateArgumentLoc *, const Attr *, \
791 const DynTypedNode *
792
793 #define IMPL(Index) \
794 template <typename NodeType> \
795 std::enable_if_t< \
796 llvm::is_one_of<const NodeType *, CMD_TYPES_##Index>::value> \
797 SetCallbackAndRawNode(const MatchCallback *CB, const NodeType &N) { \
798 assertEmpty(); \
799 Callback.setPointerAndInt(CB, Index); \
800 Node##Index = &N; \
801 } \
802 \
803 template <typename T> \
804 std::enable_if_t<llvm::is_one_of<const T *, CMD_TYPES_##Index>::value, \
805 const T *> \
806 getNode() const { \
807 assertHoldsState(); \
808 return Callback.getInt() == (Index) ? Node##Index.dyn_cast<const T *>() \
809 : nullptr; \
810 }
811
812 public:
CurMatchData()813 CurMatchData() : Node0(nullptr) {}
814
815 IMPL(0)
816 IMPL(1)
817
getCallback() const818 const MatchCallback *getCallback() const { return Callback.getPointer(); }
819
SetBoundNodes(const BoundNodes & BN)820 void SetBoundNodes(const BoundNodes &BN) {
821 assertHoldsState();
822 BNodes = &BN;
823 }
824
clearBoundNodes()825 void clearBoundNodes() {
826 assertHoldsState();
827 BNodes = nullptr;
828 }
829
getBoundNodes() const830 const BoundNodes *getBoundNodes() const {
831 assertHoldsState();
832 return BNodes;
833 }
834
reset()835 void reset() {
836 assertHoldsState();
837 Callback.setPointerAndInt(nullptr, 0);
838 Node0 = nullptr;
839 }
840
841 private:
assertHoldsState() const842 void assertHoldsState() const {
843 assert(Callback.getPointer() != nullptr && !Node0.isNull());
844 }
845
assertEmpty() const846 void assertEmpty() const {
847 assert(Callback.getPointer() == nullptr && Node0.isNull() &&
848 BNodes == nullptr);
849 }
850
851 llvm::PointerIntPair<const MatchCallback *, 1> Callback;
852 union {
853 llvm::PointerUnion<CMD_TYPES_0> Node0;
854 llvm::PointerUnion<CMD_TYPES_1> Node1;
855 };
856 const BoundNodes *BNodes = nullptr;
857
858 #undef CMD_TYPES_0
859 #undef CMD_TYPES_1
860 #undef IMPL
861 } CurMatchState;
862
863 struct CurMatchRAII {
864 template <typename NodeType>
CurMatchRAIIclang::ast_matchers::internal::__anon17c865b50111::MatchASTVisitor::CurMatchRAII865 CurMatchRAII(MatchASTVisitor &MV, const MatchCallback *CB,
866 const NodeType &NT)
867 : MV(MV) {
868 MV.CurMatchState.SetCallbackAndRawNode(CB, NT);
869 }
870
~CurMatchRAIIclang::ast_matchers::internal::__anon17c865b50111::MatchASTVisitor::CurMatchRAII871 ~CurMatchRAII() { MV.CurMatchState.reset(); }
872
873 private:
874 MatchASTVisitor &MV;
875 };
876
877 public:
878 class TraceReporter : llvm::PrettyStackTraceEntry {
dumpNode(const ASTContext & Ctx,const DynTypedNode & Node,raw_ostream & OS)879 static void dumpNode(const ASTContext &Ctx, const DynTypedNode &Node,
880 raw_ostream &OS) {
881 if (const auto *D = Node.get<Decl>()) {
882 OS << D->getDeclKindName() << "Decl ";
883 if (const auto *ND = dyn_cast<NamedDecl>(D)) {
884 ND->printQualifiedName(OS);
885 OS << " : ";
886 } else
887 OS << ": ";
888 D->getSourceRange().print(OS, Ctx.getSourceManager());
889 } else if (const auto *S = Node.get<Stmt>()) {
890 OS << S->getStmtClassName() << " : ";
891 S->getSourceRange().print(OS, Ctx.getSourceManager());
892 } else if (const auto *T = Node.get<Type>()) {
893 OS << T->getTypeClassName() << "Type : ";
894 QualType(T, 0).print(OS, Ctx.getPrintingPolicy());
895 } else if (const auto *QT = Node.get<QualType>()) {
896 OS << "QualType : ";
897 QT->print(OS, Ctx.getPrintingPolicy());
898 } else {
899 OS << Node.getNodeKind().asStringRef() << " : ";
900 Node.getSourceRange().print(OS, Ctx.getSourceManager());
901 }
902 }
903
dumpNodeFromState(const ASTContext & Ctx,const CurMatchData & State,raw_ostream & OS)904 static void dumpNodeFromState(const ASTContext &Ctx,
905 const CurMatchData &State, raw_ostream &OS) {
906 if (const DynTypedNode *MatchNode = State.getNode<DynTypedNode>()) {
907 dumpNode(Ctx, *MatchNode, OS);
908 } else if (const auto *QT = State.getNode<QualType>()) {
909 dumpNode(Ctx, DynTypedNode::create(*QT), OS);
910 } else if (const auto *TL = State.getNode<TypeLoc>()) {
911 dumpNode(Ctx, DynTypedNode::create(*TL), OS);
912 } else if (const auto *NNS = State.getNode<NestedNameSpecifier>()) {
913 dumpNode(Ctx, DynTypedNode::create(*NNS), OS);
914 } else if (const auto *NNSL = State.getNode<NestedNameSpecifierLoc>()) {
915 dumpNode(Ctx, DynTypedNode::create(*NNSL), OS);
916 } else if (const auto *CtorInit = State.getNode<CXXCtorInitializer>()) {
917 dumpNode(Ctx, DynTypedNode::create(*CtorInit), OS);
918 } else if (const auto *TAL = State.getNode<TemplateArgumentLoc>()) {
919 dumpNode(Ctx, DynTypedNode::create(*TAL), OS);
920 } else if (const auto *At = State.getNode<Attr>()) {
921 dumpNode(Ctx, DynTypedNode::create(*At), OS);
922 }
923 }
924
925 public:
TraceReporter(const MatchASTVisitor & MV)926 TraceReporter(const MatchASTVisitor &MV) : MV(MV) {}
print(raw_ostream & OS) const927 void print(raw_ostream &OS) const override {
928 const CurMatchData &State = MV.CurMatchState;
929 const MatchCallback *CB = State.getCallback();
930 if (!CB) {
931 OS << "ASTMatcher: Not currently matching\n";
932 return;
933 }
934
935 assert(MV.ActiveASTContext &&
936 "ActiveASTContext should be set if there is a matched callback");
937
938 ASTContext &Ctx = MV.getASTContext();
939
940 if (const BoundNodes *Nodes = State.getBoundNodes()) {
941 OS << "ASTMatcher: Processing '" << CB->getID() << "' against:\n\t";
942 dumpNodeFromState(Ctx, State, OS);
943 const BoundNodes::IDToNodeMap &Map = Nodes->getMap();
944 if (Map.empty()) {
945 OS << "\nNo bound nodes\n";
946 return;
947 }
948 OS << "\n--- Bound Nodes Begin ---\n";
949 for (const auto &Item : Map) {
950 OS << " " << Item.first << " - { ";
951 dumpNode(Ctx, Item.second, OS);
952 OS << " }\n";
953 }
954 OS << "--- Bound Nodes End ---\n";
955 } else {
956 OS << "ASTMatcher: Matching '" << CB->getID() << "' against:\n\t";
957 dumpNodeFromState(Ctx, State, OS);
958 OS << '\n';
959 }
960 }
961
962 private:
963 const MatchASTVisitor &MV;
964 };
965
966 private:
967 struct ASTNodeNotSpelledInSourceScope {
ASTNodeNotSpelledInSourceScopeclang::ast_matchers::internal::__anon17c865b50111::MatchASTVisitor::ASTNodeNotSpelledInSourceScope968 ASTNodeNotSpelledInSourceScope(MatchASTVisitor *V, bool B)
969 : MV(V), MB(V->TraversingASTNodeNotSpelledInSource) {
970 V->TraversingASTNodeNotSpelledInSource = B;
971 }
~ASTNodeNotSpelledInSourceScopeclang::ast_matchers::internal::__anon17c865b50111::MatchASTVisitor::ASTNodeNotSpelledInSourceScope972 ~ASTNodeNotSpelledInSourceScope() {
973 MV->TraversingASTNodeNotSpelledInSource = MB;
974 }
975
976 private:
977 MatchASTVisitor *MV;
978 bool MB;
979 };
980
981 struct ASTNodeNotAsIsSourceScope {
ASTNodeNotAsIsSourceScopeclang::ast_matchers::internal::__anon17c865b50111::MatchASTVisitor::ASTNodeNotAsIsSourceScope982 ASTNodeNotAsIsSourceScope(MatchASTVisitor *V, bool B)
983 : MV(V), MB(V->TraversingASTNodeNotAsIs) {
984 V->TraversingASTNodeNotAsIs = B;
985 }
~ASTNodeNotAsIsSourceScopeclang::ast_matchers::internal::__anon17c865b50111::MatchASTVisitor::ASTNodeNotAsIsSourceScope986 ~ASTNodeNotAsIsSourceScope() { MV->TraversingASTNodeNotAsIs = MB; }
987
988 private:
989 MatchASTVisitor *MV;
990 bool MB;
991 };
992
993 class TimeBucketRegion {
994 public:
995 TimeBucketRegion() = default;
~TimeBucketRegion()996 ~TimeBucketRegion() { setBucket(nullptr); }
997
998 /// Start timing for \p NewBucket.
999 ///
1000 /// If there was a bucket already set, it will finish the timing for that
1001 /// other bucket.
1002 /// \p NewBucket will be timed until the next call to \c setBucket() or
1003 /// until the \c TimeBucketRegion is destroyed.
1004 /// If \p NewBucket is the same as the currently timed bucket, this call
1005 /// does nothing.
setBucket(llvm::TimeRecord * NewBucket)1006 void setBucket(llvm::TimeRecord *NewBucket) {
1007 if (Bucket != NewBucket) {
1008 auto Now = llvm::TimeRecord::getCurrentTime(true);
1009 if (Bucket)
1010 *Bucket += Now;
1011 if (NewBucket)
1012 *NewBucket -= Now;
1013 Bucket = NewBucket;
1014 }
1015 }
1016
1017 private:
1018 llvm::TimeRecord *Bucket = nullptr;
1019 };
1020
1021 /// Runs all the \p Matchers on \p Node.
1022 ///
1023 /// Used by \c matchDispatch() below.
1024 template <typename T, typename MC>
matchWithoutFilter(const T & Node,const MC & Matchers)1025 void matchWithoutFilter(const T &Node, const MC &Matchers) {
1026 const bool EnableCheckProfiling = Options.CheckProfiling.has_value();
1027 TimeBucketRegion Timer;
1028 for (const auto &MP : Matchers) {
1029 if (EnableCheckProfiling)
1030 Timer.setBucket(&TimeByBucket[MP.second->getID()]);
1031 BoundNodesTreeBuilder Builder;
1032 CurMatchRAII RAII(*this, MP.second, Node);
1033 if (MP.first.matches(Node, this, &Builder)) {
1034 MatchVisitor Visitor(*this, ActiveASTContext, MP.second);
1035 Builder.visitMatches(&Visitor);
1036 }
1037 }
1038 }
1039
matchWithFilter(const DynTypedNode & DynNode)1040 void matchWithFilter(const DynTypedNode &DynNode) {
1041 auto Kind = DynNode.getNodeKind();
1042 auto it = MatcherFiltersMap.find(Kind);
1043 const auto &Filter =
1044 it != MatcherFiltersMap.end() ? it->second : getFilterForKind(Kind);
1045
1046 if (Filter.empty())
1047 return;
1048
1049 const bool EnableCheckProfiling = Options.CheckProfiling.has_value();
1050 TimeBucketRegion Timer;
1051 auto &Matchers = this->Matchers->DeclOrStmt;
1052 for (unsigned short I : Filter) {
1053 auto &MP = Matchers[I];
1054 if (EnableCheckProfiling)
1055 Timer.setBucket(&TimeByBucket[MP.second->getID()]);
1056 BoundNodesTreeBuilder Builder;
1057
1058 {
1059 TraversalKindScope RAII(getASTContext(), MP.first.getTraversalKind());
1060 if (getASTContext().getParentMapContext().traverseIgnored(DynNode) !=
1061 DynNode)
1062 continue;
1063 }
1064
1065 CurMatchRAII RAII(*this, MP.second, DynNode);
1066 if (MP.first.matches(DynNode, this, &Builder)) {
1067 MatchVisitor Visitor(*this, ActiveASTContext, MP.second);
1068 Builder.visitMatches(&Visitor);
1069 }
1070 }
1071 }
1072
getFilterForKind(ASTNodeKind Kind)1073 const std::vector<unsigned short> &getFilterForKind(ASTNodeKind Kind) {
1074 auto &Filter = MatcherFiltersMap[Kind];
1075 auto &Matchers = this->Matchers->DeclOrStmt;
1076 assert((Matchers.size() < USHRT_MAX) && "Too many matchers.");
1077 for (unsigned I = 0, E = Matchers.size(); I != E; ++I) {
1078 if (Matchers[I].first.canMatchNodesOfKind(Kind)) {
1079 Filter.push_back(I);
1080 }
1081 }
1082 return Filter;
1083 }
1084
1085 /// @{
1086 /// Overloads to pair the different node types to their matchers.
matchDispatch(const Decl * Node)1087 void matchDispatch(const Decl *Node) {
1088 return matchWithFilter(DynTypedNode::create(*Node));
1089 }
matchDispatch(const Stmt * Node)1090 void matchDispatch(const Stmt *Node) {
1091 return matchWithFilter(DynTypedNode::create(*Node));
1092 }
1093
matchDispatch(const Type * Node)1094 void matchDispatch(const Type *Node) {
1095 matchWithoutFilter(QualType(Node, 0), Matchers->Type);
1096 }
matchDispatch(const TypeLoc * Node)1097 void matchDispatch(const TypeLoc *Node) {
1098 matchWithoutFilter(*Node, Matchers->TypeLoc);
1099 }
matchDispatch(const QualType * Node)1100 void matchDispatch(const QualType *Node) {
1101 matchWithoutFilter(*Node, Matchers->Type);
1102 }
matchDispatch(const NestedNameSpecifier * Node)1103 void matchDispatch(const NestedNameSpecifier *Node) {
1104 matchWithoutFilter(*Node, Matchers->NestedNameSpecifier);
1105 }
matchDispatch(const NestedNameSpecifierLoc * Node)1106 void matchDispatch(const NestedNameSpecifierLoc *Node) {
1107 matchWithoutFilter(*Node, Matchers->NestedNameSpecifierLoc);
1108 }
matchDispatch(const CXXCtorInitializer * Node)1109 void matchDispatch(const CXXCtorInitializer *Node) {
1110 matchWithoutFilter(*Node, Matchers->CtorInit);
1111 }
matchDispatch(const TemplateArgumentLoc * Node)1112 void matchDispatch(const TemplateArgumentLoc *Node) {
1113 matchWithoutFilter(*Node, Matchers->TemplateArgumentLoc);
1114 }
matchDispatch(const Attr * Node)1115 void matchDispatch(const Attr *Node) {
1116 matchWithoutFilter(*Node, Matchers->Attr);
1117 }
matchDispatch(const void *)1118 void matchDispatch(const void *) { /* Do nothing. */ }
1119 /// @}
1120
1121 // Returns whether a direct parent of \p Node matches \p Matcher.
1122 // Unlike matchesAnyAncestorOf there's no memoization: it doesn't save much.
matchesParentOf(const DynTypedNode & Node,const DynTypedMatcher & Matcher,BoundNodesTreeBuilder * Builder)1123 bool matchesParentOf(const DynTypedNode &Node, const DynTypedMatcher &Matcher,
1124 BoundNodesTreeBuilder *Builder) {
1125 for (const auto &Parent : ActiveASTContext->getParents(Node)) {
1126 BoundNodesTreeBuilder BuilderCopy = *Builder;
1127 if (Matcher.matches(Parent, this, &BuilderCopy)) {
1128 *Builder = std::move(BuilderCopy);
1129 return true;
1130 }
1131 }
1132 return false;
1133 }
1134
1135 // Returns whether an ancestor of \p Node matches \p Matcher.
1136 //
1137 // The order of matching (which can lead to different nodes being bound in
1138 // case there are multiple matches) is breadth first search.
1139 //
1140 // To allow memoization in the very common case of having deeply nested
1141 // expressions inside a template function, we first walk up the AST, memoizing
1142 // the result of the match along the way, as long as there is only a single
1143 // parent.
1144 //
1145 // Once there are multiple parents, the breadth first search order does not
1146 // allow simple memoization on the ancestors. Thus, we only memoize as long
1147 // as there is a single parent.
1148 //
1149 // We avoid a recursive implementation to prevent excessive stack use on
1150 // very deep ASTs (similarly to RecursiveASTVisitor's data recursion).
matchesAnyAncestorOf(DynTypedNode Node,ASTContext & Ctx,const DynTypedMatcher & Matcher,BoundNodesTreeBuilder * Builder)1151 bool matchesAnyAncestorOf(DynTypedNode Node, ASTContext &Ctx,
1152 const DynTypedMatcher &Matcher,
1153 BoundNodesTreeBuilder *Builder) {
1154
1155 // Memoization keys that can be updated with the result.
1156 // These are the memoizable nodes in the chain of unique parents, which
1157 // terminates when a node has multiple parents, or matches, or is the root.
1158 std::vector<MatchKey> Keys;
1159 // When returning, update the memoization cache.
1160 auto Finish = [&](bool Matched) {
1161 for (const auto &Key : Keys) {
1162 MemoizedMatchResult &CachedResult = ResultCache[Key];
1163 CachedResult.ResultOfMatch = Matched;
1164 CachedResult.Nodes = *Builder;
1165 }
1166 return Matched;
1167 };
1168
1169 // Loop while there's a single parent and we want to attempt memoization.
1170 DynTypedNodeList Parents{ArrayRef<DynTypedNode>()}; // after loop: size != 1
1171 for (;;) {
1172 // A cache key only makes sense if memoization is possible.
1173 if (Builder->isComparable()) {
1174 Keys.emplace_back();
1175 Keys.back().MatcherID = Matcher.getID();
1176 Keys.back().Node = Node;
1177 Keys.back().BoundNodes = *Builder;
1178 Keys.back().Traversal = Ctx.getParentMapContext().getTraversalKind();
1179 Keys.back().Type = MatchType::Ancestors;
1180
1181 // Check the cache.
1182 MemoizationMap::iterator I = ResultCache.find(Keys.back());
1183 if (I != ResultCache.end()) {
1184 Keys.pop_back(); // Don't populate the cache for the matching node!
1185 *Builder = I->second.Nodes;
1186 return Finish(I->second.ResultOfMatch);
1187 }
1188 }
1189
1190 Parents = ActiveASTContext->getParents(Node);
1191 // Either no parents or multiple parents: leave chain+memoize mode and
1192 // enter bfs+forgetful mode.
1193 if (Parents.size() != 1)
1194 break;
1195
1196 // Check the next parent.
1197 Node = *Parents.begin();
1198 BoundNodesTreeBuilder BuilderCopy = *Builder;
1199 if (Matcher.matches(Node, this, &BuilderCopy)) {
1200 *Builder = std::move(BuilderCopy);
1201 return Finish(true);
1202 }
1203 }
1204 // We reached the end of the chain.
1205
1206 if (Parents.empty()) {
1207 // Nodes may have no parents if:
1208 // a) the node is the TranslationUnitDecl
1209 // b) we have a limited traversal scope that excludes the parent edges
1210 // c) there is a bug in the AST, and the node is not reachable
1211 // Usually the traversal scope is the whole AST, which precludes b.
1212 // Bugs are common enough that it's worthwhile asserting when we can.
1213 #ifndef NDEBUG
1214 if (!Node.get<TranslationUnitDecl>() &&
1215 /* Traversal scope is full AST if any of the bounds are the TU */
1216 llvm::any_of(ActiveASTContext->getTraversalScope(), [](Decl *D) {
1217 return D->getKind() == Decl::TranslationUnit;
1218 })) {
1219 llvm::errs() << "Tried to match orphan node:\n";
1220 Node.dump(llvm::errs(), *ActiveASTContext);
1221 llvm_unreachable("Parent map should be complete!");
1222 }
1223 #endif
1224 } else {
1225 assert(Parents.size() > 1);
1226 // BFS starting from the parents not yet considered.
1227 // Memoization of newly visited nodes is not possible (but we still update
1228 // results for the elements in the chain we found above).
1229 std::deque<DynTypedNode> Queue(Parents.begin(), Parents.end());
1230 llvm::DenseSet<const void *> Visited;
1231 while (!Queue.empty()) {
1232 BoundNodesTreeBuilder BuilderCopy = *Builder;
1233 if (Matcher.matches(Queue.front(), this, &BuilderCopy)) {
1234 *Builder = std::move(BuilderCopy);
1235 return Finish(true);
1236 }
1237 for (const auto &Parent : ActiveASTContext->getParents(Queue.front())) {
1238 // Make sure we do not visit the same node twice.
1239 // Otherwise, we'll visit the common ancestors as often as there
1240 // are splits on the way down.
1241 if (Visited.insert(Parent.getMemoizationData()).second)
1242 Queue.push_back(Parent);
1243 }
1244 Queue.pop_front();
1245 }
1246 }
1247 return Finish(false);
1248 }
1249
1250 // Implements a BoundNodesTree::Visitor that calls a MatchCallback with
1251 // the aggregated bound nodes for each match.
1252 class MatchVisitor : public BoundNodesTreeBuilder::Visitor {
1253 struct CurBoundScope {
CurBoundScopeclang::ast_matchers::internal::__anon17c865b50111::MatchASTVisitor::MatchVisitor::CurBoundScope1254 CurBoundScope(MatchASTVisitor::CurMatchData &State, const BoundNodes &BN)
1255 : State(State) {
1256 State.SetBoundNodes(BN);
1257 }
1258
~CurBoundScopeclang::ast_matchers::internal::__anon17c865b50111::MatchASTVisitor::MatchVisitor::CurBoundScope1259 ~CurBoundScope() { State.clearBoundNodes(); }
1260
1261 private:
1262 MatchASTVisitor::CurMatchData &State;
1263 };
1264
1265 public:
MatchVisitor(MatchASTVisitor & MV,ASTContext * Context,MatchFinder::MatchCallback * Callback)1266 MatchVisitor(MatchASTVisitor &MV, ASTContext *Context,
1267 MatchFinder::MatchCallback *Callback)
1268 : State(MV.CurMatchState), Context(Context), Callback(Callback) {}
1269
visitMatch(const BoundNodes & BoundNodesView)1270 void visitMatch(const BoundNodes& BoundNodesView) override {
1271 TraversalKindScope RAII(*Context, Callback->getCheckTraversalKind());
1272 CurBoundScope RAII2(State, BoundNodesView);
1273 Callback->run(MatchFinder::MatchResult(BoundNodesView, Context));
1274 }
1275
1276 private:
1277 MatchASTVisitor::CurMatchData &State;
1278 ASTContext* Context;
1279 MatchFinder::MatchCallback* Callback;
1280 };
1281
1282 // Returns true if 'TypeNode' has an alias that matches the given matcher.
typeHasMatchingAlias(const Type * TypeNode,const Matcher<NamedDecl> & Matcher,BoundNodesTreeBuilder * Builder)1283 bool typeHasMatchingAlias(const Type *TypeNode,
1284 const Matcher<NamedDecl> &Matcher,
1285 BoundNodesTreeBuilder *Builder) {
1286 const Type *const CanonicalType =
1287 ActiveASTContext->getCanonicalType(TypeNode);
1288 auto Aliases = TypeAliases.find(CanonicalType);
1289 if (Aliases == TypeAliases.end())
1290 return false;
1291
1292 if (const auto *ElaboratedTypeNode =
1293 llvm::dyn_cast<ElaboratedType>(TypeNode)) {
1294 if (ElaboratedTypeNode->isSugared() && Aliases->second.size() > 1) {
1295 const auto &DesugaredTypeName =
1296 ElaboratedTypeNode->desugar().getAsString();
1297
1298 for (const TypedefNameDecl *Alias : Aliases->second) {
1299 if (Alias->getName() != DesugaredTypeName) {
1300 continue;
1301 }
1302
1303 BoundNodesTreeBuilder Result(*Builder);
1304 if (Matcher.matches(*Alias, this, &Result)) {
1305 *Builder = std::move(Result);
1306 return true;
1307 }
1308 }
1309 }
1310 }
1311
1312 for (const TypedefNameDecl *Alias : Aliases->second) {
1313 BoundNodesTreeBuilder Result(*Builder);
1314 if (Matcher.matches(*Alias, this, &Result)) {
1315 *Builder = std::move(Result);
1316 return true;
1317 }
1318 }
1319 return false;
1320 }
1321
1322 bool
objcClassHasMatchingCompatibilityAlias(const ObjCInterfaceDecl * InterfaceDecl,const Matcher<NamedDecl> & Matcher,BoundNodesTreeBuilder * Builder)1323 objcClassHasMatchingCompatibilityAlias(const ObjCInterfaceDecl *InterfaceDecl,
1324 const Matcher<NamedDecl> &Matcher,
1325 BoundNodesTreeBuilder *Builder) {
1326 auto Aliases = CompatibleAliases.find(InterfaceDecl);
1327 if (Aliases == CompatibleAliases.end())
1328 return false;
1329 for (const ObjCCompatibleAliasDecl *Alias : Aliases->second) {
1330 BoundNodesTreeBuilder Result(*Builder);
1331 if (Matcher.matches(*Alias, this, &Result)) {
1332 *Builder = std::move(Result);
1333 return true;
1334 }
1335 }
1336 return false;
1337 }
1338
1339 /// Bucket to record map.
1340 ///
1341 /// Used to get the appropriate bucket for each matcher.
1342 llvm::StringMap<llvm::TimeRecord> TimeByBucket;
1343
1344 const MatchFinder::MatchersByType *Matchers;
1345
1346 /// Filtered list of matcher indices for each matcher kind.
1347 ///
1348 /// \c Decl and \c Stmt toplevel matchers usually apply to a specific node
1349 /// kind (and derived kinds) so it is a waste to try every matcher on every
1350 /// node.
1351 /// We precalculate a list of matchers that pass the toplevel restrict check.
1352 llvm::DenseMap<ASTNodeKind, std::vector<unsigned short>> MatcherFiltersMap;
1353
1354 const MatchFinder::MatchFinderOptions &Options;
1355 ASTContext *ActiveASTContext;
1356
1357 // Maps a canonical type to its TypedefDecls.
1358 llvm::DenseMap<const Type*, std::set<const TypedefNameDecl*> > TypeAliases;
1359
1360 // Maps an Objective-C interface to its ObjCCompatibleAliasDecls.
1361 llvm::DenseMap<const ObjCInterfaceDecl *,
1362 llvm::SmallPtrSet<const ObjCCompatibleAliasDecl *, 2>>
1363 CompatibleAliases;
1364
1365 // Maps (matcher, node) -> the match result for memoization.
1366 typedef std::map<MatchKey, MemoizedMatchResult> MemoizationMap;
1367 MemoizationMap ResultCache;
1368 };
1369
1370 static CXXRecordDecl *
getAsCXXRecordDeclOrPrimaryTemplate(const Type * TypeNode)1371 getAsCXXRecordDeclOrPrimaryTemplate(const Type *TypeNode) {
1372 if (auto *RD = TypeNode->getAsCXXRecordDecl())
1373 return RD;
1374
1375 // Find the innermost TemplateSpecializationType that isn't an alias template.
1376 auto *TemplateType = TypeNode->getAs<TemplateSpecializationType>();
1377 while (TemplateType && TemplateType->isTypeAlias())
1378 TemplateType =
1379 TemplateType->getAliasedType()->getAs<TemplateSpecializationType>();
1380
1381 // If this is the name of a (dependent) template specialization, use the
1382 // definition of the template, even though it might be specialized later.
1383 if (TemplateType)
1384 if (auto *ClassTemplate = dyn_cast_or_null<ClassTemplateDecl>(
1385 TemplateType->getTemplateName().getAsTemplateDecl()))
1386 return ClassTemplate->getTemplatedDecl();
1387
1388 return nullptr;
1389 }
1390
1391 // Returns true if the given C++ class is directly or indirectly derived
1392 // from a base type with the given name. A class is not considered to be
1393 // derived from itself.
classIsDerivedFrom(const CXXRecordDecl * Declaration,const Matcher<NamedDecl> & Base,BoundNodesTreeBuilder * Builder,bool Directly)1394 bool MatchASTVisitor::classIsDerivedFrom(const CXXRecordDecl *Declaration,
1395 const Matcher<NamedDecl> &Base,
1396 BoundNodesTreeBuilder *Builder,
1397 bool Directly) {
1398 llvm::SmallPtrSet<const CXXRecordDecl *, 8> Visited;
1399 return classIsDerivedFromImpl(Declaration, Base, Builder, Directly, Visited);
1400 }
1401
classIsDerivedFromImpl(const CXXRecordDecl * Declaration,const Matcher<NamedDecl> & Base,BoundNodesTreeBuilder * Builder,bool Directly,llvm::SmallPtrSetImpl<const CXXRecordDecl * > & Visited)1402 bool MatchASTVisitor::classIsDerivedFromImpl(
1403 const CXXRecordDecl *Declaration, const Matcher<NamedDecl> &Base,
1404 BoundNodesTreeBuilder *Builder, bool Directly,
1405 llvm::SmallPtrSetImpl<const CXXRecordDecl *> &Visited) {
1406 if (!Declaration->hasDefinition())
1407 return false;
1408 if (!Visited.insert(Declaration).second)
1409 return false;
1410 for (const auto &It : Declaration->bases()) {
1411 const Type *TypeNode = It.getType().getTypePtr();
1412
1413 if (typeHasMatchingAlias(TypeNode, Base, Builder))
1414 return true;
1415
1416 // FIXME: Going to the primary template here isn't really correct, but
1417 // unfortunately we accept a Decl matcher for the base class not a Type
1418 // matcher, so it's the best thing we can do with our current interface.
1419 CXXRecordDecl *ClassDecl = getAsCXXRecordDeclOrPrimaryTemplate(TypeNode);
1420 if (!ClassDecl)
1421 continue;
1422 if (ClassDecl == Declaration) {
1423 // This can happen for recursive template definitions.
1424 continue;
1425 }
1426 BoundNodesTreeBuilder Result(*Builder);
1427 if (Base.matches(*ClassDecl, this, &Result)) {
1428 *Builder = std::move(Result);
1429 return true;
1430 }
1431 if (!Directly &&
1432 classIsDerivedFromImpl(ClassDecl, Base, Builder, Directly, Visited))
1433 return true;
1434 }
1435 return false;
1436 }
1437
1438 // Returns true if the given Objective-C class is directly or indirectly
1439 // derived from a matching base class. A class is not considered to be derived
1440 // from itself.
objcClassIsDerivedFrom(const ObjCInterfaceDecl * Declaration,const Matcher<NamedDecl> & Base,BoundNodesTreeBuilder * Builder,bool Directly)1441 bool MatchASTVisitor::objcClassIsDerivedFrom(
1442 const ObjCInterfaceDecl *Declaration, const Matcher<NamedDecl> &Base,
1443 BoundNodesTreeBuilder *Builder, bool Directly) {
1444 // Check if any of the superclasses of the class match.
1445 for (const ObjCInterfaceDecl *ClassDecl = Declaration->getSuperClass();
1446 ClassDecl != nullptr; ClassDecl = ClassDecl->getSuperClass()) {
1447 // Check if there are any matching compatibility aliases.
1448 if (objcClassHasMatchingCompatibilityAlias(ClassDecl, Base, Builder))
1449 return true;
1450
1451 // Check if there are any matching type aliases.
1452 const Type *TypeNode = ClassDecl->getTypeForDecl();
1453 if (typeHasMatchingAlias(TypeNode, Base, Builder))
1454 return true;
1455
1456 if (Base.matches(*ClassDecl, this, Builder))
1457 return true;
1458
1459 // Not `return false` as a temporary workaround for PR43879.
1460 if (Directly)
1461 break;
1462 }
1463
1464 return false;
1465 }
1466
TraverseDecl(Decl * DeclNode)1467 bool MatchASTVisitor::TraverseDecl(Decl *DeclNode) {
1468 if (!DeclNode) {
1469 return true;
1470 }
1471
1472 bool ScopedTraversal =
1473 TraversingASTNodeNotSpelledInSource || DeclNode->isImplicit();
1474 bool ScopedChildren = TraversingASTChildrenNotSpelledInSource;
1475
1476 if (const auto *CTSD = dyn_cast<ClassTemplateSpecializationDecl>(DeclNode)) {
1477 auto SK = CTSD->getSpecializationKind();
1478 if (SK == TSK_ExplicitInstantiationDeclaration ||
1479 SK == TSK_ExplicitInstantiationDefinition)
1480 ScopedChildren = true;
1481 } else if (const auto *FD = dyn_cast<FunctionDecl>(DeclNode)) {
1482 if (FD->isDefaulted())
1483 ScopedChildren = true;
1484 if (FD->isTemplateInstantiation())
1485 ScopedTraversal = true;
1486 } else if (isa<BindingDecl>(DeclNode)) {
1487 ScopedChildren = true;
1488 }
1489
1490 ASTNodeNotSpelledInSourceScope RAII1(this, ScopedTraversal);
1491 ASTChildrenNotSpelledInSourceScope RAII2(this, ScopedChildren);
1492
1493 match(*DeclNode);
1494 return RecursiveASTVisitor<MatchASTVisitor>::TraverseDecl(DeclNode);
1495 }
1496
TraverseStmt(Stmt * StmtNode,DataRecursionQueue * Queue)1497 bool MatchASTVisitor::TraverseStmt(Stmt *StmtNode, DataRecursionQueue *Queue) {
1498 if (!StmtNode) {
1499 return true;
1500 }
1501 bool ScopedTraversal = TraversingASTNodeNotSpelledInSource ||
1502 TraversingASTChildrenNotSpelledInSource;
1503
1504 ASTNodeNotSpelledInSourceScope RAII(this, ScopedTraversal);
1505 match(*StmtNode);
1506 return RecursiveASTVisitor<MatchASTVisitor>::TraverseStmt(StmtNode, Queue);
1507 }
1508
TraverseType(QualType TypeNode)1509 bool MatchASTVisitor::TraverseType(QualType TypeNode) {
1510 match(TypeNode);
1511 return RecursiveASTVisitor<MatchASTVisitor>::TraverseType(TypeNode);
1512 }
1513
TraverseTypeLoc(TypeLoc TypeLocNode)1514 bool MatchASTVisitor::TraverseTypeLoc(TypeLoc TypeLocNode) {
1515 // The RecursiveASTVisitor only visits types if they're not within TypeLocs.
1516 // We still want to find those types via matchers, so we match them here. Note
1517 // that the TypeLocs are structurally a shadow-hierarchy to the expressed
1518 // type, so we visit all involved parts of a compound type when matching on
1519 // each TypeLoc.
1520 match(TypeLocNode);
1521 match(TypeLocNode.getType());
1522 return RecursiveASTVisitor<MatchASTVisitor>::TraverseTypeLoc(TypeLocNode);
1523 }
1524
TraverseNestedNameSpecifier(NestedNameSpecifier * NNS)1525 bool MatchASTVisitor::TraverseNestedNameSpecifier(NestedNameSpecifier *NNS) {
1526 match(*NNS);
1527 return RecursiveASTVisitor<MatchASTVisitor>::TraverseNestedNameSpecifier(NNS);
1528 }
1529
TraverseNestedNameSpecifierLoc(NestedNameSpecifierLoc NNS)1530 bool MatchASTVisitor::TraverseNestedNameSpecifierLoc(
1531 NestedNameSpecifierLoc NNS) {
1532 if (!NNS)
1533 return true;
1534
1535 match(NNS);
1536
1537 // We only match the nested name specifier here (as opposed to traversing it)
1538 // because the traversal is already done in the parallel "Loc"-hierarchy.
1539 if (NNS.hasQualifier())
1540 match(*NNS.getNestedNameSpecifier());
1541 return
1542 RecursiveASTVisitor<MatchASTVisitor>::TraverseNestedNameSpecifierLoc(NNS);
1543 }
1544
TraverseConstructorInitializer(CXXCtorInitializer * CtorInit)1545 bool MatchASTVisitor::TraverseConstructorInitializer(
1546 CXXCtorInitializer *CtorInit) {
1547 if (!CtorInit)
1548 return true;
1549
1550 bool ScopedTraversal = TraversingASTNodeNotSpelledInSource ||
1551 TraversingASTChildrenNotSpelledInSource;
1552
1553 if (!CtorInit->isWritten())
1554 ScopedTraversal = true;
1555
1556 ASTNodeNotSpelledInSourceScope RAII1(this, ScopedTraversal);
1557
1558 match(*CtorInit);
1559
1560 return RecursiveASTVisitor<MatchASTVisitor>::TraverseConstructorInitializer(
1561 CtorInit);
1562 }
1563
TraverseTemplateArgumentLoc(TemplateArgumentLoc Loc)1564 bool MatchASTVisitor::TraverseTemplateArgumentLoc(TemplateArgumentLoc Loc) {
1565 match(Loc);
1566 return RecursiveASTVisitor<MatchASTVisitor>::TraverseTemplateArgumentLoc(Loc);
1567 }
1568
TraverseAttr(Attr * AttrNode)1569 bool MatchASTVisitor::TraverseAttr(Attr *AttrNode) {
1570 match(*AttrNode);
1571 return RecursiveASTVisitor<MatchASTVisitor>::TraverseAttr(AttrNode);
1572 }
1573
1574 class MatchASTConsumer : public ASTConsumer {
1575 public:
MatchASTConsumer(MatchFinder * Finder,MatchFinder::ParsingDoneTestCallback * ParsingDone)1576 MatchASTConsumer(MatchFinder *Finder,
1577 MatchFinder::ParsingDoneTestCallback *ParsingDone)
1578 : Finder(Finder), ParsingDone(ParsingDone) {}
1579
1580 private:
HandleTranslationUnit(ASTContext & Context)1581 void HandleTranslationUnit(ASTContext &Context) override {
1582 if (ParsingDone != nullptr) {
1583 ParsingDone->run();
1584 }
1585 Finder->matchAST(Context);
1586 }
1587
1588 MatchFinder *Finder;
1589 MatchFinder::ParsingDoneTestCallback *ParsingDone;
1590 };
1591
1592 } // end namespace
1593 } // end namespace internal
1594
MatchResult(const BoundNodes & Nodes,ASTContext * Context)1595 MatchFinder::MatchResult::MatchResult(const BoundNodes &Nodes,
1596 ASTContext *Context)
1597 : Nodes(Nodes), Context(Context),
1598 SourceManager(&Context->getSourceManager()) {}
1599
~MatchCallback()1600 MatchFinder::MatchCallback::~MatchCallback() {}
~ParsingDoneTestCallback()1601 MatchFinder::ParsingDoneTestCallback::~ParsingDoneTestCallback() {}
1602
MatchFinder(MatchFinderOptions Options)1603 MatchFinder::MatchFinder(MatchFinderOptions Options)
1604 : Options(std::move(Options)), ParsingDone(nullptr) {}
1605
~MatchFinder()1606 MatchFinder::~MatchFinder() {}
1607
addMatcher(const DeclarationMatcher & NodeMatch,MatchCallback * Action)1608 void MatchFinder::addMatcher(const DeclarationMatcher &NodeMatch,
1609 MatchCallback *Action) {
1610 std::optional<TraversalKind> TK;
1611 if (Action)
1612 TK = Action->getCheckTraversalKind();
1613 if (TK)
1614 Matchers.DeclOrStmt.emplace_back(traverse(*TK, NodeMatch), Action);
1615 else
1616 Matchers.DeclOrStmt.emplace_back(NodeMatch, Action);
1617 Matchers.AllCallbacks.insert(Action);
1618 }
1619
addMatcher(const TypeMatcher & NodeMatch,MatchCallback * Action)1620 void MatchFinder::addMatcher(const TypeMatcher &NodeMatch,
1621 MatchCallback *Action) {
1622 Matchers.Type.emplace_back(NodeMatch, Action);
1623 Matchers.AllCallbacks.insert(Action);
1624 }
1625
addMatcher(const StatementMatcher & NodeMatch,MatchCallback * Action)1626 void MatchFinder::addMatcher(const StatementMatcher &NodeMatch,
1627 MatchCallback *Action) {
1628 std::optional<TraversalKind> TK;
1629 if (Action)
1630 TK = Action->getCheckTraversalKind();
1631 if (TK)
1632 Matchers.DeclOrStmt.emplace_back(traverse(*TK, NodeMatch), Action);
1633 else
1634 Matchers.DeclOrStmt.emplace_back(NodeMatch, Action);
1635 Matchers.AllCallbacks.insert(Action);
1636 }
1637
addMatcher(const NestedNameSpecifierMatcher & NodeMatch,MatchCallback * Action)1638 void MatchFinder::addMatcher(const NestedNameSpecifierMatcher &NodeMatch,
1639 MatchCallback *Action) {
1640 Matchers.NestedNameSpecifier.emplace_back(NodeMatch, Action);
1641 Matchers.AllCallbacks.insert(Action);
1642 }
1643
addMatcher(const NestedNameSpecifierLocMatcher & NodeMatch,MatchCallback * Action)1644 void MatchFinder::addMatcher(const NestedNameSpecifierLocMatcher &NodeMatch,
1645 MatchCallback *Action) {
1646 Matchers.NestedNameSpecifierLoc.emplace_back(NodeMatch, Action);
1647 Matchers.AllCallbacks.insert(Action);
1648 }
1649
addMatcher(const TypeLocMatcher & NodeMatch,MatchCallback * Action)1650 void MatchFinder::addMatcher(const TypeLocMatcher &NodeMatch,
1651 MatchCallback *Action) {
1652 Matchers.TypeLoc.emplace_back(NodeMatch, Action);
1653 Matchers.AllCallbacks.insert(Action);
1654 }
1655
addMatcher(const CXXCtorInitializerMatcher & NodeMatch,MatchCallback * Action)1656 void MatchFinder::addMatcher(const CXXCtorInitializerMatcher &NodeMatch,
1657 MatchCallback *Action) {
1658 Matchers.CtorInit.emplace_back(NodeMatch, Action);
1659 Matchers.AllCallbacks.insert(Action);
1660 }
1661
addMatcher(const TemplateArgumentLocMatcher & NodeMatch,MatchCallback * Action)1662 void MatchFinder::addMatcher(const TemplateArgumentLocMatcher &NodeMatch,
1663 MatchCallback *Action) {
1664 Matchers.TemplateArgumentLoc.emplace_back(NodeMatch, Action);
1665 Matchers.AllCallbacks.insert(Action);
1666 }
1667
addMatcher(const AttrMatcher & AttrMatch,MatchCallback * Action)1668 void MatchFinder::addMatcher(const AttrMatcher &AttrMatch,
1669 MatchCallback *Action) {
1670 Matchers.Attr.emplace_back(AttrMatch, Action);
1671 Matchers.AllCallbacks.insert(Action);
1672 }
1673
addDynamicMatcher(const internal::DynTypedMatcher & NodeMatch,MatchCallback * Action)1674 bool MatchFinder::addDynamicMatcher(const internal::DynTypedMatcher &NodeMatch,
1675 MatchCallback *Action) {
1676 if (NodeMatch.canConvertTo<Decl>()) {
1677 addMatcher(NodeMatch.convertTo<Decl>(), Action);
1678 return true;
1679 } else if (NodeMatch.canConvertTo<QualType>()) {
1680 addMatcher(NodeMatch.convertTo<QualType>(), Action);
1681 return true;
1682 } else if (NodeMatch.canConvertTo<Stmt>()) {
1683 addMatcher(NodeMatch.convertTo<Stmt>(), Action);
1684 return true;
1685 } else if (NodeMatch.canConvertTo<NestedNameSpecifier>()) {
1686 addMatcher(NodeMatch.convertTo<NestedNameSpecifier>(), Action);
1687 return true;
1688 } else if (NodeMatch.canConvertTo<NestedNameSpecifierLoc>()) {
1689 addMatcher(NodeMatch.convertTo<NestedNameSpecifierLoc>(), Action);
1690 return true;
1691 } else if (NodeMatch.canConvertTo<TypeLoc>()) {
1692 addMatcher(NodeMatch.convertTo<TypeLoc>(), Action);
1693 return true;
1694 } else if (NodeMatch.canConvertTo<CXXCtorInitializer>()) {
1695 addMatcher(NodeMatch.convertTo<CXXCtorInitializer>(), Action);
1696 return true;
1697 } else if (NodeMatch.canConvertTo<TemplateArgumentLoc>()) {
1698 addMatcher(NodeMatch.convertTo<TemplateArgumentLoc>(), Action);
1699 return true;
1700 } else if (NodeMatch.canConvertTo<Attr>()) {
1701 addMatcher(NodeMatch.convertTo<Attr>(), Action);
1702 return true;
1703 }
1704 return false;
1705 }
1706
newASTConsumer()1707 std::unique_ptr<ASTConsumer> MatchFinder::newASTConsumer() {
1708 return std::make_unique<internal::MatchASTConsumer>(this, ParsingDone);
1709 }
1710
match(const clang::DynTypedNode & Node,ASTContext & Context)1711 void MatchFinder::match(const clang::DynTypedNode &Node, ASTContext &Context) {
1712 internal::MatchASTVisitor Visitor(&Matchers, Options);
1713 Visitor.set_active_ast_context(&Context);
1714 Visitor.match(Node);
1715 }
1716
matchAST(ASTContext & Context)1717 void MatchFinder::matchAST(ASTContext &Context) {
1718 internal::MatchASTVisitor Visitor(&Matchers, Options);
1719 internal::MatchASTVisitor::TraceReporter StackTrace(Visitor);
1720 Visitor.set_active_ast_context(&Context);
1721 Visitor.onStartOfTranslationUnit();
1722 Visitor.TraverseAST(Context);
1723 Visitor.onEndOfTranslationUnit();
1724 }
1725
registerTestCallbackAfterParsing(MatchFinder::ParsingDoneTestCallback * NewParsingDone)1726 void MatchFinder::registerTestCallbackAfterParsing(
1727 MatchFinder::ParsingDoneTestCallback *NewParsingDone) {
1728 ParsingDone = NewParsingDone;
1729 }
1730
getID() const1731 StringRef MatchFinder::MatchCallback::getID() const { return "<unknown>"; }
1732
1733 std::optional<TraversalKind>
getCheckTraversalKind() const1734 MatchFinder::MatchCallback::getCheckTraversalKind() const {
1735 return std::nullopt;
1736 }
1737
1738 } // end namespace ast_matchers
1739 } // end namespace clang
1740