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