clang::CFGElement Class Reference

Represents a top-level expression in a basic block. More...

#include "clang/Analysis/CFG.h"

Inheritance diagram for clang::CFGElement:

Public Types

enum

Kind {   Initializer , NewAllocator , LoopExit , FullExprCleanup ,   ScopeBegin , ScopeEnd , LifetimeEnds , SCOPE_BEGIN = ScopeBegin ,   SCOPE_END = LifetimeEnds , Statement , Constructor , CXXRecordTypedCall ,   STMT_BEGIN = Statement , STMT_END = CXXRecordTypedCall , AutomaticObjectDtor , DeleteDtor ,   BaseDtor , MemberDtor , TemporaryDtor , DTOR_BEGIN = AutomaticObjectDtor ,   DTOR_END = TemporaryDtor , CleanupFunction }

Public Member Functions
template<typename T>
T	castAs () const
	Convert to the specified CFGElement type, asserting that this CFGElement is of the desired type.
template<typename T>
std::optional< T >	getAs () const
	Convert to the specified CFGElement type, returning std::nullopt if this CFGElement is not of the desired type.
Kind	getKind () const
void	dumpToStream (llvm::raw_ostream &OS, bool TerminateWithNewLine=true) const
void	dump () const

Protected Member Functions
	CFGElement (Kind kind, const void *Ptr1, const void *Ptr2=nullptr)
	CFGElement ()=default

Protected Attributes
llvm::PointerIntPair< const void *, 2 >	Data1
llvm::PointerIntPair< const void *, 2 >	Data2

Detailed Description

Represents a top-level expression in a basic block.

Definition at line 55 of file CFG.h.

Member Enumeration Documentation

Kind

enum clang::CFGElement::Kind

Enumerator
Initializer
NewAllocator
LoopExit
FullExprCleanup
ScopeBegin
ScopeEnd
LifetimeEnds
SCOPE_BEGIN
SCOPE_END
Statement
Constructor
CXXRecordTypedCall
STMT_BEGIN
STMT_END
AutomaticObjectDtor
DeleteDtor
BaseDtor
MemberDtor
TemporaryDtor
DTOR_BEGIN
DTOR_END
CleanupFunction

Definition at line 57 of file CFG.h.

Constructor & Destructor Documentation

CFGElement() [1/2]

clang::CFGElement::CFGElement ( Kind kind, const void * Ptr1, const void * Ptr2 = nullptr )

inlineprotected

Definition at line 91 of file CFG.h.

References Data1, Data2, getKind(), and kind.

Referenced by castAs(), and getAs().

CFGElement() [2/2]

clang::CFGElement::CFGElement ( )

protecteddefault

Member Function Documentation

castAs()

template<typename T>

T clang::CFGElement::castAs ( ) const

inline

Convert to the specified CFGElement type, asserting that this CFGElement is of the desired type.

Definition at line 103 of file CFG.h.

References CFGElement().

Referenced by clang::dataflow::builtinTransfer(), CheckFallThrough(), clang::ento::CoreEngine::enqueueStmtNode(), clang::CFGImplicitDtor::getDestructorDecl(), getLocationForCaller(), print_elem(), clang::ento::ExprEngine::processCFGElement(), clang::ento::ExprEngine::ProcessImplicitDtor(), clang::consumed::ConsumedAnalyzer::run(), clang::ento::ExprEngine::VisitLogicalExpr(), and clang::threadSafety::CFGWalker::walk().

dump()

void clang::CFGElement::dump ( ) const

inline

Definition at line 132 of file CFG.h.

References dumpToStream().

dumpToStream()

void CFGElement::dumpToStream	(	llvm::raw_ostream &	OS,
		bool	TerminateWithNewLine = true ) const

Definition at line 5987 of file CFG.cpp.

References print_elem().

Referenced by dump().

getAs()

template<typename T>

std::optional< T > clang::CFGElement::getAs ( ) const

inline

Convert to the specified CFGElement type, returning std::nullopt if this CFGElement is not of the desired type.

Definition at line 113 of file CFG.h.

References CFGElement().

Referenced by CheckFallThrough(), clang::ento::CallEventManager::getCaller(), clang::ento::CallEvent::getConstructionContext(), clang::CFGBlock::getLastCondition(), isBuiltinAssumeFalse(), isImmediateSinkBlock(), print_elem(), clang::lifetimes::internal::FactsGenerator::run(), and clang::dataflow::ChromiumCheckModel::transfer().

getKind()

Kind clang::CFGElement::getKind ( ) const

inline

Definition at line 122 of file CFG.h.

References Data1, and Data2.

Referenced by clang::dataflow::builtinTransfer(), CFGElement(), print_elem(), clang::ento::ExprEngine::processCFGElement(), and clang::ento::ExprEngine::ProcessImplicitDtor().

Member Data Documentation

Data1

llvm::PointerIntPair<const void *, 2> clang::CFGElement::Data1

protected

Definition at line 88 of file CFG.h.

Referenced by CFGElement(), clang::CFGNewAllocator::getAllocatorExpr(), clang::CFGBaseDtor::getBaseSpecifier(), clang::CFGTemporaryDtor::getBindTemporaryExpr(), clang::CFGDeleteDtor::getCXXRecordDecl(), clang::CFGFullExprCleanup::getExpiringMTEs(), clang::CFGMemberDtor::getFieldDecl(), clang::CFGInitializer::getInitializer(), getKind(), clang::CFGLoopExit::getLoopStmt(), clang::CFGStmt::getStmt(), clang::CFGScopeMarker::getTriggerStmt(), clang::CFGAutomaticObjDtor::getVarDecl(), and clang::CFGCleanupFunction::getVarDecl().

Data2

llvm::PointerIntPair<const void *, 2> clang::CFGElement::Data2

protected

Definition at line 89 of file CFG.h.

Referenced by clang::CFGConstructor::CFGConstructor(), clang::CFGCXXRecordTypedCall::CFGCXXRecordTypedCall(), CFGElement(), clang::CFGFullExprCleanup::getCleanupExpr(), clang::CFGConstructor::getConstructionContext(), clang::CFGCXXRecordTypedCall::getConstructionContext(), clang::CFGDeleteDtor::getDeleteExpr(), getKind(), clang::CFGAutomaticObjDtor::getTriggerStmt(), clang::CFGLifetimeEnds::getVarDecl(), clang::CFGScopeBegin::getVarDecl(), and clang::CFGScopeEnd::getVarDecl().

---

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

• include/clang/Analysis/CFG.h
• lib/Analysis/CFG.cpp