clang::CFGStmt Class Reference

#include "clang/Analysis/CFG.h"

Inheritance diagram for clang::CFGStmt:

Public Member Functions
	CFGStmt (const Stmt *S, Kind K=Statement)
const Stmt *	getStmt () const
Public Member Functions inherited from clang::CFGElement
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
	CFGStmt ()=default
Protected Member Functions inherited from clang::CFGElement
	CFGElement (Kind kind, const void *Ptr1, const void *Ptr2=nullptr)
	CFGElement ()=default

Friends
class	CFGElement

Additional Inherited Members
Public Types inherited from clang::CFGElement
enum	Kind {   Initializer , ScopeBegin , ScopeEnd , NewAllocator ,   LifetimeEnds , LoopExit , Statement , Constructor ,   CXXRecordTypedCall , STMT_BEGIN = Statement , STMT_END = CXXRecordTypedCall , AutomaticObjectDtor ,   DeleteDtor , BaseDtor , MemberDtor , TemporaryDtor ,   DTOR_BEGIN = AutomaticObjectDtor , DTOR_END = TemporaryDtor , CleanupFunction }
Protected Attributes inherited from clang::CFGElement
llvm::PointerIntPair< void *, 2 >	Data1
llvm::PointerIntPair< void *, 2 >	Data2

Detailed Description

Definition at line 133 of file CFG.h.

Constructor & Destructor Documentation

CFGStmt() [1/2]

clang::CFGStmt::CFGStmt ( const Stmt * S, Kind K = Statement )

inlineexplicit

Definition at line 135 of file CFG.h.

References CFGElement, and clang::CFGElement::Statement.

Referenced by clang::CFGConstructor::CFGConstructor(), and clang::CFGCXXRecordTypedCall::CFGCXXRecordTypedCall().

CFGStmt() [2/2]

clang::CFGStmt::CFGStmt ( )

protecteddefault

Member Function Documentation

getStmt()

const Stmt * clang::CFGStmt::getStmt ( ) const

inline

Definition at line 139 of file CFG.h.

References clang::CFGElement::Data1.

Referenced by clang::dataflow::CFGMatchSwitchBuilder< State, Result >::Build(), clang::dataflow::builtinTransferStatement(), CheckFallThrough(), clang::ento::SValBuilder::conjureSymbolVal(), clang::ento::CoreEngine::enqueueStmtNode(), getLocationForCaller(), hasRecursiveCallInPath(), print_elem(), clang::ento::ExprEngine::processCFGElement(), clang::consumed::ConsumedAnalyzer::run(), clang::ento::ExprEngine::VisitLogicalExpr(), and clang::threadSafety::CFGWalker::walk().

Friends And Related Symbol Documentation

CFGElement

friend class CFGElement

friend

Definition at line 144 of file CFG.h.

References CFGElement, clang::CFGElement::STMT_BEGIN, and clang::CFGElement::STMT_END.

Referenced by CFGElement, and CFGStmt().

---

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

• include/clang/Analysis/CFG.h