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