clang
15.0.0git
|
Maps statements to the environments of basic blocks that contain them. More...
#include "clang/Analysis/FlowSensitive/Transfer.h"
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... | |
Maps statements to the environments of basic blocks that contain them.
Definition at line 24 of file Transfer.h.
|
virtualdefault |
|
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.