Lines Matching refs:Lower
108 const llvm::APSInt &Lower,
122 if (i->To() < Lower) {
129 if (i->Includes(Lower)) {
131 newRanges = F.add(newRanges, Range(BV.getValue(Lower),
135 newRanges = F.add(newRanges, Range(BV.getValue(Lower), i->To()));
148 // the closed range [Lower, Upper]. Unlike the Range type, this range uses
150 // overflow. Thus, if the Lower bound is greater than the Upper bound, the
152 // intersection with the two ranges [Min, Upper] and [Lower, Max],
153 // or, alternatively, /removing/ all integers between Upper and Lower.
155 const llvm::APSInt &Lower,
160 if (Lower <= Upper)
161 IntersectInRange(BV, F, Lower, Upper, newRanges, i, e);
167 IntersectInRange(BV, F, Lower, BV.getMaxValue(Lower), newRanges, i, e);
314 llvm::APSInt Lower = Int-Adjustment;
315 llvm::APSInt Upper = Lower;
316 --Lower;
321 RangeSet New = GetRange(state, sym).Intersect(BV, F, Upper, Lower);
349 llvm::APSInt Lower = Min-Adjustment;
353 RangeSet New = GetRange(state, sym).Intersect(BV, F, Lower, Upper);
370 llvm::APSInt Lower = Int-Adjustment;
372 ++Lower;
374 RangeSet New = GetRange(state, sym).Intersect(BV, F, Lower, Upper);
393 llvm::APSInt Lower = Int-Adjustment;
396 RangeSet New = GetRange(state, sym).Intersect(BV, F, Lower, Upper);
415 llvm::APSInt Lower = Min-Adjustment;
418 RangeSet New = GetRange(state, sym).Intersect(BV, F, Lower, Upper);