Cross Reference: /external/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

Lines Matching refs:CheckedSet

382     ExplodedNodeSet CheckedSet;
383     getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper,
386     // For each node in CheckedSet, generate CleanedNodes that have the
389     StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx);
391           I = CheckedSet.begin(), E = CheckedSet.end(); I != E; ++I) {
1813   ExplodedNodeSet CheckedSet;
1814   getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, M, *this);
1823     for (ExplodedNodeSet::iterator I = CheckedSet.begin(), E = CheckedSet.end();
1828     StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx);
1831     for (ExplodedNodeSet::iterator I = CheckedSet.begin(), E = CheckedSet.end();
2011   ExplodedNodeSet CheckedSet;
2012   getCheckerManager().runCheckersForBind(CheckedSet, Pred, location, Val,
2016   StmtNodeBuilder Bldr(CheckedSet, Dst, *currBldrCtx);
2030   for (ExplodedNodeSet::iterator I = CheckedSet.begin(), E = CheckedSet.end();