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