Searched refs:PlusInf (Results 1 – 1 of 1) sorted by relevance
916 const llvm::APSInt &PlusInf = BVF.getMaxValue(T); in applyAsWithinRange() local919 if (Left != PlusInf) { in applyAsWithinRange()928 assert(Right <= PlusInf); in applyAsWithinRange()929 State = CM.assumeInclusiveRange(State, *N, Right, PlusInf, false); in applyAsWithinRange()