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

References

tools/clang/include/clang/StaticAnalyzer/Checkers/SValExplainer.h

   78     llvm::APSInt I = V.getValue();
  174       OS << I->getValue();

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

 1093             Idx.castAs<nonloc::ConcreteInt>().getValue().isSigned()) &&

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

   90           APSIntType(extent.getValue()).convert(SIE->getRHS());
   95         if ((extent.getValue() % constant) != 0)
  100               svalBuilder.makeIntVal(extent.getValue() / constant),
  105             svalBuilder.makeIntVal(extent.getValue() - constant), svalBuilder);

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

  452   uint64_t NumberKind = V->getValue().getLimitedValue();

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

  901                                (TruthVal->getValue() != 0)))) {

tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp

  166     const llvm::APSInt &ArrSize = Size.getAs<nonloc::ConcreteInt>()->getValue();

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

 1960     os << "an integer (" << IntVal->getValue() << ")";

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

   52     int64_t Prot = ProtLoc->getValue().getSExtValue();

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

  270   int64_t x = CI->getValue().getSExtValue();

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

  212       return &CI->getValue();
 1079         Out << "Returning the value " << CI->getValue();
 1265     os << action << CVal->getValue();
 1301     os << "the value " << CI->getValue();
 1343       os << "The value " << CV->getValue() << " is assigned";
 1345       os << "Assigning " << CV->getValue();

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

  672       CI->getValue().toString(Idx);
 1245       int64_t i = CI->getValue().getSExtValue();
 1417         int64_t i = CI->getValue().getSExtValue();

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

  882     const llvm::APSInt &ExtentInt = ExtentCI->getValue();
 1691       int64_t i = CI->getValue().getSExtValue();
 1715             int64_t i = CI->getValue().getSExtValue();

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

  105     const llvm::APSInt& I = CI->getValue();
  395       return makeNonLoc(symLHS, Op, rInt->getValue(), ResultTy);
  399       return makeNonLoc(lInt->getValue(), Op, symRHS, ResultTy);

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

  230     return NV->getValue() == I;
  246     svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue());
  246     svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue());
  256   return svalBuilder.makeIntVal(~getValue());
  261   return svalBuilder.makeIntVal(-getValue());
  316       const auto &Value = castAs<nonloc::ConcreteInt>().getValue();

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

   77     bool b = Cond.castAs<nonloc::ConcreteInt>().getValue() != 0;
  122     const llvm::APSInt &IntVal = Value.castAs<nonloc::ConcreteInt>().getValue();

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

  112     bool b = val.castAs<nonloc::ConcreteInt>().getValue().getBoolValue();
  121   llvm::APSInt i = val.castAs<nonloc::ConcreteInt>().getValue();
  573           llvm::APSInt i = rhs.castAs<nonloc::ConcreteInt>().getValue();
  598       llvm::APSInt LHSValue = lhs.castAs<nonloc::ConcreteInt>().getValue();
 1141       llvm::APSInt rightI(rhsInt->getValue(), /* isUnsigned */ true);
 1220     return &X->getValue();

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

  516       BaseIdx.castAs<nonloc::ConcreteInt>().getValue();
  529   const llvm::APSInt& OffI = Offset.castAs<nonloc::ConcreteInt>().getValue();