HomeSort by relevance Sort by last modified time
    Searched refs:ConcreteInt (Results 1 - 20 of 20) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SVals.cpp 175 return getAs<nonloc::ConcreteInt>() || getAs<loc::ConcreteInt>();
179 if (Optional<loc::ConcreteInt> LV = getAs<loc::ConcreteInt>())
181 if (Optional<nonloc::ConcreteInt> NV = getAs<nonloc::ConcreteInt>())
195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder,
197 const nonloc::ConcreteInt& R) const {
202 return nonloc::ConcreteInt(*X);
207 nonloc::ConcreteInt
    [all...]
SimpleSValBuilder.cpp 101 if (!val.getAs<nonloc::ConcreteInt>())
106 bool b = val.castAs<nonloc::ConcreteInt>().getValue().getBoolValue();
115 llvm::APSInt i = val.castAs<nonloc::ConcreteInt>().getValue();
169 if (!val.getAs<loc::ConcreteInt>())
172 llvm::APSInt i = val.castAs<loc::ConcreteInt>().getValue();
190 return val.castAs<nonloc::ConcreteInt>().evalMinus(*this);
199 return X.castAs<nonloc::ConcreteInt>().evalComplement(*this);
265 return nonloc::ConcreteInt(Result);
347 llvm::APSInt i = rhs.castAs<nonloc::ConcreteInt>().getValue();
364 llvm::APSInt LHSValue = lhs.castAs<nonloc::ConcreteInt>().getValue()
    [all...]
Store.cpp 434 if (Base.isUnknownOrUndef() || Base.getAs<loc::ConcreteInt>())
461 if (!BaseIdx.getAs<nonloc::ConcreteInt>())
465 BaseIdx.castAs<nonloc::ConcreteInt>().getValue();
470 if (!Offset.getAs<nonloc::ConcreteInt>()) {
479 const llvm::APSInt& OffI = Offset.castAs<nonloc::ConcreteInt>().getValue();
483 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +
SValBuilder.cpp 81 if (Optional<nonloc::ConcreteInt> CI = val.getAs<nonloc::ConcreteInt>()) {
90 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){
350 if (Optional<nonloc::ConcreteInt> rInt = RHS.getAs<nonloc::ConcreteInt>())
354 if (Optional<nonloc::ConcreteInt> lInt = LHS.getAs<nonloc::ConcreteInt>())
BugReporterVisitors.cpp 536 V.getAs<loc::ConcreteInt>() || V.getAs<nonloc::ConcreteInt>()) {
585 if (V.getAs<loc::ConcreteInt>()) {
598 } else if (Optional<nonloc::ConcreteInt> CVal =
599 V.getAs<nonloc::ConcreteInt>()) {
627 if (V.getAs<loc::ConcreteInt>()) {
634 } else if (Optional<nonloc::ConcreteInt> CI =
635 V.getAs<nonloc::ConcreteInt>()) {
652 if (V.getAs<loc::ConcreteInt>()) {
675 } else if (Optional<nonloc::ConcreteInt> CV
    [all...]
SimpleConstraintManager.cpp 182 bool b = Cond.castAs<nonloc::ConcreteInt>().getValue() != 0;
221 const llvm::APSInt &IntVal = Value.castAs<nonloc::ConcreteInt>().getValue();
ProgramState.cpp 280 return loc::ConcreteInt(NewV);
282 return nonloc::ConcreteInt(NewV);
323 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));
MemRegion.cpp 645 // Index is a ConcreteInt.
646 if (auto CI = ER->getIndex().getAs<nonloc::ConcreteInt>()) {
651 // If not a ConcreteInt, try to obtain the variable
    [all...]
RegionStore.cpp 813 if (Optional<nonloc::ConcreteInt> ExtentCI =
814 Extent.getAs<nonloc::ConcreteInt>()) {
    [all...]
ExprEngineC.cpp     [all...]
ExprEngine.cpp     [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 228 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy));
232 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy));
237 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) {
238 return nonloc::ConcreteInt(
243 nonloc::ConcreteInt makeBoolVal(const ObjCBoolLiteralExpr *boolean) {
247 nonloc::ConcreteInt makeBoolVal(const CXXBoolLiteralExpr *boolean);
249 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) {
250 return nonloc::ConcreteInt(BasicVals.getValue(integer));
253 loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer) {
254 return loc::ConcreteInt(BasicVals.getValue(integer))
    [all...]
SVals.h 341 class ConcreteInt : public NonLoc {
343 explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {}
351 const ConcreteInt& R) const;
353 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
355 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
359 ConcreteInt() {}
534 class ConcreteInt : public Loc {
536 explicit ConcreteInt(const llvm::APSInt& V) : Loc(ConcreteIntKind, &V) {}
544 const ConcreteInt& R) const;
548 ConcreteInt() {}
    [all...]
MemRegion.h 1013 assert((!Idx.getAs<nonloc::ConcreteInt>() ||
1014 Idx.castAs<nonloc::ConcreteInt>().getValue().isSigned()) &&
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Checkers/
SValExplainer.h 66 std::string VisitLocConcreteInt(loc::ConcreteInt V) {
78 std::string VisitNonLocConcreteInt(nonloc::ConcreteInt V) {
166 if (auto I = R->getIndex().getAs<nonloc::ConcreteInt>())
  /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
MPIChecker.cpp 167 const llvm::APSInt &ArrSize = Size.getAs<nonloc::ConcreteInt>()->getValue();
  /external/clang/lib/StaticAnalyzer/Checkers/
StreamChecker.cpp 265 Optional<nonloc::ConcreteInt> CI = Whence.getAs<nonloc::ConcreteInt>();
BasicObjCFoundationChecks.cpp 448 Optional<nonloc::ConcreteInt> V = TheTypeVal.getAs<nonloc::ConcreteInt>();
788 if (msg.getArgSVal(I).getAs<loc::ConcreteInt>())
    [all...]
MallocChecker.cpp     [all...]
CStringChecker.cpp 578 if (right.getAs<nonloc::ConcreteInt>()) {
    [all...]

Completed in 262 milliseconds