clang  19.0.0git
ASTMatchersInternal.cpp
Go to the documentation of this file.
1 //===- ASTMatchersInternal.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 the base layer of the matcher framework.
10 //
11 //===----------------------------------------------------------------------===//
12 
14 #include "clang/AST/ASTContext.h"
16 #include "clang/AST/Decl.h"
17 #include "clang/AST/DeclTemplate.h"
21 #include "clang/Basic/LLVM.h"
22 #include "clang/Lex/Lexer.h"
23 #include "llvm/ADT/ArrayRef.h"
24 #include "llvm/ADT/IntrusiveRefCntPtr.h"
25 #include "llvm/ADT/SmallString.h"
26 #include "llvm/ADT/SmallVector.h"
27 #include "llvm/ADT/StringRef.h"
28 #include "llvm/Support/Casting.h"
29 #include "llvm/Support/ErrorHandling.h"
30 #include "llvm/Support/ManagedStatic.h"
31 #include "llvm/Support/Regex.h"
32 #include "llvm/Support/WithColor.h"
33 #include "llvm/Support/raw_ostream.h"
34 #include <algorithm>
35 #include <cassert>
36 #include <cstddef>
37 #include <optional>
38 #include <string>
39 #include <utility>
40 #include <vector>
41 
42 namespace clang {
43 namespace ast_matchers {
44 
45 AST_MATCHER_P(ObjCMessageExpr, hasAnySelectorMatcher, std::vector<std::string>,
46  Matches) {
47  return llvm::is_contained(Matches, Node.getSelector().getAsString());
48 }
49 
50 namespace internal {
51 
52 static bool notUnaryOperator(const DynTypedNode &DynNode,
53  ASTMatchFinder *Finder,
54  BoundNodesTreeBuilder *Builder,
55  ArrayRef<DynTypedMatcher> InnerMatchers);
56 
57 static bool allOfVariadicOperator(const DynTypedNode &DynNode,
58  ASTMatchFinder *Finder,
59  BoundNodesTreeBuilder *Builder,
60  ArrayRef<DynTypedMatcher> InnerMatchers);
61 
62 static bool eachOfVariadicOperator(const DynTypedNode &DynNode,
63  ASTMatchFinder *Finder,
64  BoundNodesTreeBuilder *Builder,
65  ArrayRef<DynTypedMatcher> InnerMatchers);
66 
67 static bool anyOfVariadicOperator(const DynTypedNode &DynNode,
68  ASTMatchFinder *Finder,
69  BoundNodesTreeBuilder *Builder,
70  ArrayRef<DynTypedMatcher> InnerMatchers);
71 
72 static bool optionallyVariadicOperator(const DynTypedNode &DynNode,
73  ASTMatchFinder *Finder,
74  BoundNodesTreeBuilder *Builder,
75  ArrayRef<DynTypedMatcher> InnerMatchers);
76 
78  const Matcher<CXXBaseSpecifier> &BaseSpecMatcher,
79  ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder) {
80  if (!Node.hasDefinition())
81  return false;
82 
83  CXXBasePaths Paths;
84  Paths.setOrigin(&Node);
85 
86  const auto basePredicate =
87  [Finder, Builder, &BaseSpecMatcher](const CXXBaseSpecifier *BaseSpec,
88  CXXBasePath &IgnoredParam) {
89  BoundNodesTreeBuilder Result(*Builder);
90  if (BaseSpecMatcher.matches(*BaseSpec, Finder, &Result)) {
91  *Builder = std::move(Result);
92  return true;
93  }
94  return false;
95  };
96 
97  return Node.lookupInBases(basePredicate, Paths,
98  /*LookupInDependent =*/true);
99 }
100 
101 void BoundNodesTreeBuilder::visitMatches(Visitor *ResultVisitor) {
102  if (Bindings.empty())
103  Bindings.push_back(BoundNodesMap());
104  for (BoundNodesMap &Binding : Bindings) {
105  ResultVisitor->visitMatch(BoundNodes(Binding));
106  }
107 }
108 
109 namespace {
110 
111 using VariadicOperatorFunction = bool (*)(
112  const DynTypedNode &DynNode, ASTMatchFinder *Finder,
113  BoundNodesTreeBuilder *Builder, ArrayRef<DynTypedMatcher> InnerMatchers);
114 
115 template <VariadicOperatorFunction Func>
116 class VariadicMatcher : public DynMatcherInterface {
117 public:
118  VariadicMatcher(std::vector<DynTypedMatcher> InnerMatchers)
119  : InnerMatchers(std::move(InnerMatchers)) {}
120 
121  bool dynMatches(const DynTypedNode &DynNode, ASTMatchFinder *Finder,
122  BoundNodesTreeBuilder *Builder) const override {
123  return Func(DynNode, Finder, Builder, InnerMatchers);
124  }
125 
126 private:
127  std::vector<DynTypedMatcher> InnerMatchers;
128 };
129 
130 class IdDynMatcher : public DynMatcherInterface {
131 public:
132  IdDynMatcher(StringRef ID,
133  IntrusiveRefCntPtr<DynMatcherInterface> InnerMatcher)
134  : ID(ID), InnerMatcher(std::move(InnerMatcher)) {}
135 
136  bool dynMatches(const DynTypedNode &DynNode, ASTMatchFinder *Finder,
137  BoundNodesTreeBuilder *Builder) const override {
138  bool Result = InnerMatcher->dynMatches(DynNode, Finder, Builder);
139  if (Result) Builder->setBinding(ID, DynNode);
140  return Result;
141  }
142 
143  std::optional<clang::TraversalKind> TraversalKind() const override {
144  return InnerMatcher->TraversalKind();
145  }
146 
147 private:
148  const std::string ID;
149  const IntrusiveRefCntPtr<DynMatcherInterface> InnerMatcher;
150 };
151 
152 /// A matcher that always returns true.
153 class TrueMatcherImpl : public DynMatcherInterface {
154 public:
155  TrueMatcherImpl() = default;
156 
157  bool dynMatches(const DynTypedNode &, ASTMatchFinder *,
158  BoundNodesTreeBuilder *) const override {
159  return true;
160  }
161 };
162 
163 /// A matcher that specifies a particular \c TraversalKind.
164 ///
165 /// The kind provided to the constructor overrides any kind that may be
166 /// specified by the `InnerMatcher`.
167 class DynTraversalMatcherImpl : public DynMatcherInterface {
168 public:
169  explicit DynTraversalMatcherImpl(
171  IntrusiveRefCntPtr<DynMatcherInterface> InnerMatcher)
172  : TK(TK), InnerMatcher(std::move(InnerMatcher)) {}
173 
174  bool dynMatches(const DynTypedNode &DynNode, ASTMatchFinder *Finder,
175  BoundNodesTreeBuilder *Builder) const override {
176  return this->InnerMatcher->dynMatches(DynNode, Finder, Builder);
177  }
178 
179  std::optional<clang::TraversalKind> TraversalKind() const override {
180  return TK;
181  }
182 
183 private:
185  IntrusiveRefCntPtr<DynMatcherInterface> InnerMatcher;
186 };
187 
188 } // namespace
189 
190 bool ASTMatchFinder::isTraversalIgnoringImplicitNodes() const {
191  return getASTContext().getParentMapContext().getTraversalKind() ==
193 }
194 
195 DynTypedMatcher
196 DynTypedMatcher::constructVariadic(DynTypedMatcher::VariadicOperator Op,
197  ASTNodeKind SupportedKind,
198  std::vector<DynTypedMatcher> InnerMatchers) {
199  assert(!InnerMatchers.empty() && "Array must not be empty.");
200  assert(llvm::all_of(InnerMatchers,
201  [SupportedKind](const DynTypedMatcher &M) {
202  return M.canConvertTo(SupportedKind);
203  }) &&
204  "InnerMatchers must be convertible to SupportedKind!");
205 
206  // We must relax the restrict kind here.
207  // The different operators might deal differently with a mismatch.
208  // Make it the same as SupportedKind, since that is the broadest type we are
209  // allowed to accept.
210  auto RestrictKind = SupportedKind;
211 
212  switch (Op) {
213  case VO_AllOf:
214  // In the case of allOf() we must pass all the checks, so making
215  // RestrictKind the most restrictive can save us time. This way we reject
216  // invalid types earlier and we can elide the kind checks inside the
217  // matcher.
218  for (auto &IM : InnerMatchers) {
219  RestrictKind =
220  ASTNodeKind::getMostDerivedType(RestrictKind, IM.RestrictKind);
221  }
222  return DynTypedMatcher(
223  SupportedKind, RestrictKind,
224  new VariadicMatcher<allOfVariadicOperator>(std::move(InnerMatchers)));
225 
226  case VO_AnyOf:
227  return DynTypedMatcher(
228  SupportedKind, RestrictKind,
229  new VariadicMatcher<anyOfVariadicOperator>(std::move(InnerMatchers)));
230 
231  case VO_EachOf:
232  return DynTypedMatcher(
233  SupportedKind, RestrictKind,
234  new VariadicMatcher<eachOfVariadicOperator>(std::move(InnerMatchers)));
235 
236  case VO_Optionally:
237  return DynTypedMatcher(SupportedKind, RestrictKind,
238  new VariadicMatcher<optionallyVariadicOperator>(
239  std::move(InnerMatchers)));
240 
241  case VO_UnaryNot:
242  // FIXME: Implement the Not operator to take a single matcher instead of a
243  // vector.
244  return DynTypedMatcher(
245  SupportedKind, RestrictKind,
246  new VariadicMatcher<notUnaryOperator>(std::move(InnerMatchers)));
247  }
248  llvm_unreachable("Invalid Op value.");
249 }
250 
251 DynTypedMatcher
252 DynTypedMatcher::constructRestrictedWrapper(const DynTypedMatcher &InnerMatcher,
253  ASTNodeKind RestrictKind) {
254  DynTypedMatcher Copy = InnerMatcher;
255  Copy.RestrictKind = RestrictKind;
256  return Copy;
257 }
258 
259 DynTypedMatcher DynTypedMatcher::withTraversalKind(TraversalKind TK) {
260  auto Copy = *this;
261  Copy.Implementation =
262  new DynTraversalMatcherImpl(TK, std::move(Copy.Implementation));
263  return Copy;
264 }
265 
266 DynTypedMatcher DynTypedMatcher::trueMatcher(ASTNodeKind NodeKind) {
267  // We only ever need one instance of TrueMatcherImpl, so we create a static
268  // instance and reuse it to reduce the overhead of the matcher and increase
269  // the chance of cache hits.
270  static const llvm::IntrusiveRefCntPtr<TrueMatcherImpl> Instance =
271  new TrueMatcherImpl();
272  return DynTypedMatcher(NodeKind, NodeKind, Instance);
273 }
274 
275 bool DynTypedMatcher::canMatchNodesOfKind(ASTNodeKind Kind) const {
276  return RestrictKind.isBaseOf(Kind);
277 }
278 
279 DynTypedMatcher DynTypedMatcher::dynCastTo(const ASTNodeKind Kind) const {
280  auto Copy = *this;
281  Copy.SupportedKind = Kind;
282  Copy.RestrictKind = ASTNodeKind::getMostDerivedType(Kind, RestrictKind);
283  return Copy;
284 }
285 
286 bool DynTypedMatcher::matches(const DynTypedNode &DynNode,
287  ASTMatchFinder *Finder,
288  BoundNodesTreeBuilder *Builder) const {
289  TraversalKindScope RAII(Finder->getASTContext(),
290  Implementation->TraversalKind());
291 
292  if (Finder->isTraversalIgnoringImplicitNodes() &&
293  Finder->IsMatchingInASTNodeNotSpelledInSource())
294  return false;
295 
296  if (!Finder->isTraversalIgnoringImplicitNodes() &&
297  Finder->IsMatchingInASTNodeNotAsIs())
298  return false;
299 
300  auto N =
301  Finder->getASTContext().getParentMapContext().traverseIgnored(DynNode);
302 
303  if (RestrictKind.isBaseOf(N.getNodeKind()) &&
304  Implementation->dynMatches(N, Finder, Builder)) {
305  return true;
306  }
307  // Delete all bindings when a matcher does not match.
308  // This prevents unexpected exposure of bound nodes in unmatches
309  // branches of the match tree.
310  Builder->removeBindings([](const BoundNodesMap &) { return true; });
311  return false;
312 }
313 
314 bool DynTypedMatcher::matchesNoKindCheck(const DynTypedNode &DynNode,
315  ASTMatchFinder *Finder,
316  BoundNodesTreeBuilder *Builder) const {
317  TraversalKindScope raii(Finder->getASTContext(),
318  Implementation->TraversalKind());
319 
320  if (Finder->isTraversalIgnoringImplicitNodes() &&
321  Finder->IsMatchingInASTNodeNotSpelledInSource())
322  return false;
323 
324  if (!Finder->isTraversalIgnoringImplicitNodes() &&
325  Finder->IsMatchingInASTNodeNotAsIs())
326  return false;
327 
328  auto N =
329  Finder->getASTContext().getParentMapContext().traverseIgnored(DynNode);
330 
331  assert(RestrictKind.isBaseOf(N.getNodeKind()));
332  if (Implementation->dynMatches(N, Finder, Builder)) {
333  return true;
334  }
335  // Delete all bindings when a matcher does not match.
336  // This prevents unexpected exposure of bound nodes in unmatches
337  // branches of the match tree.
338  Builder->removeBindings([](const BoundNodesMap &) { return true; });
339  return false;
340 }
341 
342 std::optional<DynTypedMatcher> DynTypedMatcher::tryBind(StringRef ID) const {
343  if (!AllowBind)
344  return std::nullopt;
345  auto Result = *this;
346  Result.Implementation =
347  new IdDynMatcher(ID, std::move(Result.Implementation));
348  return std::move(Result);
349 }
350 
351 bool DynTypedMatcher::canConvertTo(ASTNodeKind To) const {
352  const auto From = getSupportedKind();
353  auto QualKind = ASTNodeKind::getFromNodeKind<QualType>();
354  auto TypeKind = ASTNodeKind::getFromNodeKind<Type>();
355  /// Mimic the implicit conversions of Matcher<>.
356  /// - From Matcher<Type> to Matcher<QualType>
357  if (From.isSame(TypeKind) && To.isSame(QualKind)) return true;
358  /// - From Matcher<Base> to Matcher<Derived>
359  return From.isBaseOf(To);
360 }
361 
362 void BoundNodesTreeBuilder::addMatch(const BoundNodesTreeBuilder &Other) {
363  Bindings.append(Other.Bindings.begin(), Other.Bindings.end());
364 }
365 
366 static bool notUnaryOperator(const DynTypedNode &DynNode,
367  ASTMatchFinder *Finder,
368  BoundNodesTreeBuilder *Builder,
369  ArrayRef<DynTypedMatcher> InnerMatchers) {
370  if (InnerMatchers.size() != 1)
371  return false;
372 
373  // The 'unless' matcher will always discard the result:
374  // If the inner matcher doesn't match, unless returns true,
375  // but the inner matcher cannot have bound anything.
376  // If the inner matcher matches, the result is false, and
377  // any possible binding will be discarded.
378  // We still need to hand in all the bound nodes up to this
379  // point so the inner matcher can depend on bound nodes,
380  // and we need to actively discard the bound nodes, otherwise
381  // the inner matcher will reset the bound nodes if it doesn't
382  // match, but this would be inversed by 'unless'.
383  BoundNodesTreeBuilder Discard(*Builder);
384  return !InnerMatchers[0].matches(DynNode, Finder, &Discard);
385 }
386 
387 static bool allOfVariadicOperator(const DynTypedNode &DynNode,
388  ASTMatchFinder *Finder,
389  BoundNodesTreeBuilder *Builder,
390  ArrayRef<DynTypedMatcher> InnerMatchers) {
391  // allOf leads to one matcher for each alternative in the first
392  // matcher combined with each alternative in the second matcher.
393  // Thus, we can reuse the same Builder.
394  return llvm::all_of(InnerMatchers, [&](const DynTypedMatcher &InnerMatcher) {
395  return InnerMatcher.matchesNoKindCheck(DynNode, Finder, Builder);
396  });
397 }
398 
399 static bool eachOfVariadicOperator(const DynTypedNode &DynNode,
400  ASTMatchFinder *Finder,
401  BoundNodesTreeBuilder *Builder,
402  ArrayRef<DynTypedMatcher> InnerMatchers) {
403  BoundNodesTreeBuilder Result;
404  bool Matched = false;
405  for (const DynTypedMatcher &InnerMatcher : InnerMatchers) {
406  BoundNodesTreeBuilder BuilderInner(*Builder);
407  if (InnerMatcher.matches(DynNode, Finder, &BuilderInner)) {
408  Matched = true;
409  Result.addMatch(BuilderInner);
410  }
411  }
412  *Builder = std::move(Result);
413  return Matched;
414 }
415 
416 static bool anyOfVariadicOperator(const DynTypedNode &DynNode,
417  ASTMatchFinder *Finder,
418  BoundNodesTreeBuilder *Builder,
419  ArrayRef<DynTypedMatcher> InnerMatchers) {
420  for (const DynTypedMatcher &InnerMatcher : InnerMatchers) {
421  BoundNodesTreeBuilder Result = *Builder;
422  if (InnerMatcher.matches(DynNode, Finder, &Result)) {
423  *Builder = std::move(Result);
424  return true;
425  }
426  }
427  return false;
428 }
429 
430 static bool
431 optionallyVariadicOperator(const DynTypedNode &DynNode, ASTMatchFinder *Finder,
432  BoundNodesTreeBuilder *Builder,
433  ArrayRef<DynTypedMatcher> InnerMatchers) {
434  if (InnerMatchers.size() != 1)
435  return false;
436 
437  BoundNodesTreeBuilder Result(*Builder);
438  if (InnerMatchers[0].matches(DynNode, Finder, &Result))
439  *Builder = std::move(Result);
440  return true;
441 }
442 
443 inline static
444 std::vector<std::string> vectorFromRefs(ArrayRef<const StringRef *> NameRefs) {
445  std::vector<std::string> Names;
446  Names.reserve(NameRefs.size());
447  for (auto *Name : NameRefs)
448  Names.emplace_back(*Name);
449  return Names;
450 }
451 
452 Matcher<NamedDecl> hasAnyNameFunc(ArrayRef<const StringRef *> NameRefs) {
453  return internal::Matcher<NamedDecl>(
454  new internal::HasNameMatcher(vectorFromRefs(NameRefs)));
455 }
456 
457 Matcher<ObjCMessageExpr> hasAnySelectorFunc(
458  ArrayRef<const StringRef *> NameRefs) {
459  return hasAnySelectorMatcher(vectorFromRefs(NameRefs));
460 }
461 
463  return HasOpNameMatcher(vectorFromRefs(NameRefs));
464 }
465 
466 HasOverloadOpNameMatcher
468  return HasOverloadOpNameMatcher(vectorFromRefs(NameRefs));
469 }
470 
471 HasNameMatcher::HasNameMatcher(std::vector<std::string> N)
472  : UseUnqualifiedMatch(
473  llvm::all_of(N, [](StringRef Name) { return !Name.contains("::"); })),
474  Names(std::move(N)) {
475 #ifndef NDEBUG
476  for (StringRef Name : Names)
477  assert(!Name.empty());
478 #endif
479 }
480 
481 static bool consumeNameSuffix(StringRef &FullName, StringRef Suffix) {
482  StringRef Name = FullName;
483  if (!Name.ends_with(Suffix))
484  return false;
485  Name = Name.drop_back(Suffix.size());
486  if (!Name.empty()) {
487  if (!Name.ends_with("::"))
488  return false;
489  Name = Name.drop_back(2);
490  }
491  FullName = Name;
492  return true;
493 }
494 
495 static StringRef getNodeName(const NamedDecl &Node,
496  llvm::SmallString<128> &Scratch) {
497  // Simple name.
498  if (Node.getIdentifier())
499  return Node.getName();
500 
501  if (Node.getDeclName()) {
502  // Name needs to be constructed.
503  Scratch.clear();
504  llvm::raw_svector_ostream OS(Scratch);
505  Node.printName(OS);
506  return OS.str();
507  }
508 
509  return "(anonymous)";
510 }
511 
512 static StringRef getNodeName(const RecordDecl &Node,
513  llvm::SmallString<128> &Scratch) {
514  if (Node.getIdentifier()) {
515  return Node.getName();
516  }
517  Scratch.clear();
518  return ("(anonymous " + Node.getKindName() + ")").toStringRef(Scratch);
519 }
520 
521 static StringRef getNodeName(const NamespaceDecl &Node,
522  llvm::SmallString<128> &Scratch) {
523  return Node.isAnonymousNamespace() ? "(anonymous namespace)" : Node.getName();
524 }
525 
526 namespace {
527 
528 class PatternSet {
529 public:
530  PatternSet(ArrayRef<std::string> Names) {
531  Patterns.reserve(Names.size());
532  for (StringRef Name : Names)
533  Patterns.push_back({Name, Name.starts_with("::")});
534  }
535 
536  /// Consumes the name suffix from each pattern in the set and removes the ones
537  /// that didn't match.
538  /// Return true if there are still any patterns left.
539  bool consumeNameSuffix(StringRef NodeName, bool CanSkip) {
540  for (size_t I = 0; I < Patterns.size();) {
542  NodeName) ||
543  CanSkip) {
544  ++I;
545  } else {
546  Patterns.erase(Patterns.begin() + I);
547  }
548  }
549  return !Patterns.empty();
550  }
551 
552  /// Check if any of the patterns are a match.
553  /// A match will be a pattern that was fully consumed, that also matches the
554  /// 'fully qualified' requirement.
555  bool foundMatch(bool AllowFullyQualified) const {
556  return llvm::any_of(Patterns, [&](const Pattern &Pattern) {
557  return Pattern.P.empty() &&
558  (AllowFullyQualified || !Pattern.IsFullyQualified);
559  });
560  }
561 
562 private:
563  struct Pattern {
564  StringRef P;
566  };
567 
569 };
570 
571 } // namespace
572 
573 bool HasNameMatcher::matchesNodeUnqualified(const NamedDecl &Node) const {
574  assert(UseUnqualifiedMatch);
575  llvm::SmallString<128> Scratch;
576  StringRef NodeName = getNodeName(Node, Scratch);
577  return llvm::any_of(Names, [&](StringRef Name) {
578  return consumeNameSuffix(Name, NodeName) && Name.empty();
579  });
580 }
581 
582 bool HasNameMatcher::matchesNodeFullFast(const NamedDecl &Node) const {
583  PatternSet Patterns(Names);
584  llvm::SmallString<128> Scratch;
585 
586  // This function is copied and adapted from NamedDecl::printQualifiedName()
587  // By matching each part individually we optimize in a couple of ways:
588  // - We can exit early on the first failure.
589  // - We can skip inline/anonymous namespaces without another pass.
590  // - We print one name at a time, reducing the chance of overflowing the
591  // inlined space of the SmallString.
592 
593  // First, match the name.
594  if (!Patterns.consumeNameSuffix(getNodeName(Node, Scratch),
595  /*CanSkip=*/false))
596  return false;
597 
598  // Try to match each declaration context.
599  // We are allowed to skip anonymous and inline namespaces if they don't match.
600  const DeclContext *Ctx = Node.getDeclContext();
601 
602  if (Ctx->isFunctionOrMethod())
603  return Patterns.foundMatch(/*AllowFullyQualified=*/false);
604 
605  for (; Ctx; Ctx = Ctx->getParent()) {
606  // Linkage Spec can just be ignored
607  // FIXME: Any other DeclContext kinds that can be safely disregarded
608  if (isa<LinkageSpecDecl>(Ctx))
609  continue;
610  if (!isa<NamedDecl>(Ctx))
611  break;
612  if (Patterns.foundMatch(/*AllowFullyQualified=*/false))
613  return true;
614 
615  if (const auto *ND = dyn_cast<NamespaceDecl>(Ctx)) {
616  // If it matches (or we can skip it), continue.
617  if (Patterns.consumeNameSuffix(getNodeName(*ND, Scratch),
618  /*CanSkip=*/ND->isAnonymousNamespace() ||
619  ND->isInline()))
620  continue;
621  return false;
622  }
623  if (const auto *RD = dyn_cast<RecordDecl>(Ctx)) {
624  if (!isa<ClassTemplateSpecializationDecl>(Ctx)) {
625  if (Patterns.consumeNameSuffix(getNodeName(*RD, Scratch),
626  /*CanSkip=*/false))
627  continue;
628 
629  return false;
630  }
631  }
632 
633  // We don't know how to deal with this DeclContext.
634  // Fallback to the slow version of the code.
635  return matchesNodeFullSlow(Node);
636  }
637 
638  return Patterns.foundMatch(/*AllowFullyQualified=*/true);
639 }
640 
641 bool HasNameMatcher::matchesNodeFullSlow(const NamedDecl &Node) const {
642  const bool SkipUnwrittenCases[] = {false, true};
643  for (bool SkipUnwritten : SkipUnwrittenCases) {
644  llvm::SmallString<128> NodeName = StringRef("::");
645  llvm::raw_svector_ostream OS(NodeName);
646 
647  PrintingPolicy Policy = Node.getASTContext().getPrintingPolicy();
648  Policy.SuppressUnwrittenScope = SkipUnwritten;
649  Policy.SuppressInlineNamespace = SkipUnwritten;
650  Node.printQualifiedName(OS, Policy);
651 
652  const StringRef FullName = OS.str();
653 
654  for (const StringRef Pattern : Names) {
655  if (Pattern.starts_with("::")) {
656  if (FullName == Pattern)
657  return true;
658  } else if (FullName.ends_with(Pattern) &&
659  FullName.drop_back(Pattern.size()).ends_with("::")) {
660  return true;
661  }
662  }
663  }
664 
665  return false;
666 }
667 
668 bool HasNameMatcher::matchesNode(const NamedDecl &Node) const {
669  assert(matchesNodeFullFast(Node) == matchesNodeFullSlow(Node));
670  if (UseUnqualifiedMatch) {
671  assert(matchesNodeUnqualified(Node) == matchesNodeFullFast(Node));
672  return matchesNodeUnqualified(Node);
673  }
674  return matchesNodeFullFast(Node);
675 }
676 
677 // Checks whether \p Loc points to a token with source text of \p TokenText.
678 static bool isTokenAtLoc(const SourceManager &SM, const LangOptions &LangOpts,
679  StringRef Text, SourceLocation Loc) {
680  llvm::SmallString<16> Buffer;
681  bool Invalid = false;
682  // Since `Loc` may point into an expansion buffer, which has no corresponding
683  // source, we need to look at the spelling location to read the actual source.
684  StringRef TokenText = Lexer::getSpelling(SM.getSpellingLoc(Loc), Buffer, SM,
685  LangOpts, &Invalid);
686  return !Invalid && Text == TokenText;
687 }
688 
689 std::optional<SourceLocation>
691  const ASTContext &Context) {
692  auto &SM = Context.getSourceManager();
693  const LangOptions &LangOpts = Context.getLangOpts();
694  while (Loc.isMacroID()) {
695  SrcMgr::ExpansionInfo Expansion =
696  SM.getSLocEntry(SM.getFileID(Loc)).getExpansion();
697  if (Expansion.isMacroArgExpansion())
698  // Check macro argument for an expansion of the given macro. For example,
699  // `F(G(3))`, where `MacroName` is `G`.
700  if (std::optional<SourceLocation> ArgLoc = getExpansionLocOfMacro(
701  MacroName, Expansion.getSpellingLoc(), Context))
702  return ArgLoc;
703  Loc = Expansion.getExpansionLocStart();
704  if (isTokenAtLoc(SM, LangOpts, MacroName, Loc))
705  return Loc;
706  }
707  return std::nullopt;
708 }
709 
710 std::shared_ptr<llvm::Regex> createAndVerifyRegex(StringRef Regex,
711  llvm::Regex::RegexFlags Flags,
712  StringRef MatcherID) {
713  assert(!Regex.empty() && "Empty regex string");
714  auto SharedRegex = std::make_shared<llvm::Regex>(Regex, Flags);
715  std::string Error;
716  if (!SharedRegex->isValid(Error)) {
717  llvm::WithColor::error()
718  << "building matcher '" << MatcherID << "': " << Error << "\n";
719  llvm::WithColor::note() << " input was '" << Regex << "'\n";
720  }
721  return SharedRegex;
722 }
723 } // end namespace internal
724 
725 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAutoreleasePoolStmt>
727 const internal::VariadicDynCastAllOfMatcher<Decl, TranslationUnitDecl>
729 const internal::VariadicDynCastAllOfMatcher<Decl, TypedefDecl> typedefDecl;
730 const internal::VariadicDynCastAllOfMatcher<Decl, TypedefNameDecl>
732 const internal::VariadicDynCastAllOfMatcher<Decl, TypeAliasDecl> typeAliasDecl;
733 const internal::VariadicDynCastAllOfMatcher<Decl, TypeAliasTemplateDecl>
735 const internal::VariadicAllOfMatcher<Decl> decl;
736 const internal::VariadicDynCastAllOfMatcher<Decl, DecompositionDecl> decompositionDecl;
737 const internal::VariadicDynCastAllOfMatcher<Decl, BindingDecl> bindingDecl;
738 const internal::VariadicDynCastAllOfMatcher<Decl, LinkageSpecDecl>
740 const internal::VariadicDynCastAllOfMatcher<Decl, NamedDecl> namedDecl;
741 const internal::VariadicDynCastAllOfMatcher<Decl, LabelDecl> labelDecl;
742 const internal::VariadicDynCastAllOfMatcher<Decl, NamespaceDecl> namespaceDecl;
743 const internal::VariadicDynCastAllOfMatcher<Decl, NamespaceAliasDecl>
745 const internal::VariadicDynCastAllOfMatcher<Decl, RecordDecl> recordDecl;
746 const internal::VariadicDynCastAllOfMatcher<Decl, CXXRecordDecl> cxxRecordDecl;
747 const internal::VariadicDynCastAllOfMatcher<Decl, ClassTemplateDecl>
749 const internal::VariadicDynCastAllOfMatcher<Decl,
752 const internal::VariadicDynCastAllOfMatcher<
755 const internal::VariadicDynCastAllOfMatcher<Decl, DeclaratorDecl>
757 const internal::VariadicDynCastAllOfMatcher<Decl, ParmVarDecl> parmVarDecl;
758 const internal::VariadicDynCastAllOfMatcher<Decl, AccessSpecDecl>
760 const internal::VariadicAllOfMatcher<CXXBaseSpecifier> cxxBaseSpecifier;
761 const internal::VariadicAllOfMatcher<CXXCtorInitializer> cxxCtorInitializer;
762 const internal::VariadicAllOfMatcher<TemplateArgument> templateArgument;
763 const internal::VariadicAllOfMatcher<TemplateArgumentLoc> templateArgumentLoc;
764 const internal::VariadicAllOfMatcher<TemplateName> templateName;
765 const internal::VariadicDynCastAllOfMatcher<Decl, NonTypeTemplateParmDecl>
767 const internal::VariadicDynCastAllOfMatcher<Decl, TemplateTypeParmDecl>
769 const internal::VariadicDynCastAllOfMatcher<Decl, TemplateTemplateParmDecl>
771 
772 const internal::VariadicAllOfMatcher<LambdaCapture> lambdaCapture;
773 const internal::VariadicAllOfMatcher<QualType> qualType;
774 const internal::VariadicAllOfMatcher<Type> type;
775 const internal::VariadicAllOfMatcher<TypeLoc> typeLoc;
776 
777 const internal::VariadicDynCastAllOfMatcher<TypeLoc, QualifiedTypeLoc>
779 const internal::VariadicDynCastAllOfMatcher<TypeLoc, PointerTypeLoc>
781 const internal::VariadicDynCastAllOfMatcher<TypeLoc, ReferenceTypeLoc>
783 const internal::VariadicDynCastAllOfMatcher<TypeLoc,
786 const internal::VariadicDynCastAllOfMatcher<TypeLoc, ElaboratedTypeLoc>
788 
789 const internal::VariadicDynCastAllOfMatcher<Stmt, UnaryExprOrTypeTraitExpr>
791 const internal::VariadicDynCastAllOfMatcher<Decl, ValueDecl> valueDecl;
792 const internal::VariadicDynCastAllOfMatcher<Decl, CXXConstructorDecl>
794 const internal::VariadicDynCastAllOfMatcher<Decl, CXXDestructorDecl>
796 const internal::VariadicDynCastAllOfMatcher<Decl, EnumDecl> enumDecl;
797 const internal::VariadicDynCastAllOfMatcher<Decl, EnumConstantDecl>
799 const internal::VariadicDynCastAllOfMatcher<Decl, TagDecl> tagDecl;
800 const internal::VariadicDynCastAllOfMatcher<Decl, CXXMethodDecl> cxxMethodDecl;
801 const internal::VariadicDynCastAllOfMatcher<Decl, CXXConversionDecl>
803 const internal::VariadicDynCastAllOfMatcher<Decl, ConceptDecl> conceptDecl;
804 const internal::VariadicDynCastAllOfMatcher<Decl, VarDecl> varDecl;
805 const internal::VariadicDynCastAllOfMatcher<Decl, FieldDecl> fieldDecl;
806 const internal::VariadicDynCastAllOfMatcher<Decl, IndirectFieldDecl>
808 const internal::VariadicDynCastAllOfMatcher<Decl, FunctionDecl> functionDecl;
809 const internal::VariadicDynCastAllOfMatcher<Decl, FunctionTemplateDecl>
811 const internal::VariadicDynCastAllOfMatcher<Decl, FriendDecl> friendDecl;
812 const internal::VariadicAllOfMatcher<Stmt> stmt;
813 const internal::VariadicDynCastAllOfMatcher<Stmt, DeclStmt> declStmt;
814 const internal::VariadicDynCastAllOfMatcher<Stmt, MemberExpr> memberExpr;
815 const internal::VariadicDynCastAllOfMatcher<Stmt, UnresolvedMemberExpr>
817 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDependentScopeMemberExpr>
819 const internal::VariadicDynCastAllOfMatcher<Stmt, CallExpr> callExpr;
820 const internal::VariadicDynCastAllOfMatcher<Stmt, LambdaExpr> lambdaExpr;
821 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXMemberCallExpr>
823 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCMessageExpr>
825 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCInterfaceDecl>
827 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCImplementationDecl>
829 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCProtocolDecl>
831 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCCategoryDecl>
833 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCCategoryImplDecl>
835 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCMethodDecl>
837 const internal::VariadicDynCastAllOfMatcher<Decl, BlockDecl>
839 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCIvarDecl> objcIvarDecl;
840 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCPropertyDecl>
842 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAtThrowStmt>
844 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAtTryStmt> objcTryStmt;
845 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAtCatchStmt>
847 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAtFinallyStmt>
849 const internal::VariadicDynCastAllOfMatcher<Stmt, ExprWithCleanups>
851 const internal::VariadicDynCastAllOfMatcher<Stmt, InitListExpr> initListExpr;
852 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXStdInitializerListExpr>
854 const internal::VariadicDynCastAllOfMatcher<Stmt, ImplicitValueInitExpr>
856 const internal::VariadicDynCastAllOfMatcher<Stmt, ParenListExpr> parenListExpr;
857 const internal::VariadicDynCastAllOfMatcher<Stmt, SubstNonTypeTemplateParmExpr>
859 const internal::VariadicDynCastAllOfMatcher<Decl, UsingDecl> usingDecl;
860 const internal::VariadicDynCastAllOfMatcher<Decl, UsingEnumDecl> usingEnumDecl;
861 const internal::VariadicDynCastAllOfMatcher<Decl, UsingDirectiveDecl>
863 const internal::VariadicDynCastAllOfMatcher<Stmt, UnresolvedLookupExpr>
865 const internal::VariadicDynCastAllOfMatcher<Decl, UnresolvedUsingValueDecl>
867 const internal::VariadicDynCastAllOfMatcher<Decl, UnresolvedUsingTypenameDecl>
869 const internal::VariadicDynCastAllOfMatcher<Stmt, ConstantExpr> constantExpr;
870 const internal::VariadicDynCastAllOfMatcher<Stmt, ParenExpr> parenExpr;
871 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXConstructExpr>
873 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXUnresolvedConstructExpr>
875 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXThisExpr> cxxThisExpr;
876 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXBindTemporaryExpr>
878 const internal::VariadicDynCastAllOfMatcher<Stmt, MaterializeTemporaryExpr>
880 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXNewExpr> cxxNewExpr;
881 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDeleteExpr> cxxDeleteExpr;
882 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXNoexceptExpr>
884 const internal::VariadicDynCastAllOfMatcher<Stmt, ArraySubscriptExpr>
886 const internal::VariadicDynCastAllOfMatcher<Stmt, ArrayInitIndexExpr>
888 const internal::VariadicDynCastAllOfMatcher<Stmt, ArrayInitLoopExpr>
890 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDefaultArgExpr>
892 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXOperatorCallExpr>
894 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXRewrittenBinaryOperator>
896 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXFoldExpr> cxxFoldExpr;
897 const internal::VariadicDynCastAllOfMatcher<Stmt, Expr> expr;
898 const internal::VariadicDynCastAllOfMatcher<Stmt, DeclRefExpr> declRefExpr;
899 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCIvarRefExpr> objcIvarRefExpr;
900 const internal::VariadicDynCastAllOfMatcher<Stmt, BlockExpr> blockExpr;
901 const internal::VariadicDynCastAllOfMatcher<Stmt, IfStmt> ifStmt;
902 const internal::VariadicDynCastAllOfMatcher<Stmt, ForStmt> forStmt;
903 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXForRangeStmt>
905 const internal::VariadicDynCastAllOfMatcher<Stmt, WhileStmt> whileStmt;
906 const internal::VariadicDynCastAllOfMatcher<Stmt, DoStmt> doStmt;
907 const internal::VariadicDynCastAllOfMatcher<Stmt, BreakStmt> breakStmt;
908 const internal::VariadicDynCastAllOfMatcher<Stmt, ContinueStmt> continueStmt;
909 const internal::VariadicDynCastAllOfMatcher<Stmt, CoreturnStmt> coreturnStmt;
910 const internal::VariadicDynCastAllOfMatcher<Stmt, ReturnStmt> returnStmt;
911 const internal::VariadicDynCastAllOfMatcher<Stmt, GotoStmt> gotoStmt;
912 const internal::VariadicDynCastAllOfMatcher<Stmt, LabelStmt> labelStmt;
913 const internal::VariadicDynCastAllOfMatcher<Stmt, AddrLabelExpr> addrLabelExpr;
914 const internal::VariadicDynCastAllOfMatcher<Stmt, SwitchStmt> switchStmt;
915 const internal::VariadicDynCastAllOfMatcher<Stmt, SwitchCase> switchCase;
916 const internal::VariadicDynCastAllOfMatcher<Stmt, CaseStmt> caseStmt;
917 const internal::VariadicDynCastAllOfMatcher<Stmt, DefaultStmt> defaultStmt;
918 const internal::VariadicDynCastAllOfMatcher<Stmt, CompoundStmt> compoundStmt;
919 const internal::VariadicDynCastAllOfMatcher<Stmt, CoroutineBodyStmt>
921 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXCatchStmt> cxxCatchStmt;
922 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXTryStmt> cxxTryStmt;
923 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXThrowExpr> cxxThrowExpr;
924 const internal::VariadicDynCastAllOfMatcher<Stmt, NullStmt> nullStmt;
925 const internal::VariadicDynCastAllOfMatcher<Stmt, AsmStmt> asmStmt;
926 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXBoolLiteralExpr>
928 const internal::VariadicDynCastAllOfMatcher<Stmt, StringLiteral> stringLiteral;
929 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCStringLiteral> objcStringLiteral;
930 const internal::VariadicDynCastAllOfMatcher<Stmt, CharacterLiteral>
932 const internal::VariadicDynCastAllOfMatcher<Stmt, IntegerLiteral>
934 const internal::VariadicDynCastAllOfMatcher<Stmt, FloatingLiteral> floatLiteral;
935 const internal::VariadicDynCastAllOfMatcher<Stmt, ImaginaryLiteral> imaginaryLiteral;
936 const internal::VariadicDynCastAllOfMatcher<Stmt, FixedPointLiteral>
938 const internal::VariadicDynCastAllOfMatcher<Stmt, UserDefinedLiteral>
940 const internal::VariadicDynCastAllOfMatcher<Stmt, CompoundLiteralExpr>
942 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXNullPtrLiteralExpr>
944 const internal::VariadicDynCastAllOfMatcher<Stmt, ChooseExpr> chooseExpr;
945 const internal::VariadicDynCastAllOfMatcher<Stmt, ConvertVectorExpr>
947 const internal::VariadicDynCastAllOfMatcher<Stmt, CoawaitExpr>
949 const internal::VariadicDynCastAllOfMatcher<Stmt, DependentCoawaitExpr>
951 const internal::VariadicDynCastAllOfMatcher<Stmt, CoyieldExpr>
953 const internal::VariadicDynCastAllOfMatcher<Stmt, GNUNullExpr> gnuNullExpr;
954 const internal::VariadicDynCastAllOfMatcher<Stmt, GenericSelectionExpr>
956 const internal::VariadicDynCastAllOfMatcher<Stmt, AtomicExpr> atomicExpr;
957 const internal::VariadicDynCastAllOfMatcher<Stmt, StmtExpr> stmtExpr;
958 const internal::VariadicDynCastAllOfMatcher<Stmt, BinaryOperator>
960 const internal::MapAnyOfMatcher<BinaryOperator, CXXOperatorCallExpr,
963 const internal::MapAnyOfMatcher<CallExpr, CXXConstructExpr> invocation;
964 const internal::VariadicDynCastAllOfMatcher<Stmt, UnaryOperator> unaryOperator;
965 const internal::VariadicDynCastAllOfMatcher<Stmt, ConditionalOperator>
967 const internal::VariadicDynCastAllOfMatcher<Stmt, BinaryConditionalOperator>
969 const internal::VariadicDynCastAllOfMatcher<Stmt, OpaqueValueExpr>
971 const internal::VariadicDynCastAllOfMatcher<Decl, StaticAssertDecl>
973 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXReinterpretCastExpr>
975 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXStaticCastExpr>
977 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDynamicCastExpr>
979 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXConstCastExpr>
981 const internal::VariadicDynCastAllOfMatcher<Stmt, CStyleCastExpr>
983 const internal::VariadicDynCastAllOfMatcher<Stmt, ExplicitCastExpr>
985 const internal::VariadicDynCastAllOfMatcher<Stmt, ImplicitCastExpr>
987 const internal::VariadicDynCastAllOfMatcher<Stmt, CastExpr> castExpr;
988 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXFunctionalCastExpr>
990 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXTemporaryObjectExpr>
992 const internal::VariadicDynCastAllOfMatcher<Stmt, PredefinedExpr>
994 const internal::VariadicDynCastAllOfMatcher<Stmt, DesignatedInitExpr>
996 const internal::VariadicOperatorMatcherFunc<
998  eachOf = {internal::DynTypedMatcher::VO_EachOf};
999 const internal::VariadicOperatorMatcherFunc<
1001  anyOf = {internal::DynTypedMatcher::VO_AnyOf};
1002 const internal::VariadicOperatorMatcherFunc<
1004  allOf = {internal::DynTypedMatcher::VO_AllOf};
1005 const internal::VariadicOperatorMatcherFunc<1, 1> optionally = {
1006  internal::DynTypedMatcher::VO_Optionally};
1007 const internal::VariadicFunction<internal::Matcher<NamedDecl>, StringRef,
1010 
1011 const internal::VariadicFunction<internal::HasOpNameMatcher, StringRef,
1014 const internal::VariadicFunction<internal::HasOverloadOpNameMatcher, StringRef,
1017 const internal::VariadicFunction<internal::Matcher<ObjCMessageExpr>, StringRef,
1020 const internal::ArgumentAdaptingMatcherFunc<internal::HasMatcher> has = {};
1021 const internal::ArgumentAdaptingMatcherFunc<internal::HasDescendantMatcher>
1023 const internal::ArgumentAdaptingMatcherFunc<internal::ForEachMatcher> forEach =
1024  {};
1025 const internal::ArgumentAdaptingMatcherFunc<internal::ForEachDescendantMatcher>
1027 const internal::ArgumentAdaptingMatcherFunc<
1028  internal::HasParentMatcher,
1029  internal::TypeList<Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr>,
1030  internal::TypeList<Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr>>
1032 const internal::ArgumentAdaptingMatcherFunc<
1033  internal::HasAncestorMatcher,
1034  internal::TypeList<Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr>,
1035  internal::TypeList<Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr>>
1037 const internal::VariadicOperatorMatcherFunc<1, 1> unless = {
1038  internal::DynTypedMatcher::VO_UnaryNot};
1039 const internal::VariadicAllOfMatcher<NestedNameSpecifier> nestedNameSpecifier;
1040 const internal::VariadicAllOfMatcher<NestedNameSpecifierLoc>
1042 const internal::VariadicAllOfMatcher<Attr> attr;
1043 const internal::VariadicDynCastAllOfMatcher<Stmt, CUDAKernelCallExpr>
1083  ComplexType));
1087  pointee,
1090 
1091 const internal::VariadicDynCastAllOfMatcher<Stmt, OMPExecutableDirective>
1093 const internal::VariadicDynCastAllOfMatcher<OMPClause, OMPDefaultClause>
1095 const internal::VariadicDynCastAllOfMatcher<Decl, CXXDeductionGuideDecl>
1097 
1098 } // end namespace ast_matchers
1099 } // end namespace clang
Defines the clang::ASTContext interface.
BoundNodesTreeBuilder BoundNodes
DynTypedNode Node
DynTypedMatcher::MatcherIDType MatcherID
bool IsFullyQualified
StringRef P
#define AST_POLYMORPHIC_SUPPORTED_TYPES(...)
Construct a type-list to be passed to the AST_POLYMORPHIC_MATCHER* macros.
#define AST_TYPELOC_TRAVERSE_MATCHER_DEF(MatcherName, ReturnTypesF)
static char ID
Definition: Arena.cpp:183
#define SM(sm)
Definition: Cuda.cpp:83
Defines the C++ template declaration subclasses.
StringRef Text
Definition: Format.cpp:2977
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
SourceLocation Loc
Definition: SemaObjC.cpp:755
__DEVICE__ int max(int __a, int __b)
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition: ASTContext.h:185
static ASTNodeKind getMostDerivedType(ASTNodeKind Kind1, ASTNodeKind Kind2)
Return the most derived type between Kind1 and Kind2.
Represents an array type, per C99 6.7.5.2 - Array Declarators.
Definition: Type.h:3530
A builtin binary operation expression such as "x + y" or "x <= y".
Definition: Expr.h:3892
Pointer to a block type.
Definition: Type.h:3361
Represents a path from a specific derived class (which is not represented as part of the path) to a p...
BasePaths - Represents the set of paths from a derived class to one of its (direct or indirect) bases...
Represents a base class of a C++ class.
Definition: DeclCXX.h:146
A call to an overloaded operator written using operator syntax.
Definition: ExprCXX.h:81
Represents a C++ struct/union/class.
Definition: DeclCXX.h:258
A rewritten comparison expression that was originally written using operator syntax.
Definition: ExprCXX.h:283
Represents a class template specialization, which refers to a class template with a given set of temp...
Complex values, per C99 6.2.5p11.
Definition: Type.h:3098
Decl - This represents one declaration (or definition), e.g.
Definition: DeclBase.h:86
A dynamically typed AST node container.
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
Definition: LangOptions.h:482
static unsigned getSpelling(const Token &Tok, const char *&Buffer, const SourceManager &SourceMgr, const LangOptions &LangOpts, bool *Invalid=nullptr)
getSpelling - This method is used to get the spelling of a token into a preallocated buffer,...
Definition: Lexer.cpp:452
A pointer to member type per C++ 8.3.3 - Pointers to members.
Definition: Type.h:3472
This represents a decl that may have a name.
Definition: Decl.h:249
Represent a C++ namespace.
Definition: Decl.h:548
An expression that sends a message to the given Objective-C object or class.
Definition: ExprObjC.h:945
PointerType - C99 6.7.5.1 - Pointer Declarators.
Definition: Type.h:3151
Represents a struct/union/class.
Definition: Decl.h:4171
Base for LValueReferenceType and RValueReferenceType.
Definition: Type.h:3392
Encodes a location in the source.
This class handles loading and caching of source files into memory.
Each ExpansionInfo encodes the expansion location - where the token was ultimately expanded,...
SourceLocation getExpansionLocStart() const
SourceLocation getSpellingLoc() const
Base wrapper for a particular "section" of type source info.
Definition: TypeLoc.h:59
HasOverloadOpNameMatcher hasAnyOverloadedOperatorNameFunc(ArrayRef< const StringRef * > NameRefs)
std::shared_ptr< llvm::Regex > createAndVerifyRegex(StringRef Regex, llvm::Regex::RegexFlags Flags, StringRef MatcherID)
static bool eachOfVariadicOperator(const DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
static bool isTokenAtLoc(const SourceManager &SM, const LangOptions &LangOpts, StringRef Text, SourceLocation Loc)
static bool anyOfVariadicOperator(const DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
static bool optionallyVariadicOperator(const DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
std::optional< SourceLocation > getExpansionLocOfMacro(StringRef MacroName, SourceLocation Loc, const ASTContext &Context)
HasOpNameMatcher hasAnyOperatorNameFunc(ArrayRef< const StringRef * > NameRefs)
static bool notUnaryOperator(const DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
Matcher< ObjCMessageExpr > hasAnySelectorFunc(ArrayRef< const StringRef * > NameRefs)
static bool consumeNameSuffix(StringRef &FullName, StringRef Suffix)
bool matchesAnyBase(const CXXRecordDecl &Node, const Matcher< CXXBaseSpecifier > &BaseSpecMatcher, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder)
static StringRef getNodeName(const NamespaceDecl &Node, llvm::SmallString< 128 > &Scratch)
static std::vector< std::string > vectorFromRefs(ArrayRef< const StringRef * > NameRefs)
static bool allOfVariadicOperator(const DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
Matcher< NamedDecl > hasAnyNameFunc(ArrayRef< const StringRef * > NameRefs)
const internal::VariadicDynCastAllOfMatcher< Stmt, FixedPointLiteral > fixedPointLiteral
Matches fixed point literals.
const internal::VariadicDynCastAllOfMatcher< Stmt, CStyleCastExpr > cStyleCastExpr
Matches a C-style cast expression.
const internal::VariadicDynCastAllOfMatcher< Decl, TagDecl > tagDecl
Matches tag declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXReinterpretCastExpr > cxxReinterpretCastExpr
Matches a reinterpret_cast expression.
const internal::VariadicDynCastAllOfMatcher< Decl, VarDecl > varDecl
Matches variable declarations.
const internal::VariadicDynCastAllOfMatcher< TypeLoc, ElaboratedTypeLoc > elaboratedTypeLoc
Matches C or C++ elaborated TypeLocs.
const internal::VariadicDynCastAllOfMatcher< Stmt, StmtExpr > stmtExpr
Matches statement expression (GNU extension).
const internal::VariadicDynCastAllOfMatcher< Stmt, ExprWithCleanups > exprWithCleanups
Matches expressions that introduce cleanups to be run at the end of the sub-expression's evaluation.
const internal::VariadicDynCastAllOfMatcher< Stmt, DeclRefExpr > declRefExpr
Matches expressions that refer to declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, TypedefNameDecl > typedefNameDecl
Matches typedef name declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCIvarDecl > objcIvarDecl
Matches Objective-C instance variable declarations.
const AstTypeMatcher< EnumType > enumType
Matches enum types.
const AstTypeMatcher< FunctionProtoType > functionProtoType
Matches FunctionProtoType nodes.
const AstTypeMatcher< ElaboratedType > elaboratedType
Matches types specified with an elaborated type keyword or with a qualified name.
const internal::VariadicDynCastAllOfMatcher< Decl, TypeAliasDecl > typeAliasDecl
Matches type alias declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, UsingEnumDecl > usingEnumDecl
Matches using-enum declarations.
const AstTypeMatcher< ObjCObjectPointerType > objcObjectPointerType
Matches an Objective-C object pointer type, which is different from a pointer type,...
const internal::VariadicDynCastAllOfMatcher< Stmt, ConstantExpr > constantExpr
Matches a constant expression wrapper.
const internal::VariadicDynCastAllOfMatcher< Stmt, ArrayInitLoopExpr > arrayInitLoopExpr
Matches a loop initializing the elements of an array in a number of contexts:
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCIvarRefExpr > objcIvarRefExpr
Matches a reference to an ObjCIvar.
const AstTypeMatcher< BuiltinType > builtinType
Matches builtin Types.
const internal::VariadicOperatorMatcherFunc< 1, 1 > unless
Matches if the provided matcher does not match.
const internal::VariadicDynCastAllOfMatcher< Decl, ConceptDecl > conceptDecl
Matches concept declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CoyieldExpr > coyieldExpr
Matches co_yield expressions.
const AstTypeMatcher< DependentSizedExtVectorType > dependentSizedExtVectorType
Matches C++ extended vector type where either the type or size is dependent.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDeleteExpr > cxxDeleteExpr
Matches delete expressions.
const internal::VariadicAllOfMatcher< TemplateName > templateName
Matches template name.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCProtocolDecl > objcProtocolDecl
Matches Objective-C protocol declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, ImplicitCastExpr > implicitCastExpr
Matches the implicit cast nodes of Clang's AST.
const internal::VariadicOperatorMatcherFunc< 1, 1 > optionally
Matches any node regardless of the submatcher.
const internal::VariadicDynCastAllOfMatcher< Decl, UsingDecl > usingDecl
Matches using declarations.
const internal::ArgumentAdaptingMatcherFunc< internal::HasDescendantMatcher > hasDescendant
Matches AST nodes that have descendant AST nodes that match the provided matcher.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCPropertyDecl > objcPropertyDecl
Matches Objective-C property declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, StringLiteral > stringLiteral
Matches string literals (also matches wide string literals).
const internal::VariadicAllOfMatcher< CXXCtorInitializer > cxxCtorInitializer
Matches constructor initializers.
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtFinallyStmt > objcFinallyStmt
Matches Objective-C @finally statements.
const AstTypeMatcher< DependentSizedArrayType > dependentSizedArrayType
Matches C++ arrays whose size is a value-dependent expression.
const AstTypeMatcher< TemplateSpecializationType > templateSpecializationType
Matches template specialization types.
const internal::VariadicDynCastAllOfMatcher< Stmt, AtomicExpr > atomicExpr
Matches atomic builtins.
const AstTypeMatcher< DeducedTemplateSpecializationType > deducedTemplateSpecializationType
Matches C++17 deduced template specialization types, e.g.
const internal::VariadicDynCastAllOfMatcher< Stmt, CoawaitExpr > coawaitExpr
Matches co_await expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, EnumDecl > enumDecl
Matches enum declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, ConvertVectorExpr > convertVectorExpr
Matches builtin function __builtin_convertvector.
const internal::VariadicDynCastAllOfMatcher< Stmt, AddrLabelExpr > addrLabelExpr
Matches address of label statements (GNU extension).
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDependentScopeMemberExpr > cxxDependentScopeMemberExpr
Matches member expressions where the actual member referenced could not be resolved because the base ...
const internal::VariadicDynCastAllOfMatcher< Stmt, PredefinedExpr > predefinedExpr
Matches predefined identifier expressions [C99 6.4.2.2].
const internal::VariadicAllOfMatcher< NestedNameSpecifier > nestedNameSpecifier
Matches nested name specifiers.
const AstTypeMatcher< PointerType > pointerType
Matches pointer types, but does not match Objective-C object pointer types.
const internal::VariadicDynCastAllOfMatcher< Stmt, DependentCoawaitExpr > dependentCoawaitExpr
Matches co_await expressions where the type of the promise is dependent.
const internal::VariadicDynCastAllOfMatcher< Stmt, BreakStmt > breakStmt
Matches break statements.
const internal::VariadicDynCastAllOfMatcher< Decl, BindingDecl > bindingDecl
Matches binding declarations Example matches foo and bar (matcher = bindingDecl()
const internal::VariadicDynCastAllOfMatcher< Stmt, UnresolvedLookupExpr > unresolvedLookupExpr
Matches reference to a name that can be looked up during parsing but could not be resolved to a speci...
const internal::VariadicDynCastAllOfMatcher< Stmt, OMPExecutableDirective > ompExecutableDirective
Matches any #pragma omp executable directive.
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCStringLiteral > objcStringLiteral
Matches ObjectiveC String literal expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCMethodDecl > objcMethodDecl
Matches Objective-C method declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, ParmVarDecl > parmVarDecl
Matches parameter variable declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXRewrittenBinaryOperator > cxxRewrittenBinaryOperator
Matches rewritten binary operators.
const internal::VariadicDynCastAllOfMatcher< Decl, TypedefDecl > typedefDecl
Matches typedef declarations.
AST_MATCHER_P(FieldDecl, hasBitWidth, unsigned, Width)
Matches non-static data members that are bit-fields of the specified bit width.
Definition: ASTMatchers.h:710
const internal::VariadicDynCastAllOfMatcher< Stmt, GenericSelectionExpr > genericSelectionExpr
Matches C11 _Generic expression.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXDeductionGuideDecl > cxxDeductionGuideDecl
Matches user-defined and implicitly generated deduction guide.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXBoolLiteralExpr > cxxBoolLiteral
Matches bool literals.
const internal::VariadicDynCastAllOfMatcher< Stmt, ReturnStmt > returnStmt
Matches return statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, AsmStmt > asmStmt
Matches asm statements.
const internal::VariadicAllOfMatcher< Attr > attr
Matches attributes.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDynamicCastExpr > cxxDynamicCastExpr
Matches a dynamic_cast expression.
const internal::VariadicDynCastAllOfMatcher< Stmt, CoreturnStmt > coreturnStmt
Matches co_return statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CallExpr > callExpr
Matches call expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, LambdaExpr > lambdaExpr
Matches lambda expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, CompoundStmt > compoundStmt
Matches compound statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, FloatingLiteral > floatLiteral
Matches float literals of all sizes / encodings, e.g.
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAutoreleasePoolStmt > autoreleasePoolStmt
Matches an Objective-C autorelease pool statement.
const internal::VariadicFunction< internal::PolymorphicMatcher< internal::HasOverloadedOperatorNameMatcher, AST_POLYMORPHIC_SUPPORTED_TYPES(CXXOperatorCallExpr, FunctionDecl), std::vector< std::string > >, StringRef, internal::hasAnyOverloadedOperatorNameFunc > hasAnyOverloadedOperatorName
Matches overloaded operator names.
const internal::VariadicDynCastAllOfMatcher< Decl, NonTypeTemplateParmDecl > nonTypeTemplateParmDecl
Matches non-type template parameter declarations.
const AstTypeMatcher< VariableArrayType > variableArrayType
Matches C arrays with a specified size that is not an integer-constant-expression.
const internal::VariadicDynCastAllOfMatcher< Stmt, UnaryExprOrTypeTraitExpr > unaryExprOrTypeTraitExpr
Matches sizeof (C99), alignof (C++11) and vec_step (OpenCL)
const internal::VariadicDynCastAllOfMatcher< Stmt, NullStmt > nullStmt
Matches null statements.
const internal::VariadicDynCastAllOfMatcher< TypeLoc, TemplateSpecializationTypeLoc > templateSpecializationTypeLoc
Matches template specialization TypeLocs.
const internal::ArgumentAdaptingMatcherFunc< internal::ForEachDescendantMatcher > forEachDescendant
Matches AST nodes that have descendant AST nodes that match the provided matcher.
const internal::VariadicAllOfMatcher< CXXBaseSpecifier > cxxBaseSpecifier
Matches class bases.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDefaultArgExpr > cxxDefaultArgExpr
Matches the value of a default argument at the call site.
const internal::VariadicAllOfMatcher< TemplateArgument > templateArgument
Matches template arguments.
const internal::ArgumentAdaptingMatcherFunc< internal::ForEachMatcher > forEach
Matches AST nodes that have child AST nodes that match the provided matcher.
const internal::VariadicDynCastAllOfMatcher< Stmt, CaseStmt > caseStmt
Matches case statements inside switch statements.
const internal::VariadicAllOfMatcher< NestedNameSpecifierLoc > nestedNameSpecifierLoc
Same as nestedNameSpecifier but matches NestedNameSpecifierLoc.
const internal::VariadicDynCastAllOfMatcher< Decl, NamedDecl > namedDecl
Matches a declaration of anything that could have a name.
const internal::VariadicDynCastAllOfMatcher< Decl, UnresolvedUsingTypenameDecl > unresolvedUsingTypenameDecl
Matches unresolved using value declarations that involve the typename.
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
const AstTypeMatcher< DecltypeType > decltypeType
Matches types nodes representing C++11 decltype(<expr>) types.
const internal::VariadicAllOfMatcher< TypeLoc > typeLoc
Matches TypeLocs in the clang AST.
const internal::VariadicDynCastAllOfMatcher< Stmt, ParenListExpr > parenListExpr
Matches paren list expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, ClassTemplatePartialSpecializationDecl > classTemplatePartialSpecializationDecl
Matches C++ class template partial specializations.
const internal::VariadicDynCastAllOfMatcher< Stmt, WhileStmt > whileStmt
Matches while statements.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCCategoryDecl > objcCategoryDecl
Matches Objective-C category declarations.
const internal::VariadicFunction< internal::Matcher< ObjCMessageExpr >, StringRef, internal::hasAnySelectorFunc > hasAnySelector
Matches when at least one of the supplied string equals to the Selector.getAsString()
const AstTypeMatcher< AutoType > autoType
Matches types nodes representing C++11 auto types.
const AstTypeMatcher< ArrayType > arrayType
Matches all kinds of arrays.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXConversionDecl > cxxConversionDecl
Matches conversion operator declarations.
const AstTypeMatcher< ParenType > parenType
Matches ParenType nodes.
const internal::VariadicDynCastAllOfMatcher< Decl, LabelDecl > labelDecl
Matches a declaration of label.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXFunctionalCastExpr > cxxFunctionalCastExpr
Matches functional cast expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXConstCastExpr > cxxConstCastExpr
Matches a const_cast expression.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXTemporaryObjectExpr > cxxTemporaryObjectExpr
Matches functional cast expressions having N != 1 arguments.
const internal::VariadicDynCastAllOfMatcher< Stmt, UnaryOperator > unaryOperator
Matches unary operator expressions.
const internal::VariadicDynCastAllOfMatcher< TypeLoc, ReferenceTypeLoc > referenceTypeLoc
Matches reference TypeLocs.
const internal::VariadicFunction< internal::Matcher< NamedDecl >, StringRef, internal::hasAnyNameFunc > hasAnyName
Matches NamedDecl nodes that have any of the specified names.
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCMessageExpr > objcMessageExpr
Matches ObjectiveC Message invocation expressions.
const internal::MapAnyOfMatcher< BinaryOperator, CXXOperatorCallExpr, CXXRewrittenBinaryOperator > binaryOperation
Matches nodes which can be used with binary operators.
const internal::VariadicDynCastAllOfMatcher< Stmt, ArraySubscriptExpr > arraySubscriptExpr
Matches array subscript expressions.
const internal::VariadicDynCastAllOfMatcher< OMPClause, OMPDefaultClause > ompDefaultClause
Matches OpenMP default clause.
const internal::VariadicDynCastAllOfMatcher< Decl, AccessSpecDecl > accessSpecDecl
Matches C++ access specifier declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, LinkageSpecDecl > linkageSpecDecl
Matches a declaration of a linkage specification.
const AstTypeMatcher< InjectedClassNameType > injectedClassNameType
Matches injected class name types.
const internal::VariadicDynCastAllOfMatcher< Stmt, GNUNullExpr > gnuNullExpr
Matches GNU __null expression.
const internal::VariadicDynCastAllOfMatcher< TypeLoc, PointerTypeLoc > pointerTypeLoc
Matches pointer TypeLocs.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXForRangeStmt > cxxForRangeStmt
Matches range-based for statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXMemberCallExpr > cxxMemberCallExpr
Matches member call expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXConstructorDecl > cxxConstructorDecl
Matches C++ constructor declarations.
const AstTypeMatcher< BlockPointerType > blockPointerType
Matches block pointer types, i.e.
const internal::VariadicDynCastAllOfMatcher< Stmt, InitListExpr > initListExpr
Matches init list expressions.
const AstTypeMatcher< AtomicType > atomicType
Matches atomic types.
const internal::VariadicDynCastAllOfMatcher< Decl, TypeAliasTemplateDecl > typeAliasTemplateDecl
Matches type alias template declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXNoexceptExpr > cxxNoexceptExpr
Matches noexcept expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, ArrayInitIndexExpr > arrayInitIndexExpr
The arrayInitIndexExpr consists of two subexpressions: a common expression (the source array) that is...
internal::VariadicDynCastAllOfMatcher< Type, NodeType > AstTypeMatcher
Definition: ASTMatchers.h:7015
const AstTypeMatcher< UsingType > usingType
Matches types specified through a using declaration.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXNewExpr > cxxNewExpr
Matches new expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, EnumConstantDecl > enumConstantDecl
Matches enum constants.
const internal::VariadicDynCastAllOfMatcher< Stmt, ForStmt > forStmt
Matches for statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, GotoStmt > gotoStmt
Matches goto statements.
const internal::VariadicDynCastAllOfMatcher< Decl, DeclaratorDecl > declaratorDecl
Matches declarator declarations (field, variable, function and non-type template parameter declaratio...
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtCatchStmt > objcCatchStmt
Matches Objective-C @catch statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, BinaryOperator > binaryOperator
Matches binary operator expressions.
const internal::VariadicDynCastAllOfMatcher< TypeLoc, QualifiedTypeLoc > qualifiedTypeLoc
Matches QualifiedTypeLocs in the clang AST.
const internal::VariadicDynCastAllOfMatcher< Decl, TemplateTypeParmDecl > templateTypeParmDecl
Matches template type parameter declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, BlockExpr > blockExpr
Matches a reference to a block.
const internal::VariadicDynCastAllOfMatcher< Decl, FunctionTemplateDecl > functionTemplateDecl
Matches C++ function template declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, ParenExpr > parenExpr
Matches parentheses used in expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, StaticAssertDecl > staticAssertDecl
Matches a C++ static_assert declaration.
const internal::ArgumentAdaptingMatcherFunc< internal::HasMatcher > has
Matches AST nodes that have child AST nodes that match the provided matcher.
const internal::VariadicDynCastAllOfMatcher< Stmt, CoroutineBodyStmt > coroutineBodyStmt
Matches coroutine body statements.
const AstTypeMatcher< MacroQualifiedType > macroQualifiedType
Matches qualified types when the qualifier is applied via a macro.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCCategoryImplDecl > objcCategoryImplDecl
Matches Objective-C category definitions.
const AstTypeMatcher< TypedefType > typedefType
Matches typedef types.
const internal::VariadicDynCastAllOfMatcher< Stmt, MaterializeTemporaryExpr > materializeTemporaryExpr
Matches nodes where temporaries are materialized.
const AstTypeMatcher< TagType > tagType
Matches tag types (record and enum types).
const internal::VariadicDynCastAllOfMatcher< Stmt, BinaryConditionalOperator > binaryConditionalOperator
Matches binary conditional operator expressions (GNU extension).
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtTryStmt > objcTryStmt
Matches Objective-C @try statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, ExplicitCastExpr > explicitCastExpr
Matches explicit cast expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXStaticCastExpr > cxxStaticCastExpr
Matches a C++ static_cast expression.
const internal::VariadicDynCastAllOfMatcher< Decl, ValueDecl > valueDecl
Matches any value declaration.
const internal::VariadicDynCastAllOfMatcher< Decl, TranslationUnitDecl > translationUnitDecl
Matches the top declaration context.
const AstTypeMatcher< TemplateTypeParmType > templateTypeParmType
Matches template type parameter types.
const AstTypeMatcher< ConstantArrayType > constantArrayType
Matches C arrays with a specified constant size.
const internal::VariadicAllOfMatcher< LambdaCapture > lambdaCapture
Matches lambda captures.
const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> eachOf
Matches if any of the given matchers matches.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXConstructExpr > cxxConstructExpr
Matches constructor call expressions (including implicit ones).
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCInterfaceDecl > objcInterfaceDecl
Matches Objective-C interface declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, TemplateTemplateParmDecl > templateTemplateParmDecl
Matches template template parameter declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, FieldDecl > fieldDecl
Matches field declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, UserDefinedLiteral > userDefinedLiteral
Matches user defined literal operator call.
const internal::VariadicDynCastAllOfMatcher< Stmt, ChooseExpr > chooseExpr
Matches GNU __builtin_choose_expr.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXOperatorCallExpr > cxxOperatorCallExpr
Matches overloaded operator calls.
const internal::VariadicDynCastAllOfMatcher< Decl, NamespaceAliasDecl > namespaceAliasDecl
Matches a declaration of a namespace alias.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXBindTemporaryExpr > cxxBindTemporaryExpr
Matches nodes where temporaries are created.
const internal::VariadicDynCastAllOfMatcher< Stmt, SwitchCase > switchCase
Matches case and default statements inside switch statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, DefaultStmt > defaultStmt
Matches default statements inside switch statements.
const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> allOf
Matches if all given matchers match.
const internal::VariadicDynCastAllOfMatcher< Decl, ClassTemplateSpecializationDecl > classTemplateSpecializationDecl
Matches C++ class template specializations.
const internal::VariadicDynCastAllOfMatcher< Decl, DecompositionDecl > decompositionDecl
Matches decomposition-declarations.
const AstTypeMatcher< SubstTemplateTypeParmType > substTemplateTypeParmType
Matches types that represent the result of substituting a type for a template type parameter.
const internal::VariadicDynCastAllOfMatcher< Decl, FunctionDecl > functionDecl
Matches function declarations.
const AstTypeMatcher< UnaryTransformType > unaryTransformType
Matches types nodes representing unary type transformations.
const internal::VariadicDynCastAllOfMatcher< Stmt, UnresolvedMemberExpr > unresolvedMemberExpr
Matches unresolved member expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtThrowStmt > objcThrowStmt
Matches Objective-C @throw statements.
const internal::MapAnyOfMatcher< CallExpr, CXXConstructExpr > invocation
Matches function calls and constructor calls.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXThrowExpr > cxxThrowExpr
Matches throw expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, SwitchStmt > switchStmt
Matches switch statements.
const AstTypeMatcher< RecordType > recordType
Matches record types (e.g.
const internal::VariadicDynCastAllOfMatcher< Stmt, MemberExpr > memberExpr
Matches member expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXRecordDecl > cxxRecordDecl
Matches C++ class declarations.
const internal::VariadicAllOfMatcher< TemplateArgumentLoc > templateArgumentLoc
Matches template arguments (with location info).
const AstTypeMatcher< ReferenceType > referenceType
Matches both lvalue and rvalue reference types.
const internal::VariadicDynCastAllOfMatcher< Stmt, DesignatedInitExpr > designatedInitExpr
Matches C99 designated initializer expressions [C99 6.7.8].
const internal::VariadicAllOfMatcher< Decl > decl
Matches declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXDestructorDecl > cxxDestructorDecl
Matches explicit C++ destructor declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXUnresolvedConstructExpr > cxxUnresolvedConstructExpr
Matches unresolved constructor call expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCImplementationDecl > objcImplementationDecl
Matches Objective-C implementation declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, RecordDecl > recordDecl
Matches class, struct, and union declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, IntegerLiteral > integerLiteral
Matches integer literals of all sizes / encodings, e.g.
const internal::VariadicDynCastAllOfMatcher< Stmt, ImplicitValueInitExpr > implicitValueInitExpr
Matches implicit initializers of init list expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, DoStmt > doStmt
Matches do statements.
const internal::VariadicDynCastAllOfMatcher< Decl, NamespaceDecl > namespaceDecl
Matches a declaration of a namespace.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXNullPtrLiteralExpr > cxxNullPtrLiteralExpr
Matches nullptr literal.
const AstTypeMatcher< DecayedType > decayedType
Matches decayed type Example matches i[] in declaration of f.
const internal::VariadicDynCastAllOfMatcher< Stmt, DeclStmt > declStmt
Matches declaration statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CompoundLiteralExpr > compoundLiteralExpr
Matches compound (i.e.
const AstTypeMatcher< MemberPointerType > memberPointerType
Matches member pointer types.
const internal::VariadicDynCastAllOfMatcher< Stmt, LabelStmt > labelStmt
Matches label statements.
const internal::VariadicAllOfMatcher< Stmt > stmt
Matches statements.
const internal::VariadicDynCastAllOfMatcher< Decl, FriendDecl > friendDecl
Matches friend declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, Expr > expr
Matches expressions.
const AstTypeMatcher< IncompleteArrayType > incompleteArrayType
Matches C arrays with unspecified size.
const internal::VariadicDynCastAllOfMatcher< Stmt, CharacterLiteral > characterLiteral
Matches character literals (also matches wchar_t).
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXFoldExpr > cxxFoldExpr
Matches C++17 fold expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, ConditionalOperator > conditionalOperator
Matches conditional operator expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXStdInitializerListExpr > cxxStdInitializerListExpr
Matches C++ initializer list expressions.
const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> anyOf
Matches if any of the given matchers matches.
const internal::VariadicFunction< internal::PolymorphicMatcher< internal::HasAnyOperatorNameMatcher, AST_POLYMORPHIC_SUPPORTED_TYPES(BinaryOperator, CXXOperatorCallExpr, CXXRewrittenBinaryOperator, UnaryOperator), std::vector< std::string > >, StringRef, internal::hasAnyOperatorNameFunc > hasAnyOperatorName
Matches operator expressions (binary or unary) that have any of the specified names.
const internal::VariadicDynCastAllOfMatcher< Stmt, OpaqueValueExpr > opaqueValueExpr
Matches opaque value expressions.
const AstTypeMatcher< ComplexType > complexType
Matches C99 complex types.
const internal::VariadicDynCastAllOfMatcher< Stmt, CUDAKernelCallExpr > cudaKernelCallExpr
Matches CUDA kernel call expression.
const internal::VariadicDynCastAllOfMatcher< Decl, IndirectFieldDecl > indirectFieldDecl
Matches indirect field declarations.
const AstTypeMatcher< FunctionType > functionType
Matches FunctionType nodes.
const internal::VariadicDynCastAllOfMatcher< Decl, BlockDecl > blockDecl
Matches block declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXMethodDecl > cxxMethodDecl
Matches method declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXCatchStmt > cxxCatchStmt
Matches catch statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CastExpr > castExpr
Matches any cast nodes of Clang's AST.
const internal::VariadicAllOfMatcher< QualType > qualType
Matches QualTypes in the clang AST.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXTryStmt > cxxTryStmt
Matches try statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, SubstNonTypeTemplateParmExpr > substNonTypeTemplateParmExpr
Matches substitutions of non-type template parameters.
const internal::VariadicDynCastAllOfMatcher< Decl, UsingDirectiveDecl > usingDirectiveDecl
Matches using namespace declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, UnresolvedUsingValueDecl > unresolvedUsingValueDecl
Matches unresolved using value declarations.
const internal::ArgumentAdaptingMatcherFunc< internal::HasAncestorMatcher, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr >, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr > > hasAncestor
Matches AST nodes that have an ancestor that matches the provided matcher.
const internal::ArgumentAdaptingMatcherFunc< internal::HasParentMatcher, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr >, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr > > hasParent
Matches AST nodes that have a parent that matches the provided matcher.
const internal::VariadicDynCastAllOfMatcher< Stmt, IfStmt > ifStmt
Matches if statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXThisExpr > cxxThisExpr
Matches implicit and explicit this expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, ImaginaryLiteral > imaginaryLiteral
Matches imaginary literals, which are based on integer and floating point literals e....
const AstTypeMatcher< RValueReferenceType > rValueReferenceType
Matches rvalue reference types.
const internal::VariadicDynCastAllOfMatcher< Stmt, ContinueStmt > continueStmt
Matches continue statements.
const internal::VariadicDynCastAllOfMatcher< Decl, ClassTemplateDecl > classTemplateDecl
Matches C++ class template declarations.
const AstTypeMatcher< LValueReferenceType > lValueReferenceType
Matches lvalue reference types.
DynTypedNode DynTypedNode
NodeKind
A kind of a syntax node, used for implementing casts.
Definition: Nodes.h:32
bool matches(const til::SExpr *E1, const til::SExpr *E2)
ASTEdit note(RangeSelector Anchor, TextGenerator Note)
Generates a single, no-op edit with the associated note anchored at the start location of the specifi...
The JSON file list parser is used to communicate input to InstallAPI.
TraversalKind
Defines how we descend a level in the AST when we pass through expressions.
Definition: ASTTypeTraits.h:38
@ TK_IgnoreUnlessSpelledInSource
Ignore AST nodes not written in the source.
Definition: ASTTypeTraits.h:43
@ Other
Other implicit parameter.
Diagnostic wrappers for TextAPI types for error reporting.
Definition: Dominators.h:30
Definition: Format.h:5433
#define bool
Definition: stdbool.h:24