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