Searched refs:StmtToEnv (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | Transfer.cpp | 144 TransferVisitor(const StmtToEnvMap &StmtToEnv, Environment &Env, in TransferVisitor() argument
146 : StmtToEnv(StmtToEnv), Env(Env), Model(Model) {} in TransferVisitor()
697 const Environment *TrueEnv = StmtToEnv.getEnvironment(*S->getTrueExpr()); in VisitConditionalOperator()
698 const Environment *FalseEnv = StmtToEnv.getEnvironment(*S->getFalseExpr()); in VisitConditionalOperator()
831 if (const Environment *SubExprEnv = StmtToEnv.getEnvironment(SubExpr)) in getLogicOperatorSubExprValue()
889 const StmtToEnvMap &StmtToEnv; member in clang::dataflow::__anoneae148b30111::TransferVisitor
896 void transfer(const StmtToEnvMap &StmtToEnv, const Stmt &S, Environment &Env, in transfer() argument
898 TransferVisitor(StmtToEnv, Env, Model).Visit(&S); in transfer()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | Transfer.h | 56 void transfer(const StmtToEnvMap &StmtToEnv, const Stmt &S, Environment &Env,
|