StaticAnalyzer/Core/RangeConstraintManager.cpp

105   void IntersectInRange(BasicValueFactory &BV, Factory &F,
129           newRanges = F.add(newRanges, Range(BV.getValue(Lower),
130                                              BV.getValue(Upper)));
133           newRanges = F.add(newRanges, Range(BV.getValue(Lower), i->To()));
136           newRanges = F.add(newRanges, Range(i->From(), BV.getValue(Upper)));
238   RangeSet Intersect(BasicValueFactory &BV, Factory &F,
247       IntersectInRange(BV, F, Lower, Upper, newRanges, i, e);
252       IntersectInRange(BV, F, BV.getMinValue(Upper), Upper, newRanges, i, e);
253       IntersectInRange(BV, F, Lower, BV.getMaxValue(Lower), newRanges, i, e);
352   BasicValueFactory &BV = getBasicVals();
353   APSIntType IntType = BV.getAPSIntType(Sym->getType());
357   if (Ranges->Intersect(BV, F, Zero, Zero).isEmpty())
389   BasicValueFactory &BV = getBasicVals();
392   RangeSet Result(F, BV.getMinValue(T), BV.getMaxValue(T));
396     APSIntType IntType = BV.getAPSIntType(T);
397     Result = Result.Intersect(BV, F, ++IntType.getZeroValue(),