Searched refs:CountGreaterThanZero (Results 1 – 1 of 1) sorted by relevance
934 std::optional<DefinedSVal> CountGreaterThanZero = in assumeCollectionNonEmpty() local936 if (!CountGreaterThanZero) { in assumeCollectionNonEmpty()942 return State->assume(*CountGreaterThanZero, Assumption); in assumeCollectionNonEmpty()