Cross Reference: /external/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp

Lines Matching defs:Intersect

238   RangeSet Intersect(BasicValueFactory &BV, Factory &F,
359   if (Ranges->Intersect(BV, F, Zero, Zero).isEmpty())
399     Result = Result.Intersect(BV, F, ++IntType.getZeroValue(),
413 // do not have to worry about overflow; RangeSet::Intersect can handle such a
434   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower);
449   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt);
478   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
507   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
536   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
565   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);

OpenGrok