Searched refs:CountGreaterThanZeroVal (Results 1 – 1 of 1) sorted by relevance
958 SVal CountGreaterThanZeroVal = in assumeCollectionNonEmpty() local964 CountGreaterThanZeroVal.getAs<DefinedSVal>(); in assumeCollectionNonEmpty()