D | RangeConstraintManager.cpp | 109 const llvm::APSInt &Lower, in IntersectInRange() argument 123 if (i->To() < Lower) { in IntersectInRange() 130 if (i->Includes(Lower)) { in IntersectInRange() 132 newRanges = F.add(newRanges, Range(BV.getValue(Lower), in IntersectInRange() 136 newRanges = F.add(newRanges, Range(BV.getValue(Lower), i->To())); in IntersectInRange() 156 const llvm::APSInt &Lower, in Intersect() argument 161 if (Lower <= Upper) in Intersect() 162 IntersectInRange(BV, F, Lower, Upper, newRanges, i, e); in Intersect() 168 IntersectInRange(BV, F, Lower, BV.getMaxValue(Lower), newRanges, i, e); in Intersect() 315 llvm::APSInt Lower = Int-Adjustment; in assumeSymNE() local [all …]
|