Searched refs:dstPreStmt (Results 1 – 1 of 1) sorted by relevance
288 ExplodedNodeSet dstPreStmt; in VisitCast() local289 getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, CastE, *this); in VisitCast()293 for (ExplodedNodeSet::iterator I = dstPreStmt.begin(), E = dstPreStmt.end(); in VisitCast()310 StmtNodeBuilder Bldr(dstPreStmt, Dst, *currBldrCtx); in VisitCast()311 for (ExplodedNodeSet::iterator I = dstPreStmt.begin(), E = dstPreStmt.end(); in VisitCast()