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

/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp198 Optional<NonLoc> upperboundToCheck = upperbound.getAs<NonLoc>(); local
199 if (!upperboundToCheck)
204 state->assume(*upperboundToCheck);

Completed in 71 milliseconds