Home
last modified time | relevance | path

Searched refs:ConcreteInt (Results 1 – 25 of 25) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp223 return getAs<nonloc::ConcreteInt>() || getAs<loc::ConcreteInt>(); in isConstant()
227 if (Optional<loc::ConcreteInt> LV = getAs<loc::ConcreteInt>()) in isConstant()
229 if (Optional<nonloc::ConcreteInt> NV = getAs<nonloc::ConcreteInt>()) in isConstant()
242 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, in evalBinOp()
249 return nonloc::ConcreteInt(*X); in evalBinOp()
254 nonloc::ConcreteInt
259 nonloc::ConcreteInt
260 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const { in evalMinus()
268 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, in evalBinOp()
270 const loc::ConcreteInt& R) const { in evalBinOp()
[all …]
H A DSimpleSValBuilder.cpp108 if (!val.getAs<nonloc::ConcreteInt>()) in evalCastFromNonLoc()
178 if (!val.getAs<loc::ConcreteInt>()) in evalCastFromLoc()
274 return nonloc::ConcreteInt(Result); in MakeSymIntVal()
615 return nonloc::ConcreteInt(*Result); in evalBinOpNN()
731 rhs = nonloc::ConcreteInt(*newRHS); in evalBinOpNN()
889 if (Optional<loc::ConcreteInt> rInt = rhs.getAs<loc::ConcreteInt>()) { in evalBinOpLL()
924 if (Optional<loc::ConcreteInt> rInt = rhs.getAs<loc::ConcreteInt>()) { in evalBinOpLL()
1130 if (Optional<nonloc::ConcreteInt> rhsInt = rhs.getAs<nonloc::ConcreteInt>()) { in evalBinOpLN()
1131 if (Optional<loc::ConcreteInt> lhsInt = lhs.getAs<loc::ConcreteInt>()) { in evalBinOpLN()
1209 if (Optional<loc::ConcreteInt> X = V.getAs<loc::ConcreteInt>()) in getKnownValue()
[all …]
H A DStore.cpp484 if (Base.isUnknownOrUndef() || Base.getAs<loc::ConcreteInt>()) in getLValueElement()
513 if (!BaseIdx.getAs<nonloc::ConcreteInt>()) in getLValueElement()
517 BaseIdx.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()
522 if (!Offset.getAs<nonloc::ConcreteInt>()) { in getLValueElement()
530 const llvm::APSInt& OffI = Offset.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()
534 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
H A DSValBuilder.cpp105 if (Optional<nonloc::ConcreteInt> CI = val.getAs<nonloc::ConcreteInt>()) { in convertToArrayIndex()
114 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){ in makeBoolVal()
395 if (Optional<nonloc::ConcreteInt> rInt = RHS.getAs<nonloc::ConcreteInt>()) in makeSymExprValNN()
399 if (Optional<nonloc::ConcreteInt> lInt = LHS.getAs<nonloc::ConcreteInt>()) in makeSymExprValNN()
H A DSimpleConstraintManager.cpp78 bool b = Cond.castAs<nonloc::ConcreteInt>().getValue() != 0; in assumeAux()
123 const llvm::APSInt &IntVal = Value.castAs<nonloc::ConcreteInt>().getValue(); in assumeInclusiveRange()
H A DBugReporterVisitors.cpp920 if (auto CI = V.getAs<nonloc::ConcreteInt>()) { in visitNodeInitial()
1069 if (V.getAs<loc::ConcreteInt>()) { in showBRDiagnostics()
1082 } else if (auto CVal = V.getAs<nonloc::ConcreteInt>()) { in showBRDiagnostics()
1111 if (V.getAs<loc::ConcreteInt>()) { in showBRParamDiagnostics()
1118 } else if (auto CI = V.getAs<nonloc::ConcreteInt>()) { in showBRParamDiagnostics()
1137 if (V.getAs<loc::ConcreteInt>()) { in showBRDefaultDiagnostics()
1160 } else if (auto CV = V.getAs<nonloc::ConcreteInt>()) { in showBRDefaultDiagnostics()
1265 V.getAs<loc::ConcreteInt>() || V.getAs<nonloc::ConcreteInt>()) { in VisitNode()
1790 if (V.getAs<loc::ConcreteInt>() || V.getAs<nonloc::ConcreteInt>()) { in registerStatementVarDecls()
H A DProgramState.cpp293 return loc::ConcreteInt(NewV); in getSVal()
295 return nonloc::ConcreteInt(NewV); in getSVal()
335 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBound()
H A DRegionStore.cpp834 if (Optional<nonloc::ConcreteInt> ExtentCI = in collectSubRegionBindings()
835 Extent.getAs<nonloc::ConcreteInt>()) { in collectSubRegionBindings()
1385 if (Array.getAs<loc::ConcreteInt>()) in ArrayToPointer()
1411 if (L.getAs<loc::ConcreteInt>()) { in getBinding()
1644 if (Optional<nonloc::ConcreteInt> CI = Idx.getAs<nonloc::ConcreteInt>()) { in getBindingForElement()
1666 if (auto CI = R->getIndex().getAs<nonloc::ConcreteInt>()) { in getBindingForElement()
2107 if (L.getAs<loc::ConcreteInt>()) in bind()
H A DMemRegion.cpp671 if (auto CI = ER->getIndex().getAs<nonloc::ConcreteInt>()) { in getDescriptiveName()
1241 if (auto CI = index.getAs<nonloc::ConcreteInt>()) { in getAsArrayOffset()
1408 if (Optional<nonloc::ConcreteInt> CI = in calculateOffset()
1409 Index.getAs<nonloc::ConcreteInt>()) { in calculateOffset()
H A DExprEngineC.cpp687 nonloc::ConcreteInt Zero(getBasicVals().getValue(0, B->getType())); in VisitLogicalExpr()
1008 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType())); in VisitUnaryOperator()
H A DExprEngine.cpp2181 if (V.getAs<loc::ConcreteInt>() || V.getAs<UndefinedVal>()) { in processIndirectGoto()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h280 return nonloc::ConcreteInt( in makeIntVal()
291 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal()
292 return nonloc::ConcreteInt(BasicVals.getValue(integer)); in makeIntVal()
295 loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer) { in makeIntLocVal()
296 return loc::ConcreteInt(BasicVals.getValue(integer)); in makeIntLocVal()
315 return nonloc::ConcreteInt( in makeIntValWithPtrWidth()
335 nonloc::ConcreteInt makeTruthVal(bool b, QualType type) { in makeTruthVal()
339 nonloc::ConcreteInt makeTruthVal(bool b) { in makeTruthVal()
340 return nonloc::ConcreteInt(BasicVals.getTruthValue(b)); in makeTruthVal()
351 return loc::ConcreteInt(BasicVals.getZeroWithPtrWidth()); in makeNull()
[all …]
H A DSVals.h377 class ConcreteInt : public NonLoc {
379 explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {} in ConcreteInt() function
387 const ConcreteInt& R) const;
389 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
391 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
396 ConcreteInt() = default;
638 class ConcreteInt : public Loc {
640 explicit ConcreteInt(const llvm::APSInt& V) : Loc(ConcreteIntKind, &V) {} in ConcreteInt() function
648 const ConcreteInt& R) const;
653 ConcreteInt() = default;
H A DSVals.def60 LOC_SVAL(ConcreteInt, Loc)
65 NONLOC_SVAL(ConcreteInt, NonLoc)
H A DMemRegion.h1095 assert((!Idx.getAs<nonloc::ConcreteInt>() || in ElementRegion()
1096 Idx.castAs<nonloc::ConcreteInt>().getValue().isSigned()) && in ElementRegion()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp82 static std::pair<NonLoc, nonloc::ConcreteInt>
83 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent, in getSimplifiedOffsets()
95 return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent); in getSimplifiedOffsets()
111 return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent); in getSimplifiedOffsets()
145 if (NV->getAs<nonloc::ConcreteInt>()) { in checkLocation()
146 std::pair<NonLoc, nonloc::ConcreteInt> simplifiedOffsets = in checkLocation()
148 NV->castAs<nonloc::ConcreteInt>(), in checkLocation()
184 if (extentVal.getAs<nonloc::ConcreteInt>()) { in checkLocation()
185 std::pair<NonLoc, nonloc::ConcreteInt> simplifiedOffsets = in checkLocation()
187 extentVal.castAs<nonloc::ConcreteInt>(), in checkLocation()
H A DMmapWriteExecChecker.cpp52 Optional<nonloc::ConcreteInt> ProtLoc = ProtVal.getAs<nonloc::ConcreteInt>(); in checkPreCall()
H A DIteratorChecker.cpp905 } else if (const auto TruthVal = RetVal.getAs<nonloc::ConcreteInt>()) { in handleComparison()
952 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in handleIncrement()
998 nonloc::ConcreteInt(Max), SVB.getConditionType()); in assumeNoOverflow()
1008 nonloc::ConcreteInt(Min), SVB.getConditionType()); in assumeNoOverflow()
1324 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushBack()
1350 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopBack()
1428 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopFront()
1535 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handleEraseAfter()
1567 if (const auto IntDist = Distance.getAs<nonloc::ConcreteInt>()) { in advancePosition()
2302 const auto DiffInt = Diff.getAs<nonloc::ConcreteInt>(); in rebaseSymbol()
[all …]
H A DStreamChecker.cpp261 Optional<nonloc::ConcreteInt> CI = Whence.getAs<nonloc::ConcreteInt>(); in Fseek()
H A DBasicObjCFoundationChecks.cpp449 Optional<nonloc::ConcreteInt> V = TheTypeVal.getAs<nonloc::ConcreteInt>(); in checkPreStmt()
760 if (msg.getArgSVal(I).getAs<loc::ConcreteInt>()) in checkPreObjCMessage()
H A DMallocChecker.cpp1691 if (Optional<nonloc::ConcreteInt> IntVal = V.getAs<nonloc::ConcreteInt>()) in SummarizeValue()
1693 else if (Optional<loc::ConcreteInt> ConstAddr = V.getAs<loc::ConcreteInt>()) in SummarizeValue()
H A DCStringChecker.cpp641 if (right.getAs<nonloc::ConcreteInt>()) { in checkAdditionOverflow()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h66 std::string VisitLocConcreteInt(loc::ConcreteInt V) { in VisitLocConcreteInt()
78 std::string VisitNonLocConcreteInt(nonloc::ConcreteInt V) { in VisitNonLocConcreteInt()
174 if (auto I = R->getIndex().getAs<nonloc::ConcreteInt>()) in VisitElementRegion()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp167 const llvm::APSInt &ArrSize = Size.getAs<nonloc::ConcreteInt>()->getValue(); in allRegionsUsedByWait()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp148 if (V.isUnknown() || V.getAs<loc::ConcreteInt>()) { in isDereferencableUninit()