Home
last modified time | relevance | path

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

12

/netbsd-src/external/apache2/llvm/dist/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,
283 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); in makeZeroArrayIndex()
287 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); in makeArrayIndex()
292 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { in makeIntVal()
293 return nonloc::ConcreteInt( in makeIntVal()
298 nonloc::ConcreteInt makeBoolVal(const ObjCBoolLiteralExpr *boolean) { in makeBoolVal()
302 nonloc::ConcreteInt makeBoolVal(const CXXBoolLiteralExpr *boolean);
304 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal()
305 return nonloc::ConcreteInt(BasicVals.getValue(integer)); in makeIntVal()
[all …]
H A DSVals.h373 class ConcreteInt : public NonLoc {
375 explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {} in ConcreteInt() function
383 const ConcreteInt& R) const;
385 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
387 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
392 ConcreteInt() = default;
635 class ConcreteInt : public Loc {
637 explicit ConcreteInt(const llvm::APSInt& V) : Loc(ConcreteIntKind, &V) {} in ConcreteInt() function
645 const ConcreteInt& R) const;
650 ConcreteInt() = default;
H A DSVals.def59 LOC_SVAL(ConcreteInt, Loc)
64 NONLOC_SVAL(ConcreteInt, NonLoc)
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp201 return getAs<nonloc::ConcreteInt>() || getAs<loc::ConcreteInt>(); in isConstant()
205 if (Optional<loc::ConcreteInt> LV = getAs<loc::ConcreteInt>()) in isConstant()
207 if (Optional<nonloc::ConcreteInt> NV = getAs<nonloc::ConcreteInt>()) in isConstant()
220 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, in evalBinOp()
222 const nonloc::ConcreteInt& R) const { in evalBinOp()
227 return nonloc::ConcreteInt(*X); in evalBinOp()
232 nonloc::ConcreteInt
233 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const { in evalComplement()
237 nonloc::ConcreteInt
238 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const { in evalMinus()
[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()
186 nonloc::ConcreteInt(Bound), SVB.getConditionType()); in isInRelation()
265 return SVB.evalBinOpNN(State, Op, nonloc::ConcreteInt(LInt), in doRearrangeUnchecked()
266 nonloc::ConcreteInt(RInt), ResultTy) in doRearrangeUnchecked()
442 llvm::APSInt i = rhs.castAs<nonloc::ConcreteInt>().getValue(); in evalBinOpNN()
467 llvm::APSInt LHSValue = lhs.castAs<nonloc::ConcreteInt>().getValue(); in evalBinOpNN()
491 return nonloc::ConcreteInt(*Result); in evalBinOpNN()
614 rhs = nonloc::ConcreteInt(*newRHS); in evalBinOpNN()
[all …]
H A DStore.cpp448 if (Base.isUnknownOrUndef() || Base.getAs<loc::ConcreteInt>()) in getLValueElement()
477 if (!BaseIdx.getAs<nonloc::ConcreteInt>()) in getLValueElement()
481 BaseIdx.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()
486 if (!Offset.getAs<nonloc::ConcreteInt>()) { in getLValueElement()
494 const llvm::APSInt& OffI = Offset.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()
498 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()
403 if (Optional<nonloc::ConcreteInt> rInt = RHS.getAs<nonloc::ConcreteInt>()) in makeSymExprValNN()
407 if (Optional<nonloc::ConcreteInt> lInt = LHS.getAs<nonloc::ConcreteInt>()) in makeSymExprValNN()
608 return evalCastSubKind(V.castAs<loc::ConcreteInt>(), CastTy, OriginalTy); in evalCastKind()
623 return evalCastSubKind(V.castAs<nonloc::ConcreteInt>(), CastTy, OriginalTy); in evalCastKind()
640 SVal SValBuilder::evalCastSubKind(loc::ConcreteInt V, QualType CastTy, in evalCastSubKind()
832 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 DBugReporterVisitors.cpp232 if (auto CI = V->getAs<nonloc::ConcreteInt>()) in getConcreteIntegerValue()
1099 if (auto CI = V.getAs<nonloc::ConcreteInt>()) { in visitNodeInitial()
1273 if (V.getAs<loc::ConcreteInt>()) { in showBRDiagnostics()
1286 } else if (auto CVal = V.getAs<nonloc::ConcreteInt>()) { in showBRDiagnostics()
1317 if (V.getAs<loc::ConcreteInt>()) { in showBRParamDiagnostics()
1324 } else if (auto CI = V.getAs<nonloc::ConcreteInt>()) { in showBRParamDiagnostics()
1345 if (V.getAs<loc::ConcreteInt>()) { in showBRDefaultDiagnostics()
1368 } else if (auto CV = V.getAs<nonloc::ConcreteInt>()) { in showBRDefaultDiagnostics()
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 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()
/netbsd-src/external/apache2/llvm/dist/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()
/netbsd-src/external/apache2/llvm/dist/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()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp168 ElementCount.getAs<nonloc::ConcreteInt>()->getValue(); in allRegionsUsedByWait()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp147 if (V.isUnknown() || V.getAs<loc::ConcreteInt>()) { in isDereferencableUninit()

12