Searched refs:CountGreaterThanZero (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp963 Optional<DefinedSVal> CountGreaterThanZero = local
965 if (!CountGreaterThanZero) {
971 return State->assume(*CountGreaterThanZero, Assumption);

Completed in 263 milliseconds