Lines Matching defs:CheckedSet
1077 ExplodedNodeSet CheckedSet;
1078 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper,
1081 // For each node in CheckedSet, generate CleanedNodes that have the
1084 StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx);
1085 for (const auto I : CheckedSet) {
3379 ExplodedNodeSet CheckedSet;
3380 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, M, *this);
3388 for (const auto I : CheckedSet)
3391 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx);
3394 for (const auto I : CheckedSet) {
3612 ExplodedNodeSet CheckedSet;
3613 getCheckerManager().runCheckersForBind(CheckedSet, Pred, location, Val,
3616 StmtNodeBuilder Bldr(CheckedSet, Dst, *currBldrCtx);
3629 for (const auto PredI : CheckedSet) {