clang::dataflow::StmtToEnvMapImpl Class Reference

Inheritance diagram for clang::dataflow::StmtToEnvMapImpl:

Collaboration diagram for clang::dataflow::StmtToEnvMapImpl:

Public Member Functions
	StmtToEnvMapImpl (const ControlFlowContext &CFCtx, llvm::ArrayRef< std::optional< TypeErasedDataflowAnalysisState > > BlockToState)
const Environment *	getEnvironment (const Stmt &S) const override
	Returns the environment of the basic block that contains S or nullptr if there isn't one.
Public Member Functions inherited from clang::dataflow::StmtToEnvMap
virtual	~StmtToEnvMap ()=default
virtual const Environment *	getEnvironment (const Stmt &S) const =0
	Returns the environment of the basic block that contains S or nullptr if there isn't one.

Detailed Description

Definition at line 43 of file TypeErasedDataflowAnalysis.cpp.

Constructor & Destructor Documentation

StmtToEnvMapImpl()

clang::dataflow::StmtToEnvMapImpl::StmtToEnvMapImpl ( const ControlFlowContext &  CFCtx, llvm::ArrayRef< std::optional< TypeErasedDataflowAnalysisState > >  BlockToState  )

inline

Definition at line 45 of file TypeErasedDataflowAnalysis.cpp.

Member Function Documentation

getEnvironment()

const Environment * clang::dataflow::StmtToEnvMapImpl::getEnvironment ( const Stmt &  S ) const

inlineoverridevirtual

Returns the environment of the basic block that contains S or nullptr if there isn't one.

FIXME: Ensure that the result can't be null and return a const reference.

Implements clang::dataflow::StmtToEnvMap.

Definition at line 51 of file TypeErasedDataflowAnalysis.cpp.

References clang::dataflow::ControlFlowContext::getStmtToBlock(), and clang::dataflow::ignoreCFGOmittedNodes().

---

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

• lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp