reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
916 if (!State || !CollectionS) 919 const SymbolRef *CountS = State->get<ContainerCountMap>(CollectionS); 921 const bool *KnownNonEmpty = State->get<ContainerNonEmptyMap>(CollectionS); 923 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption);