Searched refs:dstPreStmt (Results 1 – 1 of 1) sorted by relevance
252 ExplodedNodeSet dstPreStmt; in VisitCast() local253 getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, CastE, *this); in VisitCast()256 for (ExplodedNodeSet::iterator I = dstPreStmt.begin(), E = dstPreStmt.end(); in VisitCast()273 StmtNodeBuilder Bldr(dstPreStmt, Dst, *currBldrCtx); in VisitCast()274 for (ExplodedNodeSet::iterator I = dstPreStmt.begin(), E = dstPreStmt.end(); in VisitCast()