Searched refs:DstLocationSingleton (Results 1 – 1 of 1) sorted by relevance
132 ExplodedNodeSet DstLocationSingleton{dstLocation}, Tmp; in VisitObjCForCollectionStmt() local136 populateObjCForDestinationSet(DstLocationSingleton, svalBuilder, S, in VisitObjCForCollectionStmt()141 populateObjCForDestinationSet(DstLocationSingleton, svalBuilder, S, elemRef, in VisitObjCForCollectionStmt()