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