Searched refs:lowerBoundToCheck (Results 1 – 1 of 1) sorted by relevance
115 NonLoc *lowerBoundToCheck = dyn_cast<NonLoc>(&lowerBound); in checkLocation() local116 if (!lowerBoundToCheck) in checkLocation()121 state->assume(*lowerBoundToCheck); in checkLocation()