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