Searched refs:dstLocation (Results 1 – 1 of 1) sorted by relevance
47 ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder, in populateObjCForDestinationSet() argument52 for (ExplodedNode *Pred : dstLocation) { in populateObjCForDestinationSet()131 for (ExplodedNode *dstLocation : DstLocation) { in VisitObjCForCollectionStmt()132 ExplodedNodeSet DstLocationSingleton{dstLocation}, Tmp; in VisitObjCForCollectionStmt()133 StmtNodeBuilder Bldr(dstLocation, Tmp, *currBldrCtx); in VisitObjCForCollectionStmt()