14#ifndef LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_TRANSFER_H
15#define LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_TRANSFER_H
Stmt - This represents one statement.
Holds the state of the program (store and heap) at a given program point.
Maps statements to the environments of basic blocks that contain them.
virtual ~StmtToEnvMap()=default
virtual const Environment * getEnvironment(const Stmt &S) const =0
Retrieves the environment of the basic block that contains S.
void transfer(const StmtToEnvMap &StmtToEnv, const Stmt &S, Environment &Env)
Evaluates S and updates Env accordingly.