class StmtToEnvMap

Declaration

class StmtToEnvMap { /* full declaration omitted */ };

Description

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

Declared at: clang/include/clang/Analysis/FlowSensitive/Transfer.h:30

Method Overview

• public virtual const clang::dataflow::Environment * getEnvironment(const clang::Stmt & S) const
• public virtual ~StmtToEnvMap()

Methods

¶virtual 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/include/clang/Analysis/FlowSensitive/Transfer.h:37

Parameters

const clang::Stmt& S

¶virtual ~StmtToEnvMap()

Declared at: clang/include/clang/Analysis/FlowSensitive/Transfer.h:32