Home
last modified time | relevance | path

Searched refs:CheckedSet (Results 1 – 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DExprEngineC.cpp30 ExplodedNodeSet CheckedSet; in VisitBinaryOperator() local
32 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this); in VisitBinaryOperator()
35 for (ExplodedNodeSet::iterator it=CheckedSet.begin(), ei=CheckedSet.end(); in VisitBinaryOperator()
754 ExplodedNodeSet CheckedSet; in VisitUnaryExprOrTypeTraitExpr() local
755 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, Ex, *this); in VisitUnaryExprOrTypeTraitExpr()
758 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx); in VisitUnaryExprOrTypeTraitExpr()
762 for (ExplodedNodeSet::iterator I = CheckedSet.begin(), E = CheckedSet.end(); in VisitUnaryExprOrTypeTraitExpr()
796 ExplodedNodeSet CheckedSet; in VisitUnaryOperator() local
797 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, U, *this); in VisitUnaryOperator()
800 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx); in VisitUnaryOperator()
[all …]
DExprEngine.cpp393 ExplodedNodeSet CheckedSet; in removeDead() local
394 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, in removeDead()
400 StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx); in removeDead()
402 I = CheckedSet.begin(), E = CheckedSet.end(); I != E; ++I) { in removeDead()
2002 ExplodedNodeSet CheckedSet; in VisitMemberExpr() local
2003 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, M, *this); in VisitMemberExpr()
2012 for (ExplodedNodeSet::iterator I = CheckedSet.begin(), E = CheckedSet.end(); in VisitMemberExpr()
2017 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx); in VisitMemberExpr()
2020 for (ExplodedNodeSet::iterator I = CheckedSet.begin(), E = CheckedSet.end(); in VisitMemberExpr()
2239 ExplodedNodeSet CheckedSet; in evalBind() local
[all …]