Searched refs:MinusInf (Results 1 – 1 of 1) sorted by relevance
748 const llvm::APSInt &MinusInf = BVF.getMinValue(T); in applyAsWithinRange() local753 assert(MinusInf <= Left); in applyAsWithinRange()754 State = CM.assumeInclusiveRange(State, *N, MinusInf, Left, false); in applyAsWithinRange()760 if (Right != MinusInf) { in applyAsWithinRange()