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

Lines Matching defs:Intersect

247   RangeSet Intersect(BasicValueFactory &BV, Factory &F,
390   if (Ranges->Intersect(BV, F, Zero, Zero).isEmpty())
430     Result = Result.Intersect(BV, F, ++IntType.getZeroValue(),
444 // do not have to worry about overflow; RangeSet::Intersect can handle such a
465   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower);
480   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt);
509   return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
545   return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
581   return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
617   return RS.Intersect(getBasicVals(), F, Lower, Upper);
645   return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);

OpenGrok