| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SVals.cpp | 175 return getAs<nonloc::ConcreteInt>() || getAs<loc::ConcreteInt>(); in isConstant()
179 if (Optional<loc::ConcreteInt> LV = getAs<loc::ConcreteInt>()) in isConstant()
181 if (Optional<nonloc::ConcreteInt> NV = getAs<nonloc::ConcreteInt>()) in isConstant()
195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, in evalBinOp()
197 const nonloc::ConcreteInt& R) const { in evalBinOp()
202 return nonloc::ConcreteInt(*X); in evalBinOp()
207 nonloc::ConcreteInt
208 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const { in evalComplement()
212 nonloc::ConcreteInt
213 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const { in evalMinus()
[all …]
|
| D | SimpleSValBuilder.cpp | 101 if (!val.getAs<nonloc::ConcreteInt>()) in evalCastFromNonLoc()
106 bool b = val.castAs<nonloc::ConcreteInt>().getValue().getBoolValue(); in evalCastFromNonLoc()
115 llvm::APSInt i = val.castAs<nonloc::ConcreteInt>().getValue(); in evalCastFromNonLoc()
169 if (!val.getAs<loc::ConcreteInt>()) in evalCastFromLoc()
172 llvm::APSInt i = val.castAs<loc::ConcreteInt>().getValue(); in evalCastFromLoc()
190 return val.castAs<nonloc::ConcreteInt>().evalMinus(*this); in evalMinus()
199 return X.castAs<nonloc::ConcreteInt>().evalComplement(*this); in evalComplement()
265 return nonloc::ConcreteInt(Result); in MakeSymIntVal()
347 llvm::APSInt i = rhs.castAs<nonloc::ConcreteInt>().getValue(); in evalBinOpNN()
364 llvm::APSInt LHSValue = lhs.castAs<nonloc::ConcreteInt>().getValue(); in evalBinOpNN()
[all …]
|
| D | Store.cpp | 434 if (Base.isUnknownOrUndef() || Base.getAs<loc::ConcreteInt>()) in getLValueElement()
461 if (!BaseIdx.getAs<nonloc::ConcreteInt>()) in getLValueElement()
465 BaseIdx.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()
470 if (!Offset.getAs<nonloc::ConcreteInt>()) { in getLValueElement()
479 const llvm::APSInt& OffI = Offset.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()
483 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
|
| D | SValBuilder.cpp | 81 if (Optional<nonloc::ConcreteInt> CI = val.getAs<nonloc::ConcreteInt>()) { in convertToArrayIndex()
90 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){ in makeBoolVal()
350 if (Optional<nonloc::ConcreteInt> rInt = RHS.getAs<nonloc::ConcreteInt>()) in makeSymExprValNN()
354 if (Optional<nonloc::ConcreteInt> lInt = LHS.getAs<nonloc::ConcreteInt>()) in makeSymExprValNN()
|
| D | BugReporterVisitors.cpp | 536 V.getAs<loc::ConcreteInt>() || V.getAs<nonloc::ConcreteInt>()) { in VisitNode()
585 if (V.getAs<loc::ConcreteInt>()) { in VisitNode()
598 } else if (Optional<nonloc::ConcreteInt> CVal = in VisitNode()
599 V.getAs<nonloc::ConcreteInt>()) { in VisitNode()
627 if (V.getAs<loc::ConcreteInt>()) { in VisitNode()
634 } else if (Optional<nonloc::ConcreteInt> CI = in VisitNode()
635 V.getAs<nonloc::ConcreteInt>()) { in VisitNode()
652 if (V.getAs<loc::ConcreteInt>()) { in VisitNode()
675 } else if (Optional<nonloc::ConcreteInt> CV = in VisitNode()
676 V.getAs<nonloc::ConcreteInt>()) { in VisitNode()
[all …]
|
| D | SimpleConstraintManager.cpp | 182 bool b = Cond.castAs<nonloc::ConcreteInt>().getValue() != 0; in assumeAux()
221 const llvm::APSInt &IntVal = Value.castAs<nonloc::ConcreteInt>().getValue(); in assumeWithinInclusiveRange()
|
| D | ProgramState.cpp | 280 return loc::ConcreteInt(NewV); in getSVal()
282 return nonloc::ConcreteInt(NewV); in getSVal()
323 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBound()
|
| D | MemRegion.cpp | 646 if (auto CI = ER->getIndex().getAs<nonloc::ConcreteInt>()) { in getDescriptiveName()
1201 if (Optional<nonloc::ConcreteInt> CI = index.getAs<nonloc::ConcreteInt>()) { in getAsArrayOffset()
1357 if (Optional<nonloc::ConcreteInt> CI = in getAsOffset()
1358 Index.getAs<nonloc::ConcreteInt>()) { in getAsOffset()
|
| D | RegionStore.cpp | 813 if (Optional<nonloc::ConcreteInt> ExtentCI = in collectSubRegionBindings()
814 Extent.getAs<nonloc::ConcreteInt>()) { in collectSubRegionBindings()
1359 if (L.getAs<loc::ConcreteInt>()) { in getBinding()
1592 if (Optional<nonloc::ConcreteInt> CI = Idx.getAs<nonloc::ConcreteInt>()) { in getBindingForElement()
1988 if (L.getAs<loc::ConcreteInt>()) in bind()
|
| D | ExprEngineC.cpp | 907 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType())); in VisitUnaryOperator()
|
| D | ExprEngine.cpp | 1733 if (V.getAs<loc::ConcreteInt>() || V.getAs<UndefinedVal>()) { in processIndirectGoto()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 228 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); in makeZeroArrayIndex()
232 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); in makeArrayIndex()
237 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { in makeIntVal()
238 return nonloc::ConcreteInt( in makeIntVal()
243 nonloc::ConcreteInt makeBoolVal(const ObjCBoolLiteralExpr *boolean) { in makeBoolVal()
247 nonloc::ConcreteInt makeBoolVal(const CXXBoolLiteralExpr *boolean);
249 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal()
250 return nonloc::ConcreteInt(BasicVals.getValue(integer)); in makeIntVal()
253 loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer) { in makeIntLocVal()
254 return loc::ConcreteInt(BasicVals.getValue(integer)); in makeIntLocVal()
[all …]
|
| D | SVals.h | 341 class ConcreteInt : public NonLoc {
343 explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {} in ConcreteInt() function
351 const ConcreteInt& R) const;
353 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
355 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
359 ConcreteInt() {} in ConcreteInt() function
534 class ConcreteInt : public Loc {
536 explicit ConcreteInt(const llvm::APSInt& V) : Loc(ConcreteIntKind, &V) {} in ConcreteInt() function
544 const ConcreteInt& R) const;
548 ConcreteInt() {} in ConcreteInt() function
|
| D | SVals.def | 60 LOC_SVAL(ConcreteInt, Loc)
65 NONLOC_SVAL(ConcreteInt, NonLoc)
|
| D | MemRegion.h | 1013 assert((!Idx.getAs<nonloc::ConcreteInt>() || in ElementRegion()
1014 Idx.castAs<nonloc::ConcreteInt>().getValue().isSigned()) && in ElementRegion()
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | SValExplainer.h | 66 std::string VisitLocConcreteInt(loc::ConcreteInt V) { in VisitLocConcreteInt()
78 std::string VisitNonLocConcreteInt(nonloc::ConcreteInt V) { in VisitNonLocConcreteInt()
166 if (auto I = R->getIndex().getAs<nonloc::ConcreteInt>()) in VisitElementRegion()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | StreamChecker.cpp | 265 Optional<nonloc::ConcreteInt> CI = Whence.getAs<nonloc::ConcreteInt>(); in Fseek()
|
| D | BasicObjCFoundationChecks.cpp | 448 Optional<nonloc::ConcreteInt> V = TheTypeVal.getAs<nonloc::ConcreteInt>(); in checkPreStmt()
788 if (msg.getArgSVal(I).getAs<loc::ConcreteInt>()) in checkPreObjCMessage()
|
| D | MallocChecker.cpp | 1512 if (Optional<nonloc::ConcreteInt> IntVal = V.getAs<nonloc::ConcreteInt>()) in SummarizeValue()
1514 else if (Optional<loc::ConcreteInt> ConstAddr = V.getAs<loc::ConcreteInt>()) in SummarizeValue()
|
| D | CStringChecker.cpp | 578 if (right.getAs<nonloc::ConcreteInt>()) { in checkAdditionOverflow()
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIChecker.cpp | 167 const llvm::APSInt &ArrSize = Size.getAs<nonloc::ConcreteInt>()->getValue(); in allRegionsUsedByWait()
|