Lines Matching defs:EvalSet

3233   ExplodedNodeSet EvalSet;
3234   StmtNodeBuilder Bldr(CheckerPreStmt, EvalSet, *currBldrCtx);
3321   getCheckerManager().runCheckersForPostStmt(Dst, EvalSet, Ex, *this);
3334   ExplodedNodeSet EvalSet;
3335   StmtNodeBuilder Bldr(CheckerPreStmt, EvalSet, *currBldrCtx);
3372   getCheckerManager().runCheckersForPostStmt(Dst, EvalSet, A, *this);
3382   ExplodedNodeSet EvalSet;
3389       VisitCommonDeclRefExpr(M, Member, I, EvalSet);
3391     StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx);
3461   getCheckerManager().runCheckersForPostStmt(Dst, EvalSet, M, *this);