Searched refs:dstPreStmt (Results 1 – 1 of 1) sorted by relevance
285 ExplodedNodeSet dstPreStmt; in VisitCast() local286 getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, CastE, *this); in VisitCast()290 for (ExplodedNode *subExprNode : dstPreStmt) { in VisitCast()305 StmtNodeBuilder Bldr(dstPreStmt, Dst, *currBldrCtx); in VisitCast()306 for (ExplodedNode *Pred : dstPreStmt) { in VisitCast()