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