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