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

/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp159 Optional<NonLoc> lowerBoundToCheck = lowerBound.getAs<NonLoc>(); local
160 if (!lowerBoundToCheck)
165 state->assume(*lowerBoundToCheck);

Completed in 82 milliseconds