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