Searched refs:dstPreStmt (Results 1 – 1 of 1) sorted by relevance
304 ExplodedNodeSet dstPreStmt; in VisitCast() local305 getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, CastE, *this); in VisitCast()308 for (ExplodedNodeSet::iterator I = dstPreStmt.begin(), E = dstPreStmt.end(); in VisitCast()325 StmtNodeBuilder Bldr(dstPreStmt, Dst, *currBldrCtx); in VisitCast()326 for (ExplodedNodeSet::iterator I = dstPreStmt.begin(), E = dstPreStmt.end(); in VisitCast()