Searched refs:DstEvalLoc (Results 1 – 1 of 1) sorted by relevance
302 ExplodedNodeSet DstEvalLoc; in VisitCast() local308 evalLocation(DstEvalLoc, CastE, Ex, Node, State, State->getSVal(Ex, LCtx), in VisitCast()313 StmtNodeBuilder Bldr(DstEvalLoc, Dst, *currBldrCtx); in VisitCast()315 for (ExplodedNode *Node : DstEvalLoc) { in VisitCast()