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

/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp202 ProgramStateRef state_exceedsUpperBound, state_withinUpperBound; local
203 std::tie(state_exceedsUpperBound, state_withinUpperBound) =
207 if (state_exceedsUpperBound && state_withinUpperBound) {
217 assert(!state_withinUpperBound);
222 assert(state_withinUpperBound);
223 state = state_withinUpperBound;

Completed in 61 milliseconds