Searched refs:upperboundToCheck (Results 1 – 1 of 1) sorted by relevance
150 Optional<NonLoc> upperboundToCheck = upperbound.getAs<NonLoc>(); in checkLocation() local151 if (!upperboundToCheck) in checkLocation()156 state->assume(*upperboundToCheck); in checkLocation()