class StmtToEnvMapImpl

Declaration

class StmtToEnvMapImpl : public StmtToEnvMap { /* full declaration omitted */ };

Description

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

Declared at: clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp:41

Inherits from: StmtToEnvMap

Member Variables

private const clang::dataflow::ControlFlowContext& CFCtx

private llvm::ArrayRef<llvm::Optional< TypeErasedDataflowAnalysisState>> BlockToState

Method Overview

• public StmtToEnvMapImpl(const clang::dataflow::ControlFlowContext & CFCtx, llvm::ArrayRef<llvm::Optional<TypeErasedDataflowAnalysisState>> BlockToState)
• public const clang::dataflow::Environment * getEnvironment(const clang::Stmt & S) const

Inherited from StmtToEnvMap:

• public getEnvironment

Methods

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

Declared at: clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp:43

Parameters

const clang::dataflow::ControlFlowContext& CFCtx

llvm::ArrayRef<llvm::Optional< TypeErasedDataflowAnalysisState>> BlockToState

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

Description

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.

Declared at: clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp:49

Parameters

const clang::Stmt& S