clang 18.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 ControlFlowContext &CFCtx, llvm::ArrayRef< std::optional< TypeErasedDataflowAnalysisState > > BlockToState)
 
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 ControlFlowContext CFCtx,
llvm::ArrayRef< std::optional< TypeErasedDataflowAnalysisState > >  BlockToState 
)
inline

Definition at line 28 of file Transfer.h.

References CFCtx.

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::ControlFlowContext::getStmtToBlock(), clang::if(), clang::dataflow::ignoreCFGOmittedNodes(), and clang::dataflow::ControlFlowContext::isBlockReachable().


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