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

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp933 Optional<DefinedSVal> CountGreaterThanZero = local
935 if (!CountGreaterThanZero) {
941 return State->assume(*CountGreaterThanZero, Assumption);

Completed in 127 milliseconds