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