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