Searched refs:CollectionS (Results 1 – 1 of 1) sorted by relevance
921 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty() argument922 if (!State || !CollectionS) in assumeCollectionNonEmpty()925 const SymbolRef *CountS = State->get<ContainerCountMap>(CollectionS); in assumeCollectionNonEmpty()927 const bool *KnownNonEmpty = State->get<ContainerNonEmptyMap>(CollectionS); in assumeCollectionNonEmpty()929 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption); in assumeCollectionNonEmpty()957 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); in assumeCollectionNonEmpty() local958 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption); in assumeCollectionNonEmpty()