Searched refs:CheckerPreStmt (Results 1 – 1 of 1) sorted by relevance
2617 ExplodedNodeSet CheckerPreStmt; in VisitArraySubscriptExpr() local2618 getCheckerManager().runCheckersForPreStmt(CheckerPreStmt, Pred, A, *this); in VisitArraySubscriptExpr()2621 StmtNodeBuilder Bldr(CheckerPreStmt, EvalSet, *currBldrCtx); in VisitArraySubscriptExpr()2631 for (auto *Node : CheckerPreStmt) { in VisitArraySubscriptExpr()