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