clang 19.0.0git
Public Member Functions | List of all members
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 EnvironmentgetEnvironment (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 40 of file Transfer.cpp.

References clang::dataflow::TypeErasedDataflowAnalysisState::Env, clang::dataflow::AdornedCFG::getStmtToBlock(), clang::dataflow::ignoreCFGOmittedNodes(), and clang::dataflow::AdornedCFG::isBlockReachable().


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