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

Declarations

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

  138   const llvm::APSInt& getValue(uint64_t X, QualType T);

References

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

  168     return getValue(X, T);

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

  269     return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy));
  273     return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy));
  304       return loc::ConcreteInt(BasicVals.getValue(integer, type));
  306     return nonloc::ConcreteInt(BasicVals.getValue(integer, type));

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

  253       const llvm::APSInt &Min = BVF.getValue(R[I].first, T);
  254       const llvm::APSInt &Max = BVF.getValue(R[I].second, T);
  287     const llvm::APSInt &Left = BVF.getValue(R[0].first - 1ULL, T);
  295     const llvm::APSInt &Right = BVF.getValue(R[E - 1].second + 1ULL, T);
  304       const llvm::APSInt &Min = BVF.getValue(R[I - 1].second + 1ULL, T);
  305       const llvm::APSInt &Max = BVF.getValue(R[I].first - 1ULL, T);

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

  723       nonloc::ConcreteInt Zero(getBasicVals().getValue(0, B->getType()));
 1043             nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));

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

   60       const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy);
  112   const llvm::APSInt &Zero = BVF.getValue(0, T);

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

  544       return makeNonLoc(Sym, BO_NE, BVF.getValue(0, Sym->getType()), castTy);

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

  365   return std::make_pair(Sym, BV.getValue(0, Sym->getType()));