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

Lines Matching defs:Intersect

238   RangeSet Intersect(BasicValueFactory &BV, Factory &F,
357   if (Ranges->Intersect(BV, F, Zero, Zero).isEmpty())
397     Result = Result.Intersect(BV, F, ++IntType.getZeroValue(),
411 // do not have to worry about overflow; RangeSet::Intersect can handle such a
432   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower);
447   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt);
476   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
505   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
534   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
563   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);

OpenGrok