Home
last modified time | relevance | path

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

12

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h281 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); in makeZeroArrayIndex()
285 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); in makeArrayIndex()
290 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { in makeIntVal()
291 return nonloc::ConcreteInt( in makeIntVal()
296 nonloc::ConcreteInt makeBoolVal(const ObjCBoolLiteralExpr *boolean) { in makeBoolVal()
300 nonloc::ConcreteInt makeBoolVal(const CXXBoolLiteralExpr *boolean);
302 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal()
303 return nonloc::ConcreteInt(BasicVals.getValue(integer)); in makeIntVal()
306 loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer) { in makeIntLocVal()
307 return loc::ConcreteInt(BasicVals.getValue(integer)); in makeIntLocVal()
[all …]
H A DSVals.h297 class ConcreteInt : public NonLoc {
299 explicit ConcreteInt(const llvm::APSInt &V) : NonLoc(ConcreteIntKind, &V) {} in ConcreteInt() function
463 class ConcreteInt : public Loc {
465 explicit ConcreteInt(const llvm::APSInt &V) : Loc(ConcreteIntKind, &V) {} in ConcreteInt() function
H A DMemRegion.h1208 assert((!isa<nonloc::ConcreteInt>(Idx) || in ElementRegion()
1209 Idx.castAs<nonloc::ConcreteInt>().getValue().isSigned()) && in ElementRegion()
/freebsd/contrib/llvm-project/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()
247 return getAs<nonloc::ConcreteInt>() || getAs<loc::ConcreteInt>(); in isConstant()
251 if (std::optional<loc::ConcreteInt> LV = getAs<loc::ConcreteInt>()) in isConstant()
253 if (std::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 DStore.cpp462 if (Base.isUnknownOrUndef() || isa<loc::ConcreteInt>(Base)) in getLValueElement()
501 if (!isa<nonloc::ConcreteInt>(BaseIdx)) in getLValueElement()
505 BaseIdx.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()
510 if (!isa<nonloc::ConcreteInt>(Offset)) { in getLValueElement()
518 const llvm::APSInt& OffI = Offset.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()
522 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
H A DProgramState.cpp305 return loc::ConcreteInt(NewV); in getSVal()
307 return nonloc::ConcreteInt(NewV); in getSVal()
347 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBoundDual()
H A DBugReporterVisitors.cpp266 if (auto CI = V->getAs<nonloc::ConcreteInt>()) in getConcreteIntegerValue()
1100 if (auto CI = V.getAs<nonloc::ConcreteInt>()) { in visitNodeInitial()
1333 if (isa<loc::ConcreteInt>(SI.Value)) { in showBRDiagnostics()
1336 } else if (auto CVal = SI.Value.getAs<nonloc::ConcreteInt>()) { in showBRDiagnostics()
1376 if (isa<loc::ConcreteInt>(SI.Value)) { in showBRParamDiagnostics()
1382 } else if (auto CI = SI.Value.getAs<nonloc::ConcreteInt>()) { in showBRParamDiagnostics()
1412 if (isa<loc::ConcreteInt>(SI.Value)) { in showBRDefaultDiagnostics()
1421 } else if (auto CV = SI.Value.getAs<nonloc::ConcreteInt>()) { in showBRDefaultDiagnostics()
H A DMemRegion.cpp729 if (auto CI = ER->getIndex().getAs<nonloc::ConcreteInt>()) { in getDescriptiveName()
1436 if (auto CI = index.getAs<nonloc::ConcreteInt>()) { in getAsArrayOffset()
1605 if (std::optional<nonloc::ConcreteInt> CI = in calculateOffset()
1606 Index.getAs<nonloc::ConcreteInt>()) { in calculateOffset()
H A DRegionStore.cpp865 if (std::optional<nonloc::ConcreteInt> ExtentCI = in collectSubRegionBindings()
866 Extent.getAs<nonloc::ConcreteInt>()) { in collectSubRegionBindings()
1367 if (isa<loc::ConcreteInt>(Array)) in ArrayToPointer()
1393 if (L.getAs<loc::ConcreteInt>()) { in getBinding()
1695 if (auto CI = V.getAs<nonloc::ConcreteInt>()) { in convertOffsetsFromSvalToUnsigneds()
1924 if (const auto CI = R->getIndex().getAs<nonloc::ConcreteInt>()) { in getBindingForElement()
H A DExprEngineC.cpp726 nonloc::ConcreteInt Zero(getBasicVals().getValue(0, B->getType())); in VisitLogicalExpr()
1043 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType())); in VisitUnaryOperator()
H A DRangeConstraintManager.cpp2668 if (const auto CI = SimplifiedMemberVal.getAs<nonloc::ConcreteInt>()) { in simplify()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DDebugIteratorModeling.cpp100 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorPosition()
108 }, loc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorContainer()
116 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get((P->isValid())))); in analyzerIteratorValidity()
117 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorValidity()
H A DArrayBoundCheckerV2.cpp241 static std::pair<NonLoc, nonloc::ConcreteInt>
242 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent, in getSimplifiedOffsets()
254 return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent); in getSimplifiedOffsets()
270 return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent); in getSimplifiedOffsets()
293 if (auto ConcreteThreshold = Threshold.getAs<nonloc::ConcreteInt>()) { in compareValueToThreshold()
365 if (auto ConcreteVal = SV.getAs<nonloc::ConcreteInt>()) { in getConcreteValue()
H A DIteratorRangeChecker.cpp137 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in checkPreCall()
211 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in verifyIncrement()
217 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in verifyDecrement()
300 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))), in isZero()
H A DMmapWriteExecChecker.cpp53 auto ProtLoc = ProtVal.getAs<nonloc::ConcreteInt>(); in checkPreCall()
H A DContainerModeling.cpp444 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushBack()
473 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopBack()
518 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushFront()
555 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopFront()
680 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handleEraseAfter()
1036 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.cpp109 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerContainerDataField()
H A DIteratorModeling.cpp508 if (const auto TruthVal = RetVal.getAs<nonloc::ConcreteInt>()) { in processComparison()
547 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in handleIncrement()
573 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in handleDecrement()
H A DBasicObjCFoundationChecks.cpp455 std::optional<nonloc::ConcreteInt> V = in checkPreStmt()
456 dyn_cast<nonloc::ConcreteInt>(TheTypeVal); in checkPreStmt()
764 if (isa<loc::ConcreteInt>(msg.getArgSVal(I))) in checkPreObjCMessage()
H A DStreamChecker.cpp1056 return nonloc::ConcreteInt(BVF.getIntValue(0, /*isUnsigned=*/false)); in getStartIndex()
1896 std::optional<nonloc::ConcreteInt> CI = in ensureFseekWhenceCorrect()
1897 WhenceVal.getAs<nonloc::ConcreteInt>(); in ensureFseekWhenceCorrect()
H A DMallocChecker.cpp2166 if (std::optional<nonloc::ConcreteInt> IntVal = in SummarizeValue()
2167 V.getAs<nonloc::ConcreteInt>()) in SummarizeValue()
2169 else if (std::optional<loc::ConcreteInt> ConstAddr = in SummarizeValue()
2170 V.getAs<loc::ConcreteInt>()) in SummarizeValue()
H A DCStringChecker.cpp921 if (isa<nonloc::ConcreteInt>(right)) { in checkAdditionOverflow()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp168 ElementCount.castAs<nonloc::ConcreteInt>().getValue(); in allRegionsUsedByWait()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp146 if (V.isUnknown() || isa<loc::ConcreteInt>(V)) { in isDereferencableUninit()

12