Searched refs:KnownNonEmpty (Results 1 – 1 of 1) sorted by relevance
927 const bool *KnownNonEmpty = State->get<ContainerNonEmptyMap>(CollectionS); in assumeCollectionNonEmpty() local928 if (!KnownNonEmpty) in assumeCollectionNonEmpty()930 return (Assumption == *KnownNonEmpty) ? State : nullptr; in assumeCollectionNonEmpty()