reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h
  114   RangeSet Intersect(BasicValueFactory &BV, Factory &F, llvm::APSInt Lower,

References

tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
  184     RangeSet newPiece = Intersect(BV, F, i->From(), i->To());
  399   if (Ranges->Intersect(BV, F, Zero, Zero).isEmpty())
  439   return Domain.Intersect(BV, F, ++IntType.getZeroValue(),
  464     return Input.Intersect(BV, F, RHS, BV.getMaxValue(T));
  474     return Input.Intersect(BV, F, BV.getMinValue(T), RHS);
  569   RangeSet New = getRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower);
  584   RangeSet New = getRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt);
  613   return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
  649   return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
  685   return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
  721   return RS().Intersect(getBasicVals(), F, Lower, Upper);