Searched refs:DstLocation (Results 1 – 1 of 1) sorted by relevance
128 ExplodedNodeSet DstLocation; // states in `DstLocation` may differ from `Pred` in VisitObjCForCollectionStmt() local129 evalLocation(DstLocation, S, elem, Pred, state, elementV, false); in VisitObjCForCollectionStmt()131 for (ExplodedNode *dstLocation : DstLocation) { in VisitObjCForCollectionStmt()