Searched defs:CollectionS (Results 1 – 1 of 1) sorted by relevance
915 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty()951 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); in assumeCollectionNonEmpty() local