Searched refs:StmtToEnv (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | TypeErasedDataflowAnalysis.cpp | 76 TerminatorVisitor(const StmtToEnvMap &StmtToEnv, Environment &Env, in TerminatorVisitor() argument
78 : StmtToEnv(StmtToEnv), Env(Env), BlockSuccIdx(BlockSuccIdx), in TerminatorVisitor()
122 transfer(StmtToEnv, Cond, Env, TransferOpts); in extendFlowCondition()
151 const StmtToEnvMap &StmtToEnv; member in clang::dataflow::TerminatorVisitor
220 const StmtToEnvMapImpl StmtToEnv(CFCtx, BlockStates); in computeBlockInputState() local
221 TerminatorVisitor(StmtToEnv, PredState.Env, in computeBlockInputState()
|
| H A D | Transfer.cpp | 51 TransferVisitor(const StmtToEnvMap &StmtToEnv, Environment &Env, in TransferVisitor() argument
53 : StmtToEnv(StmtToEnv), Env(Env), Options(Options) {} in TransferVisitor()
642 if (const Environment *SubExprEnv = StmtToEnv.getEnvironment(SubExpr)) { in getLogicOperatorSubExprValue()
666 const StmtToEnvMap &StmtToEnv; member in clang::dataflow::TransferVisitor
671 void transfer(const StmtToEnvMap &StmtToEnv, const Stmt &S, Environment &Env, in transfer() argument
673 TransferVisitor(StmtToEnv, Env, Options).Visit(&S); in transfer()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | Transfer.h | 45 void transfer(const StmtToEnvMap &StmtToEnv, const Stmt &S, Environment &Env,
|