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

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h

   75 class BasicValueFactory;

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h

   44 class BasicValueFactory;

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h

   37 class BasicValueFactory;

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h

  393   BasicValueFactory &getBasicVals() {

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

  148   BasicValueFactory &getBasicVals() const;
  502   BasicValueFactory &getBasicVals() {
  786 inline BasicValueFactory &ProgramState::getBasicVals() const {

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h

  104   void IntersectInRange(BasicValueFactory &BV, Factory &F,
  114   RangeSet Intersect(BasicValueFactory &BV, Factory &F, llvm::APSInt Lower,
  116   RangeSet Intersect(BasicValueFactory &BV, Factory &F,
  118   RangeSet Negate(BasicValueFactory &BV, Factory &F) const;

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h

  110     BasicValueFactory &BVF = getBasicVals();

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h

   59   BasicValueFactory BasicVals;
  168   BasicValueFactory &getBasicValueFactory() { return BasicVals; }
  169   const BasicValueFactory &getBasicValueFactory() const { return BasicVals; }

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h

  649   SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SimpleConstraintManager.h

   78   BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); }

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h

  472   BasicValueFactory &BV;
  476   SymbolManager(ASTContext &ctx, BasicValueFactory &bv,
  544   BasicValueFactory &getBasicVals() { return BV; }

tools/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp

  114       BasicValueFactory &BVF = SVB.getBasicValueFactory();

tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

  671   BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
  776       BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();

tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp

  957     auto &BVF = SymMgr.getBasicVals();
  975     auto &BVF = SymMgr.getBasicVals();
 1011   auto &BVF = C.getSValBuilder().getBasicValueFactory();
 1018   auto &BVF = C.getSValBuilder().getBasicValueFactory();
 1325     auto &BVF = SymMgr.getBasicVals();
 1351     auto &BVF = SymMgr.getBasicVals();
 1394       auto &BVF = SymMgr.getBasicVals();
 1429     auto &BVF = SymMgr.getBasicVals();
 1536   auto &BVF = SymMgr.getBasicVals();
 2106   BasicValueFactory &BV = SVB.getBasicValueFactory();
 2284   auto &BVF = State->getBasicVals();

tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp

  234   void initFunctionSummaries(BasicValueFactory &BVF) const;
  244   BasicValueFactory &BVF = SVB.getBasicValueFactory();
  272   BasicValueFactory &BVF = SVB.getBasicValueFactory();
  443   BasicValueFactory &BVF = SVB.getBasicValueFactory();
  471     BasicValueFactory &BVF) const {

tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp

  331   BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();

tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp

   26 void RangeSet::IntersectInRange(BasicValueFactory &BV, Factory &F,
  156 RangeSet RangeSet::Intersect(BasicValueFactory &BV, Factory &F,
  179 RangeSet RangeSet::Intersect(BasicValueFactory &BV, Factory &F,
  196 RangeSet RangeSet::Negate(BasicValueFactory &BV, Factory &F) const {
  394   BasicValueFactory &BV = getBasicVals();
  434     BasicValueFactory &BV,
  452     BasicValueFactory &BV,
  485   BasicValueFactory &BV = getBasicVals();

tools/clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp

   77   BasicValueFactory &BVF = getBasicVals();
  104   BasicValueFactory &BVF = getBasicVals();
  138   BasicValueFactory &BVF = getBasicVals();

tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp

  541       BasicValueFactory &BVF = getBasicValueFactory();

tools/clang/lib/StaticAnalyzer/Core/SVals.cpp

  268 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals,

tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

  333   BasicValueFactory &BV = SVB.getBasicValueFactory();
  356 decomposeSymbol(SymbolRef Sym, BasicValueFactory &BV) {
  376   BasicValueFactory &BV = SVB.getBasicValueFactory();
  492   BasicValueFactory &BV = State->getBasicVals();