Searched refs:upperboundToCheck (Results 1 – 1 of 1) sorted by relevance
147 NonLoc *upperboundToCheck = dyn_cast<NonLoc>(&upperbound); in checkLocation() local148 if (!upperboundToCheck) in checkLocation()153 state->assume(*upperboundToCheck); in checkLocation()