Searched defs:CollectionS (Results 1 – 1 of 1) sorted by relevance
925 const SymbolRef *CountS = State->get<ContainerCountMap>(CollectionS); in assumeCollectionNonEmpty() argument 961 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); assumeCollectionNonEmpty() local