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

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
   43     ASTContext &Ctx = getBasicVals().getContext();
   65     ASTContext &Ctx = getBasicVals().getContext();
   81     ASTContext &Ctx = getBasicVals().getContext();
  110     BasicValueFactory &BVF = getBasicVals();
  246     const TargetInfo &TI = getBasicVals().getContext().getTargetInfo();
tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
  394   BasicValueFactory &BV = getBasicVals();
  485   BasicValueFactory &BV = getBasicVals();
  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);
tools/clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp
   60       const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy);
   77   BasicValueFactory &BVF = getBasicVals();
  104   BasicValueFactory &BVF = getBasicVals();
  138   BasicValueFactory &BVF = getBasicVals();