clang::dataflow::AnalysisContext Struct Reference

Holds data structures required for running dataflow analysis. More...

Collaboration diagram for clang::dataflow::AnalysisContext:

Public Member Functions
	AnalysisContext (const ControlFlowContext &CFCtx, TypeErasedDataflowAnalysis &Analysis, const Environment &InitEnv, llvm::ArrayRef< std::optional< TypeErasedDataflowAnalysisState > > BlockStates)
	~AnalysisContext ()

Public Attributes
const ControlFlowContext &	CFCtx
	Contains the CFG being analyzed.
TypeErasedDataflowAnalysis &	Analysis
	The analysis to be run.
const Environment &	InitEnv
	Initial state to start the analysis.
Logger &	Log
llvm::ArrayRef< std::optional< TypeErasedDataflowAnalysisState > >	BlockStates
	Stores the state of a CFG block if it has been evaluated by the analysis.

Detailed Description

Holds data structures required for running dataflow analysis.

Definition at line 164 of file TypeErasedDataflowAnalysis.cpp.

Constructor & Destructor Documentation

AnalysisContext()

clang::dataflow::AnalysisContext::AnalysisContext ( const ControlFlowContext &  CFCtx, TypeErasedDataflowAnalysis &  Analysis, const Environment &  InitEnv, llvm::ArrayRef< std::optional< TypeErasedDataflowAnalysisState > >  BlockStates  )

inline

Definition at line 165 of file TypeErasedDataflowAnalysis.cpp.

References Analysis, clang::dataflow::Logger::beginAnalysis(), CFCtx, and Log.

~AnalysisContext()

clang::dataflow::AnalysisContext::~AnalysisContext ( )

inline

Definition at line 174 of file TypeErasedDataflowAnalysis.cpp.

References clang::dataflow::Logger::endAnalysis(), and Log.

Member Data Documentation

Analysis

TypeErasedDataflowAnalysis& clang::dataflow::AnalysisContext::Analysis

The analysis to be run.

Definition at line 179 of file TypeErasedDataflowAnalysis.cpp.

Referenced by AnalysisContext(), clang::dataflow::computeBlockInputState(), and clang::dataflow::transferCFGBlock().

BlockStates

llvm::ArrayRef<std::optional<TypeErasedDataflowAnalysisState> > clang::dataflow::AnalysisContext::BlockStates

Stores the state of a CFG block if it has been evaluated by the analysis.

The indices correspond to the block IDs.

Definition at line 185 of file TypeErasedDataflowAnalysis.cpp.

Referenced by clang::dataflow::builtinTransferStatement(), and clang::dataflow::computeBlockInputState().

CFCtx

const ControlFlowContext& clang::dataflow::AnalysisContext::CFCtx

Contains the CFG being analyzed.

Definition at line 177 of file TypeErasedDataflowAnalysis.cpp.

Referenced by AnalysisContext(), clang::dataflow::builtinTransferStatement(), and clang::dataflow::computeBlockInputState().

InitEnv

const Environment& clang::dataflow::AnalysisContext::InitEnv

Initial state to start the analysis.

Definition at line 181 of file TypeErasedDataflowAnalysis.cpp.

Referenced by clang::dataflow::computeBlockInputState().

Log

Logger& clang::dataflow::AnalysisContext::Log

Definition at line 182 of file TypeErasedDataflowAnalysis.cpp.

Referenced by AnalysisContext(), clang::dataflow::runTypeErasedDataflowAnalysis(), clang::dataflow::transferCFGBlock(), and ~AnalysisContext().

---

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

• lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp