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

/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp159 Optional<NonLoc> lowerBoundToCheck = lowerBound.getAs<NonLoc>(); local
160 if (!lowerBoundToCheck)
165 state->assume(*lowerBoundToCheck);

Completed in 91 milliseconds