Home
last modified time | relevance | path

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

12

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h270 return nonloc::ConcreteInt( in makeIntVal()
281 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal()
282 return nonloc::ConcreteInt(BasicVals.getValue(integer)); in makeIntVal()
285 loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer) { in makeIntLocVal()
286 return loc::ConcreteInt(BasicVals.getValue(integer)); in makeIntLocVal()
329 nonloc::ConcreteInt makeTruthVal(bool b, QualType type) { in makeTruthVal()
333 nonloc::ConcreteInt makeTruthVal(bool b) { in makeTruthVal()
334 return nonloc::ConcreteInt(BasicVals.getTruthValue(b)); in makeTruthVal()
340 loc::ConcreteInt makeNullWithType(QualType type) { in makeNullWithType()
368 loc::ConcreteInt makeLoc(const llvm::APSInt &integer) { in makeLoc()
[all …]
H A DSVals.def59 LOC_SVAL(ConcreteInt, Loc)
64 NONLOC_SVAL(ConcreteInt, NonLoc)
H A DSVals.h330 class ConcreteInt : public NonLoc {
332 explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {} in ConcreteInt() function
540 class ConcreteInt : public Loc {
542 explicit ConcreteInt(const llvm::APSInt& V) : Loc(ConcreteIntKind, &V) {} in ConcreteInt() function
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp113 if (auto CI = getAs<nonloc::ConcreteInt>()) in getAsInteger()
115 if (auto CI = getAs<loc::ConcreteInt>()) in getAsInteger()
145 template <class ConcreteInt> QualType VisitConcreteInt(ConcreteInt CI) { in VisitConcreteInt()
151 QualType VisitLocConcreteInt(loc::ConcreteInt CI) { in VisitLocConcreteInt()
154 QualType VisitNonLocConcreteInt(nonloc::ConcreteInt CI) { in VisitNonLocConcreteInt()
250 return getAs<nonloc::ConcreteInt>() || getAs<loc::ConcreteInt>(); in isConstant()
254 if (Optional<loc::ConcreteInt> LV = getAs<loc::ConcreteInt>()) in isConstant()
256 if (Optional<nonloc::ConcreteInt> NV = getAs<nonloc::ConcreteInt>()) in isConstant()
300 const auto &Value = castAs<nonloc::ConcreteInt>().getValue(); in dumpToStream()
366 os << castAs<loc::ConcreteInt>().getValue().getZExtValue() << " (Loc)"; in dumpToStream()
H A DSimpleSValBuilder.cpp168 return nonloc::ConcreteInt(Result); in MakeSymIntVal()
303 nonloc::ConcreteInt(RInt), ResultTy) in doRearrangeUnchecked()
534 return nonloc::ConcreteInt(*Result); in evalBinOpNN()
668 rhs = nonloc::ConcreteInt(*newRHS); in evalBinOpNN()
831 auto L = lhs.castAs<loc::ConcreteInt>(); in evalBinOpLL()
846 if (Optional<loc::ConcreteInt> rInt = rhs.getAs<loc::ConcreteInt>()) { in evalBinOpLL()
880 if (Optional<loc::ConcreteInt> rInt = rhs.getAs<loc::ConcreteInt>()) { in evalBinOpLL()
1095 if (Optional<nonloc::ConcreteInt> rhsInt = rhs.getAs<nonloc::ConcreteInt>()) { in evalBinOpLN()
1096 if (Optional<loc::ConcreteInt> lhsInt = lhs.getAs<loc::ConcreteInt>()) { in evalBinOpLN()
1173 if (Optional<loc::ConcreteInt> X = V.getAs<loc::ConcreteInt>()) in getConstValue()
[all …]
H A DSValBuilder.cpp127 if (Optional<nonloc::ConcreteInt> CI = val.getAs<nonloc::ConcreteInt>()) { in convertToArrayIndex()
136 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){ in makeBoolVal()
437 if (Optional<nonloc::ConcreteInt> rInt = RHS.getAs<nonloc::ConcreteInt>()) in makeSymExprValNN()
441 if (Optional<nonloc::ConcreteInt> lInt = LHS.getAs<nonloc::ConcreteInt>()) in makeSymExprValNN()
450 return makeIntVal(-X.castAs<nonloc::ConcreteInt>().getValue()); in evalMinus()
462 return makeIntVal(~X.castAs<nonloc::ConcreteInt>().getValue()); in evalComplement()
524 if (auto RV = rhs.getAs<loc::ConcreteInt>()) { in evalBinOp()
525 const nonloc::ConcreteInt RhsAsLoc = makeIntVal(RV->getValue()); in evalBinOp()
662 SVal VisitLocConcreteInt(loc::ConcreteInt V) { in VisitLocConcreteInt()
678 return loc::ConcreteInt(VB.getBasicValueFactory().getValue(Value)); in VisitLocConcreteInt()
[all …]
H A DStore.cpp462 if (Base.isUnknownOrUndef() || isa<loc::ConcreteInt>(Base)) in getLValueElement()
491 if (!isa<nonloc::ConcreteInt>(BaseIdx)) in getLValueElement()
495 BaseIdx.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()
500 if (!isa<nonloc::ConcreteInt>(Offset)) { in getLValueElement()
508 const llvm::APSInt& OffI = Offset.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()
512 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
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 assumeInclusiveRangeInternal()
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 assumeInBoundDual()
H A DBugReporterVisitors.cpp237 if (auto CI = V->getAs<nonloc::ConcreteInt>()) in getConcreteIntegerValue()
1070 if (auto CI = V.getAs<nonloc::ConcreteInt>()) { in visitNodeInitial()
1304 if (isa<loc::ConcreteInt>(SI.Value)) { in showBRDiagnostics()
1307 } else if (auto CVal = SI.Value.getAs<nonloc::ConcreteInt>()) { in showBRDiagnostics()
1347 if (isa<loc::ConcreteInt>(SI.Value)) { in showBRParamDiagnostics()
1354 } else if (auto CI = SI.Value.getAs<nonloc::ConcreteInt>()) { in showBRParamDiagnostics()
1378 if (isa<loc::ConcreteInt>(SI.Value)) { in showBRDefaultDiagnostics()
1387 } else if (auto CV = SI.Value.getAs<nonloc::ConcreteInt>()) { in showBRDefaultDiagnostics()
H A DRegionStore.cpp860 if (Optional<nonloc::ConcreteInt> ExtentCI = in collectSubRegionBindings()
861 Extent.getAs<nonloc::ConcreteInt>()) { in collectSubRegionBindings()
1380 if (isa<loc::ConcreteInt>(Array)) in ArrayToPointer()
1406 if (L.getAs<loc::ConcreteInt>()) { in getBinding()
1707 if (auto CI = V.getAs<nonloc::ConcreteInt>()) { in convertOffsetsFromSvalToUnsigneds()
1931 if (const auto CI = R->getIndex().getAs<nonloc::ConcreteInt>()) { in getBindingForElement()
2374 if (L.getAs<loc::ConcreteInt>()) in bind()
/llvm-project-15.0.7/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 (auto ConcreteNV = NV->getAs<nonloc::ConcreteInt>()) { in checkLocation()
148 std::pair<NonLoc, nonloc::ConcreteInt> simplifiedOffsets = in checkLocation()
185 if (auto ConcreteSize = Size.getAs<nonloc::ConcreteInt>()) { in checkLocation()
186 std::pair<NonLoc, nonloc::ConcreteInt> simplifiedOffsets = in checkLocation()
H A DDebugIteratorModeling.cpp107 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorPosition()
115 }, loc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorContainer()
123 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get((P->isValid())))); in analyzerIteratorValidity()
124 }, 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 DReturnPointerRangeChecker.cpp88 const auto ConcreteElementCount = ElementCount.getAs<nonloc::ConcreteInt>(); in checkPreStmt()
89 const auto ConcreteIdx = Idx.getAs<nonloc::ConcreteInt>(); in checkPreStmt()
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 DMmapWriteExecChecker.cpp51 auto ProtLoc = ProtVal.castAs<nonloc::ConcreteInt>(); in checkPreCall()
H A DContainerModeling.cpp439 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushBack()
468 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopBack()
513 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushFront()
550 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopFront()
675 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handleEraseAfter()
1027 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.cpp116 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerContainerDataField()
H A DIteratorModeling.cpp511 if (const auto TruthVal = RetVal.getAs<nonloc::ConcreteInt>()) { in processComparison()
550 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in handleIncrement()
576 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in handleDecrement()
H A DBasicObjCFoundationChecks.cpp445 Optional<nonloc::ConcreteInt> V = dyn_cast<nonloc::ConcreteInt>(TheTypeVal); in checkPreStmt()
757 if (isa<loc::ConcreteInt>(msg.getArgSVal(I))) in checkPreObjCMessage()
/llvm-project-15.0.7/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()
179 if (auto I = R->getIndex().getAs<nonloc::ConcreteInt>()) in VisitElementRegion()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp168 ElementCount.castAs<nonloc::ConcreteInt>().getValue(); in allRegionsUsedByWait()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp145 if (V.isUnknown() || isa<loc::ConcreteInt>(V)) { in isDereferencableUninit()

12