clang::dataflow::StmtToEnvMap Class Reference

Maps statements to the environments of basic blocks that contain them. More...

#include "clang/Analysis/FlowSensitive/Transfer.h"

Public Member Functions
	StmtToEnvMap (const AdornedCFG &ACFG, llvm::ArrayRef< std::optional< TypeErasedDataflowAnalysisState > > BlockToState, unsigned CurBlockID, const TypeErasedDataflowAnalysisState &CurState)
const Environment *	getEnvironment (const Stmt &S) const
	Returns the environment of the basic block that contains S.

Detailed Description

Maps statements to the environments of basic blocks that contain them.

Definition at line 26 of file Transfer.h.

Constructor & Destructor Documentation

StmtToEnvMap()

clang::dataflow::StmtToEnvMap::StmtToEnvMap ( const AdornedCFG &  ACFG, llvm::ArrayRef< std::optional< TypeErasedDataflowAnalysisState > >  BlockToState, unsigned  CurBlockID, const TypeErasedDataflowAnalysisState &  CurState  )

inline

Definition at line 32 of file Transfer.h.

Member Function Documentation

getEnvironment()

const Environment * clang::dataflow::StmtToEnvMap::getEnvironment

(

const Stmt &

S

)

const

Returns the environment of the basic block that contains S.

The result is guaranteed never to be null.

Definition at line 42 of file Transfer.cpp.

References clang::Block, clang::dataflow::AdornedCFG::blockForStmt(), clang::dataflow::TypeErasedDataflowAnalysisState::Env, and clang::dataflow::AdornedCFG::isBlockReachable().

---

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

• include/clang/Analysis/FlowSensitive/Transfer.h
• lib/Analysis/FlowSensitive/Transfer.cpp