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