Searched refs:collectionV (Results 1 – 1 of 1) sorted by relevance
114 SVal collectionV = state->getSVal(collection, Pred->getLocationContext()); in VisitObjCForCollectionStmt() local125 bool isContainerNull = state->isNull(collectionV).isConstrainedTrue(); in VisitObjCForCollectionStmt()