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:

[legend]

Public Member Functions
	AnalysisASTVisitor ()
bool	TraverseDecl (Decl *D) override
bool	TraverseDecltypeTypeLoc (DecltypeTypeLoc, bool TraverseQualifier) override
bool	TraverseTypeOfExprTypeLoc (TypeOfExprTypeLoc, bool TraverseQualifier) override
bool	TraverseCXXTypeidExpr (CXXTypeidExpr *TIE) override
bool	TraverseUnaryExprOrTypeTraitExpr (UnaryExprOrTypeTraitExpr *) override
bool	TraverseBindingDecl (BindingDecl *BD) override
Public Member Functions inherited from clang::DynamicRecursiveASTVisitorBase< false >
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 (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, bool TraverseQualifier=true)
	Recursively visit a type, by dispatching to Traverse*Type() based on the argument's getTypeClass() property.
virtual bool	TraverseTypeLoc (TypeLoc TL, bool TraverseQualifier=true)
	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< false >
bool	ShouldVisitTemplateInstantiations
	Whether this visitor should recurse into template instantiations.
bool	ShouldWalkTypesOfTypeLocs
	Whether this visitor should recurse into the types of TypeLocs.
bool	ShouldVisitImplicitCode
	Whether this visitor should recurse into implicit code, e.g.
bool	ShouldVisitLambdaBody
	Whether this visitor should recurse into lambda body.
Protected Types inherited from clang::DynamicRecursiveASTVisitorBase< false >
using	MaybeConst
Protected Member Functions inherited from clang::DynamicRecursiveASTVisitorBase< false >
	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.

Definition at line 92 of file ASTOps.h.

Constructor & Destructor Documentation

◆ AnalysisASTVisitor()

clang::dataflow::AnalysisASTVisitor::AnalysisASTVisitor ( )

inline

Definition at line 94 of file ASTOps.h.

References clang::DynamicRecursiveASTVisitorBase< false >::ShouldVisitImplicitCode, and clang::DynamicRecursiveASTVisitorBase< false >::ShouldVisitLambdaBody.

Member Function Documentation

◆ TraverseBindingDecl()

bool clang::dataflow::AnalysisASTVisitor::TraverseBindingDecl ( BindingDecl * BD )

inlineoverride

Definition at line 132 of file ASTOps.h.

References clang::BindingDecl::getHoldingVar(), and TraverseDecl().

◆ TraverseCXXTypeidExpr()

bool clang::dataflow::AnalysisASTVisitor::TraverseCXXTypeidExpr ( CXXTypeidExpr * TIE )

inlineoverride

Definition at line 123 of file ASTOps.h.

References clang::CXXTypeidExpr::isPotentiallyEvaluated().

◆ TraverseDecl()

bool clang::dataflow::AnalysisASTVisitor::TraverseDecl ( Decl * D )

inlineoverride

Definition at line 99 of file ASTOps.h.

References clang::DynamicRecursiveASTVisitorBase< false >::TraverseDecl().

Referenced by TraverseBindingDecl().

◆ TraverseDecltypeTypeLoc()

bool clang::dataflow::AnalysisASTVisitor::TraverseDecltypeTypeLoc	(	DecltypeTypeLoc	,
		bool	TraverseQualifier )

inlineoverride

Definition at line 115 of file ASTOps.h.

◆ TraverseTypeOfExprTypeLoc()

bool clang::dataflow::AnalysisASTVisitor::TraverseTypeOfExprTypeLoc	(	TypeOfExprTypeLoc	,
		bool	TraverseQualifier )

inlineoverride

Definition at line 119 of file ASTOps.h.

◆ TraverseUnaryExprOrTypeTraitExpr()

bool clang::dataflow::AnalysisASTVisitor::TraverseUnaryExprOrTypeTraitExpr ( UnaryExprOrTypeTraitExpr * )

inlineoverride

Definition at line 128 of file ASTOps.h.

The documentation for this class was generated from the following file:

include/clang/Analysis/FlowSensitive/ASTOps.h

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ AnalysisASTVisitor()

Member Function Documentation

◆ TraverseBindingDecl()

◆ TraverseCXXTypeidExpr()

◆ TraverseDecl()

◆ TraverseDecltypeTypeLoc()

◆ TraverseTypeOfExprTypeLoc()

◆ TraverseUnaryExprOrTypeTraitExpr()