Searched refs:state_withinUpperBound (Results 1 – 1 of 1) sorted by relevance
154 ProgramStateRef state_exceedsUpperBound, state_withinUpperBound; in checkLocation() local155 std::tie(state_exceedsUpperBound, state_withinUpperBound) = in checkLocation()159 if (state_exceedsUpperBound && state_withinUpperBound) { in checkLocation()167 assert(!state_withinUpperBound); in checkLocation()172 assert(state_withinUpperBound); in checkLocation()173 state = state_withinUpperBound; in checkLocation()