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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp154 ProgramStateRef state_exceedsUpperBound, state_withinUpperBound; local
155 std::tie(state_exceedsUpperBound, state_withinUpperBound) =
159 if (state_exceedsUpperBound && state_withinUpperBound) {
167 assert(!state_withinUpperBound);
172 assert(state_withinUpperBound);
173 state = state_withinUpperBound;

Completed in 71 milliseconds