Searched refs:state_withinLowerBound (Results 1 – 1 of 1) sorted by relevance
119 const GRState *state_precedesLowerBound, *state_withinLowerBound; in checkLocation() local120 llvm::tie(state_precedesLowerBound, state_withinLowerBound) = in checkLocation()124 if (state_precedesLowerBound && !state_withinLowerBound) { in checkLocation()130 assert(state_withinLowerBound); in checkLocation()131 state = state_withinLowerBound; in checkLocation()