Specialization of RecursiveASTVisitor that visits those nodes that are relevant to the dataflow analysis; generally, these are the ones that also appear in the CFG.
More...
#include "clang/Analysis/FlowSensitive/ASTOps.h"
Inheritance diagram for clang::dataflow::AnalysisASTVisitor:
Public Member Functions | |
| AnalysisASTVisitor () | |
| bool | TraverseDecl (Decl *D) override |
| bool | TraverseDecltypeTypeLoc (DecltypeTypeLoc) override |
| bool | TraverseTypeOfExprTypeLoc (TypeOfExprTypeLoc) override |
| bool | TraverseCXXTypeidExpr (CXXTypeidExpr *TIE) override |
| bool | TraverseUnaryExprOrTypeTraitExpr (UnaryExprOrTypeTraitExpr *) override |
| bool | TraverseBindingDecl (BindingDecl *BD) override |
 Public Member Functions inherited from clang::DynamicRecursiveASTVisitorBase< IsConst > | |
| virtual void | anchor () |
| virtual | ~DynamicRecursiveASTVisitorBase ()=default |
| virtual bool | TraverseAST (MaybeConst< ASTContext > &AST) |
| Recursively visits an entire AST, starting from the TranslationUnitDecl. | |
| virtual bool | TraverseAttr (MaybeConst< Attr > *At) |
| Recursively visit an attribute, by dispatching to Traverse*Attr() based on the argument's dynamic type. | |
| virtual bool | TraverseConstructorInitializer (MaybeConst< CXXCtorInitializer > *Init) |
| Recursively visit a constructor initializer. | |
| virtual bool | TraverseCXXBaseSpecifier (const CXXBaseSpecifier &Base) |
| Recursively visit a base specifier. | |
| virtual bool | TraverseDecl (MaybeConst< Decl > *D) |
| Recursively visit a declaration, by dispatching to Traverse*Decl() based on the argument's dynamic type. | |
| virtual bool | TraverseDeclarationNameInfo (DeclarationNameInfo NameInfo) |
| Recursively visit a name with its location information. | |
| virtual bool | TraverseLambdaCapture (MaybeConst< LambdaExpr > *LE, const LambdaCapture *C, MaybeConst< Expr > *Init) |
| Recursively visit a lambda capture. | |
| virtual bool | TraverseNestedNameSpecifier (MaybeConst< NestedNameSpecifier > *NNS) |
| Recursively visit a C++ nested-name-specifier. | |
| virtual bool | TraverseNestedNameSpecifierLoc (NestedNameSpecifierLoc NNS) |
| Recursively visit a C++ nested-name-specifier with location information. | |
| virtual bool | TraverseStmt (MaybeConst< Stmt > *S) |
| Recursively visit a statement or expression, by dispatching to Traverse*() based on the argument's dynamic type. | |
| virtual bool | TraverseTemplateArgument (const TemplateArgument &Arg) |
| Recursively visit a template argument and dispatch to the appropriate method for the argument type. | |
| virtual bool | TraverseTemplateArgumentLoc (const TemplateArgumentLoc &ArgLoc) |
| Recursively visit a template argument location and dispatch to the appropriate method for the argument type. | |
| bool | TraverseTemplateArguments (ArrayRef< TemplateArgument > Args) |
| Recursively visit a set of template arguments. | |
| virtual bool | TraverseTemplateName (TemplateName Template) |
| Recursively visit a template name and dispatch to the appropriate method. | |
| virtual bool | TraverseType (QualType T) |
| Recursively visit a type, by dispatching to Traverse*Type() based on the argument's getTypeClass() property. | |
| virtual bool | TraverseTypeLoc (TypeLoc TL) |
| Recursively visit a type with location, by dispatching to Traverse*TypeLoc() based on the argument type's getTypeClass() property. | |
| virtual bool | TraverseObjCProtocolLoc (ObjCProtocolLoc ProtocolLoc) |
| Recursively visit an Objective-C protocol reference with location information. | |
| virtual bool | TraverseTypeConstraint (const TypeConstraint *C) |
| Traverse a concept (requirement). | |
| virtual bool | TraverseConceptRequirement (MaybeConst< concepts::Requirement > *R) |
| virtual bool | TraverseConceptTypeRequirement (MaybeConst< concepts::TypeRequirement > *R) |
| virtual bool | TraverseConceptExprRequirement (MaybeConst< concepts::ExprRequirement > *R) |
| virtual bool | TraverseConceptNestedRequirement (MaybeConst< concepts::NestedRequirement > *R) |
| virtual bool | TraverseConceptReference (MaybeConst< ConceptReference > *CR) |
| virtual bool | VisitConceptReference (MaybeConst< ConceptReference > *CR) |
| virtual bool | VisitAttr (MaybeConst< Attr > *A) |
| Visit a node. | |
| virtual bool | VisitDecl (MaybeConst< Decl > *D) |
| virtual bool | VisitStmt (MaybeConst< Stmt > *S) |
| virtual bool | VisitType (MaybeConst< Type > *T) |
| virtual bool | VisitTypeLoc (TypeLoc TL) |
| bool | WalkUpFromDecl (MaybeConst< Decl > *D) |
| Walk up from a node. | |
| bool | WalkUpFromStmt (MaybeConst< Stmt > *S) |
| bool | WalkUpFromType (MaybeConst< Type > *T) |
| bool | WalkUpFromTypeLoc (TypeLoc TL) |
| virtual bool | dataTraverseStmtPre (MaybeConst< Stmt > *S) |
| Invoked before visiting a statement or expression via data recursion. | |
| virtual bool | dataTraverseStmtPost (MaybeConst< Stmt > *S) |
| Invoked after visiting a statement or expression via data recursion. | |
| virtual bool | dataTraverseNode (MaybeConst< Stmt > *S) |
Additional Inherited Members | |
| Public Attributes inherited from clang::DynamicRecursiveASTVisitorBase< IsConst > | |
| bool | ShouldVisitTemplateInstantiations = false |
| Whether this visitor should recurse into template instantiations. | |
| bool | ShouldWalkTypesOfTypeLocs = true |
| Whether this visitor should recurse into the types of TypeLocs. | |
| bool | ShouldVisitImplicitCode = false |
| Whether this visitor should recurse into implicit code, e.g. | |
| bool | ShouldVisitLambdaBody = true |
| Whether this visitor should recurse into lambda body. | |
| Protected Types inherited from clang::DynamicRecursiveASTVisitorBase< IsConst > | |
| template<typename ASTNode > | |
| using | MaybeConst = std::conditional_t< IsConst, const ASTNode, ASTNode > |
| Protected Member Functions inherited from clang::DynamicRecursiveASTVisitorBase< IsConst > | |
| DynamicRecursiveASTVisitorBase ()=default | |
| DynamicRecursiveASTVisitorBase (DynamicRecursiveASTVisitorBase &&)=default | |
| DynamicRecursiveASTVisitorBase (const DynamicRecursiveASTVisitorBase &)=default | |
| DynamicRecursiveASTVisitorBase & | operator= (DynamicRecursiveASTVisitorBase &&)=default |
| DynamicRecursiveASTVisitorBase & | operator= (const DynamicRecursiveASTVisitorBase &)=default |
Detailed Description
Specialization of RecursiveASTVisitor that visits those nodes that are relevant to the dataflow analysis; generally, these are the ones that also appear in the CFG.
To start the traversal, call TraverseStmt() on the statement or body of the function to analyze. Don't call TraverseDecl() on the function itself; this won't work as TraverseDecl() contains code to avoid traversing nested functions.
Constructor & Destructor Documentation
◆ AnalysisASTVisitor()
|
inline |
Definition at line 94 of file ASTOps.h.
References clang::DynamicRecursiveASTVisitorBase< IsConst >::ShouldVisitImplicitCode, and clang::DynamicRecursiveASTVisitorBase< IsConst >::ShouldVisitLambdaBody.
Member Function Documentation
◆ TraverseBindingDecl()
|
inlineoverride |
Definition at line 126 of file ASTOps.h.
References clang::BindingDecl::getHoldingVar(), and TraverseDecl().
◆ TraverseCXXTypeidExpr()
|
inlineoverride |
Definition at line 117 of file ASTOps.h.
References clang::CXXTypeidExpr::isPotentiallyEvaluated().
◆ TraverseDecl()
Definition at line 99 of file ASTOps.h.
References D, and clang::DynamicRecursiveASTVisitorBase< IsConst >::TraverseDecl().
Referenced by TraverseBindingDecl().
◆ TraverseDecltypeTypeLoc()
|
inlineoverride |
◆ TraverseTypeOfExprTypeLoc()
|
inlineoverride |
◆ TraverseUnaryExprOrTypeTraitExpr()
|
inlineoverride |
The documentation for this class was generated from the following file:
- include/clang/Analysis/FlowSensitive/ASTOps.h
