Searched refs:CountGreaterThanZero (Results 1 – 1 of 1) sorted by relevance
963 Optional<DefinedSVal> CountGreaterThanZero = in assumeCollectionNonEmpty() local965 if (!CountGreaterThanZero) { in assumeCollectionNonEmpty()971 return State->assume(*CountGreaterThanZero, Assumption); in assumeCollectionNonEmpty()