Searched refs:MaxV (Results 1 – 2 of 2) sorted by relevance
274 const llvm::APSInt *MaxV = SVB.getMaxValue(State, Value); in isNegative() local275 return MaxV && MaxV->isNegative(); in isNegative()
584 auto MaxV = max_if(B.begin(), B.end(), isVector, LT); in EnforceSmallerThan() local585 if (MaxV != B.end()) in EnforceSmallerThan()587 berase_if(S, std::bind(SameKindLE, *MaxV, std::placeholders::_1)); in EnforceSmallerThan()