Searched refs:dstPreStmt (Results 1 – 1 of 1) sorted by relevance
301 ExplodedNodeSet dstPreStmt; in VisitCast() local302 getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, CastE, *this); in VisitCast()305 for (ExplodedNodeSet::iterator I = dstPreStmt.begin(), E = dstPreStmt.end(); in VisitCast()322 StmtNodeBuilder Bldr(dstPreStmt, Dst, *currBldrCtx); in VisitCast()323 for (ExplodedNodeSet::iterator I = dstPreStmt.begin(), E = dstPreStmt.end(); in VisitCast()