Searched refs:DstPreStmt (Results 1 – 1 of 1) sorted by relevance
289 ExplodedNodeSet DstPreStmt; in VisitCast() local290 getCheckerManager().runCheckersForPreStmt(DstPreStmt, Pred, CastE, *this); in VisitCast()293 for (ExplodedNode *Node : DstPreStmt) { in VisitCast()305 for (ExplodedNode *Node : DstPreStmt) { in VisitCast()341 StmtNodeBuilder Bldr(DstPreStmt, Dst, *currBldrCtx); in VisitCast()342 for (ExplodedNode *Pred : DstPreStmt) { in VisitCast()