Searched refs:state_withinLowerBound (Results 1 – 1 of 1) sorted by relevance
122 ProgramStateRef state_precedesLowerBound, state_withinLowerBound; in checkLocation() local123 std::tie(state_precedesLowerBound, state_withinLowerBound) = in checkLocation()127 if (state_precedesLowerBound && !state_withinLowerBound) { in checkLocation()133 assert(state_withinLowerBound); in checkLocation()134 state = state_withinLowerBound; in checkLocation()