Searched refs:state_withinLowerBound (Results 1 – 1 of 1) sorted by relevance
162 ProgramStateRef state_precedesLowerBound, state_withinLowerBound; in checkLocation() local163 std::tie(state_precedesLowerBound, state_withinLowerBound) = in checkLocation()167 if (state_precedesLowerBound && !state_withinLowerBound) { in checkLocation()173 assert(state_withinLowerBound); in checkLocation()174 state = state_withinLowerBound; in checkLocation()