Searched refs:CheckedSet (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 48 ExplodedNodeSet CheckedSet; in VisitBinaryOperator() local
50 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this); in VisitBinaryOperator()
53 for (ExplodedNodeSet::iterator it=CheckedSet.begin(), ei=CheckedSet.end(); in VisitBinaryOperator()
871 ExplodedNodeSet CheckedSet; in VisitUnaryExprOrTypeTraitExpr() local
872 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, Ex, *this); in VisitUnaryExprOrTypeTraitExpr()
875 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx); in VisitUnaryExprOrTypeTraitExpr()
879 for (ExplodedNode *N : CheckedSet) { in VisitUnaryExprOrTypeTraitExpr()
926 ExplodedNodeSet CheckedSet; in VisitUnaryOperator() local
927 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, U, *this); in VisitUnaryOperator()
930 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx); in VisitUnaryOperator()
[all …]
|
| H A D | ExprEngine.cpp | 1079 ExplodedNodeSet CheckedSet; in removeDead() local
1080 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, in removeDead()
1086 StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx); in removeDead()
1087 for (const auto I : CheckedSet) { in removeDead()
3358 ExplodedNodeSet CheckedSet; in VisitMemberExpr() local
3359 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, M, *this); in VisitMemberExpr()
3367 for (const auto I : CheckedSet) in VisitMemberExpr()
3370 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx); in VisitMemberExpr()
3373 for (const auto I : CheckedSet) { in VisitMemberExpr()
3591 ExplodedNodeSet CheckedSet; in evalBind() local
[all …]
|