clang::dataflow::StmtToEnvMap Class Reference

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

#include "clang/Analysis/FlowSensitive/Transfer.h"

Inheritance diagram for clang::dataflow::StmtToEnvMap:

Public Member Functions
virtual	~StmtToEnvMap ()=default
virtual const Environment *	getEnvironment (const Stmt &S) const =0
	Returns the environment of the basic block that contains S or nullptr if there isn't one. More...

Detailed Description

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

Definition at line 24 of file Transfer.h.

Constructor & Destructor Documentation

~StmtToEnvMap()

virtual clang::dataflow::StmtToEnvMap::~StmtToEnvMap ( )

virtualdefault

Member Function Documentation

getEnvironment()

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

pure virtual

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.

Implemented in clang::dataflow::StmtToEnvMapImpl.

---

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

• include/clang/Analysis/FlowSensitive/Transfer.h