Home
last modified time | relevance | path

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

12

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp156 template <class ConcreteInt> QualType VisitConcreteInt(ConcreteInt CI) { in VisitConcreteInt()
160 QualType VisitLocConcreteInt(loc::ConcreteInt CI) { in VisitLocConcreteInt()
163 QualType VisitNonLocConcreteInt(nonloc::ConcreteInt CI) { in VisitNonLocConcreteInt()
260 return getAs<nonloc::ConcreteInt>() || getAs<loc::ConcreteInt>(); in isConstant()
264 if (Optional<loc::ConcreteInt> LV = getAs<loc::ConcreteInt>()) in isConstant()
266 if (Optional<nonloc::ConcreteInt> NV = getAs<nonloc::ConcreteInt>()) in isConstant()
279 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, in evalBinOp()
286 return nonloc::ConcreteInt(*X); in evalBinOp()
291 nonloc::ConcreteInt
296 nonloc::ConcreteInt
[all …]
H A DSimpleSValBuilder.cpp66 return val.castAs<nonloc::ConcreteInt>().evalMinus(*this); in evalMinus()
75 return X.castAs<nonloc::ConcreteInt>().evalComplement(*this); in evalComplement()
141 return nonloc::ConcreteInt(Result); in MakeSymIntVal()
491 return nonloc::ConcreteInt(*Result); in evalBinOpNN()
614 rhs = nonloc::ConcreteInt(*newRHS); in evalBinOpNN()
772 if (Optional<loc::ConcreteInt> rInt = rhs.getAs<loc::ConcreteInt>()) { in evalBinOpLL()
807 if (Optional<loc::ConcreteInt> rInt = rhs.getAs<loc::ConcreteInt>()) { in evalBinOpLL()
1022 if (Optional<nonloc::ConcreteInt> rhsInt = rhs.getAs<nonloc::ConcreteInt>()) { in evalBinOpLN()
1023 if (Optional<loc::ConcreteInt> lhsInt = lhs.getAs<loc::ConcreteInt>()) { in evalBinOpLN()
1101 if (Optional<loc::ConcreteInt> X = V.getAs<loc::ConcreteInt>()) in getKnownValue()
[all …]
H A DStore.cpp449 if (Base.isUnknownOrUndef() || Base.getAs<loc::ConcreteInt>()) in getLValueElement()
478 if (!BaseIdx.getAs<nonloc::ConcreteInt>()) in getLValueElement()
482 BaseIdx.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()
487 if (!Offset.getAs<nonloc::ConcreteInt>()) { in getLValueElement()
495 const llvm::APSInt& OffI = Offset.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()
499 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
H A DSValBuilder.cpp104 if (Optional<nonloc::ConcreteInt> CI = val.getAs<nonloc::ConcreteInt>()) { in convertToArrayIndex()
113 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){ in makeBoolVal()
417 if (Optional<nonloc::ConcreteInt> rInt = RHS.getAs<nonloc::ConcreteInt>()) in makeSymExprValNN()
421 if (Optional<nonloc::ConcreteInt> lInt = LHS.getAs<nonloc::ConcreteInt>()) in makeSymExprValNN()
622 return evalCastSubKind(V.castAs<loc::ConcreteInt>(), CastTy, OriginalTy); in evalCastKind()
637 return evalCastSubKind(V.castAs<nonloc::ConcreteInt>(), CastTy, OriginalTy); in evalCastKind()
654 SVal SValBuilder::evalCastSubKind(loc::ConcreteInt V, QualType CastTy, in evalCastSubKind()
860 SVal SValBuilder::evalCastSubKind(nonloc::ConcreteInt V, QualType CastTy, in evalCastSubKind()
H A DSimpleConstraintManager.cpp77 bool b = Cond.castAs<nonloc::ConcreteInt>().getValue() != 0; in assumeAux()
122 const llvm::APSInt &IntVal = Value.castAs<nonloc::ConcreteInt>().getValue(); in assumeInclusiveRange()
H A DProgramState.cpp297 return loc::ConcreteInt(NewV); in getSVal()
299 return nonloc::ConcreteInt(NewV); in getSVal()
339 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBound()
H A DRegionStore.cpp871 if (Optional<nonloc::ConcreteInt> ExtentCI = in collectSubRegionBindings()
872 Extent.getAs<nonloc::ConcreteInt>()) { in collectSubRegionBindings()
1391 if (Array.getAs<loc::ConcreteInt>()) in ArrayToPointer()
1417 if (L.getAs<loc::ConcreteInt>()) { in getBinding()
1646 if (Optional<nonloc::ConcreteInt> CI = Idx.getAs<nonloc::ConcreteInt>()) { in getBindingForElement()
1670 if (auto CI = R->getIndex().getAs<nonloc::ConcreteInt>()) { in getBindingForElement()
2124 if (L.getAs<loc::ConcreteInt>()) in bind()
H A DBugReporterVisitors.cpp233 if (auto CI = V->getAs<nonloc::ConcreteInt>()) in getConcreteIntegerValue()
1014 if (auto CI = V.getAs<nonloc::ConcreteInt>()) { in visitNodeInitial()
1251 if (SI.Value.getAs<loc::ConcreteInt>()) { in showBRDiagnostics()
1254 } else if (auto CVal = SI.Value.getAs<nonloc::ConcreteInt>()) { in showBRDiagnostics()
1294 if (SI.Value.getAs<loc::ConcreteInt>()) { in showBRParamDiagnostics()
1301 } else if (auto CI = SI.Value.getAs<nonloc::ConcreteInt>()) { in showBRParamDiagnostics()
1325 if (SI.Value.getAs<loc::ConcreteInt>()) { in showBRDefaultDiagnostics()
1334 } else if (auto CV = SI.Value.getAs<nonloc::ConcreteInt>()) { in showBRDefaultDiagnostics()
H A DMemRegion.cpp683 if (auto CI = ER->getIndex().getAs<nonloc::ConcreteInt>()) { in getDescriptiveName()
1350 if (auto CI = index.getAs<nonloc::ConcreteInt>()) { in getAsArrayOffset()
1518 if (Optional<nonloc::ConcreteInt> CI = in calculateOffset()
1519 Index.getAs<nonloc::ConcreteInt>()) { in calculateOffset()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h79 SVal evalCastSubKind(loc::ConcreteInt V, QualType CastTy,
86 SVal evalCastSubKind(nonloc::ConcreteInt V, QualType CastTy,
301 return nonloc::ConcreteInt( in makeIntVal()
313 return nonloc::ConcreteInt(BasicVals.getValue(integer)); in makeIntVal()
317 return loc::ConcreteInt(BasicVals.getValue(integer)); in makeIntLocVal()
336 return nonloc::ConcreteInt( in makeIntValWithPtrWidth()
356 nonloc::ConcreteInt makeTruthVal(bool b, QualType type) { in makeTruthVal()
360 nonloc::ConcreteInt makeTruthVal(bool b) { in makeTruthVal()
361 return nonloc::ConcreteInt(BasicVals.getTruthValue(b)); in makeTruthVal()
372 return loc::ConcreteInt(BasicVals.getZeroWithPtrWidth()); in makeNull()
[all …]
H A DSVals.h386 class ConcreteInt : public NonLoc {
388 explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {} in ConcreteInt() function
396 const ConcreteInt& R) const;
398 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
400 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
405 ConcreteInt() = default;
648 class ConcreteInt : public Loc {
650 explicit ConcreteInt(const llvm::APSInt& V) : Loc(ConcreteIntKind, &V) {} in ConcreteInt() function
658 const ConcreteInt& R) const;
663 ConcreteInt() = default;
H A DSVals.def59 LOC_SVAL(ConcreteInt, Loc)
64 NONLOC_SVAL(ConcreteInt, NonLoc)
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp84 static std::pair<NonLoc, nonloc::ConcreteInt>
85 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent, in getSimplifiedOffsets()
97 return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent); in getSimplifiedOffsets()
113 return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent); in getSimplifiedOffsets()
147 if (NV->getAs<nonloc::ConcreteInt>()) { in checkLocation()
148 std::pair<NonLoc, nonloc::ConcreteInt> simplifiedOffsets = in checkLocation()
150 NV->castAs<nonloc::ConcreteInt>(), in checkLocation()
186 if (Size.getAs<nonloc::ConcreteInt>()) { in checkLocation()
187 std::pair<NonLoc, nonloc::ConcreteInt> simplifiedOffsets = in checkLocation()
189 Size.castAs<nonloc::ConcreteInt>(), svalBuilder); in checkLocation()
H A DDebugIteratorModeling.cpp106 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorPosition()
114 }, loc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorContainer()
122 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get((P->isValid())))); in analyzerIteratorValidity()
123 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorValidity()
H A DIterator.cpp239 const auto IntDistOp = Distance.getAs<nonloc::ConcreteInt>(); in advancePosition()
244 nonloc::ConcreteInt IntDist = *IntDistOp; in advancePosition()
247 IntDist = nonloc::ConcreteInt(BVF.getValue(-IntDist.getValue())); in advancePosition()
279 nonloc::ConcreteInt(Max), SVB.getConditionType()); in assumeNoOverflow()
289 nonloc::ConcreteInt(Min), SVB.getConditionType()); in assumeNoOverflow()
H A DMmapWriteExecChecker.cpp51 Optional<nonloc::ConcreteInt> ProtLoc = ProtVal.getAs<nonloc::ConcreteInt>(); in checkPreCall()
H A DIteratorRangeChecker.cpp138 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in checkPreCall()
212 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in verifyIncrement()
218 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in verifyDecrement()
301 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))), in isZero()
H A DContainerModeling.cpp453 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushBack()
482 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopBack()
527 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushFront()
564 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopFront()
689 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handleEraseAfter()
1041 const auto DiffInt = Diff.getAs<nonloc::ConcreteInt>(); in rebaseSymbol()
H A DCheckPlacementNew.cpp107 const auto SizeOfTargetCI = SizeOfTarget.getAs<nonloc::ConcreteInt>(); in checkPlaceCapacityIsSufficient()
110 const auto SizeOfPlaceCI = SizeOfPlace.getAs<nonloc::ConcreteInt>(); in checkPlaceCapacityIsSufficient()
H A DDebugContainerModeling.cpp115 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerContainerDataField()
H A DIteratorModeling.cpp512 if (const auto TruthVal = RetVal.getAs<nonloc::ConcreteInt>()) { in processComparison()
551 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in handleIncrement()
577 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in handleDecrement()
H A DBasicObjCFoundationChecks.cpp448 Optional<nonloc::ConcreteInt> V = TheTypeVal.getAs<nonloc::ConcreteInt>(); in checkPreStmt()
759 if (msg.getArgSVal(I).getAs<loc::ConcreteInt>()) in checkPreObjCMessage()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h67 std::string VisitLocConcreteInt(loc::ConcreteInt V) { in VisitLocConcreteInt()
79 std::string VisitNonLocConcreteInt(nonloc::ConcreteInt V) { in VisitNonLocConcreteInt()
175 if (auto I = R->getIndex().getAs<nonloc::ConcreteInt>()) in VisitElementRegion()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp168 ElementCount.getAs<nonloc::ConcreteInt>()->getValue(); in allRegionsUsedByWait()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp147 if (V.isUnknown() || V.getAs<loc::ConcreteInt>()) { in isDereferencableUninit()

12