Searched refs:CollectionVal (Results 1 – 1 of 1) sorted by relevance
870 SVal CollectionVal = C.getSVal(FCS->getCollection()); in checkCollectionNonNil() local872 CollectionVal.getAs<DefinedSVal>(); in checkCollectionNonNil()