Home
last modified time | relevance | path

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

12

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h268 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); in makeZeroArrayIndex()
272 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); in makeArrayIndex()
277 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { in makeIntVal()
278 return nonloc::ConcreteInt( in makeIntVal()
283 nonloc::ConcreteInt makeBoolVal(const ObjCBoolLiteralExpr *boolean) { in makeBoolVal()
287 nonloc::ConcreteInt makeBoolVal(const CXXBoolLiteralExpr *boolean);
289 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal()
290 return nonloc::ConcreteInt(BasicVals.getValue(integer)); in makeIntVal()
293 loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer) { in makeIntLocVal()
294 return loc::ConcreteInt(BasicVals.getValue(integer)); in makeIntLocVal()
[all …]
H A DSVals.h300 class ConcreteInt : public NonLoc {
302 explicit ConcreteInt(APSIntPtr V) : NonLoc(ConcreteIntKind, V.get()) {} in ConcreteInt() function
515 class ConcreteInt : public Loc {
517 explicit ConcreteInt(APSIntPtr V) : Loc(ConcreteIntKind, V.get()) {} in ConcreteInt() function
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp112 if (auto CI = getAs<nonloc::ConcreteInt>()) in getAsInteger()
114 if (auto CI = getAs<loc::ConcreteInt>()) in getAsInteger()
144 template <class ConcreteInt> QualType VisitConcreteInt(ConcreteInt CI) { in VisitConcreteInt()
246 return getAs<nonloc::ConcreteInt>() || getAs<loc::ConcreteInt>(); in isConstant()
250 if (std::optional<loc::ConcreteInt> LV = getAs<loc::ConcreteInt>()) in isConstant()
252 if (std::optional<nonloc::ConcreteInt> NV = getAs<nonloc::ConcreteInt>()) in isConstant()
316 APSIntPtr Value = castAs<nonloc::ConcreteInt>().getValue(); in dumpToStream()
382 os << castAs<loc::ConcreteInt>().getValue()->getZExtValue() << " (Loc)"; in dumpToStream()
H A DSimpleSValBuilder.cpp183 return nonloc::ConcreteInt(BasicVals.Convert(resultTy, RHS)); in MakeSymIntVal()
239 nonloc::ConcreteInt(BV.getValue(Bound)), in isInRelation()
319 .evalBinOpNN(State, Op, nonloc::ConcreteInt(BV.getValue(LInt)), in doRearrangeUnchecked()
320 nonloc::ConcreteInt(BV.getValue(RInt)), ResultTy) in doRearrangeUnchecked()
502 llvm::APSInt i = rhs.castAs<nonloc::ConcreteInt>().getValue(); in evalBinOpNN()
527 llvm::APSInt LHSValue = lhs.castAs<nonloc::ConcreteInt>().getValue(); in evalBinOpNN()
564 return nonloc::ConcreteInt(*Result); in evalBinOpNN()
698 rhs = nonloc::ConcreteInt(*newRHS); in evalBinOpNN()
860 auto L = lhs.castAs<loc::ConcreteInt>(); in evalBinOpLL()
876 if (std::optional<loc::ConcreteInt> rInt = rhs.getAs<loc::ConcreteInt>()) { in evalBinOpLL()
[all …]
H A DSValBuilder.cpp122 if (std::optional<nonloc::ConcreteInt> CI = in convertToArrayIndex()
123 val.getAs<nonloc::ConcreteInt>()) { in convertToArrayIndex()
132 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){ in makeBoolVal()
445 if (std::optional<nonloc::ConcreteInt> rInt = in makeSymExprValNN()
446 RHS.getAs<nonloc::ConcreteInt>()) in makeSymExprValNN()
450 if (std::optional<nonloc::ConcreteInt> lInt = in makeSymExprValNN()
451 LHS.getAs<nonloc::ConcreteInt>()) in makeSymExprValNN()
460 return makeIntVal(-X.castAs<nonloc::ConcreteInt>().getValue()); in evalMinus()
472 return makeIntVal(~X.castAs<nonloc::ConcreteInt>().getValue()); in evalComplement()
534 if (auto RV = rhs.getAs<loc::ConcreteInt>()) { in evalBinOp()
[all …]
H A DStore.cpp464 if (Base.isUnknownOrUndef() || isa<loc::ConcreteInt>(Base)) in getLValueElement()
503 if (!isa<nonloc::ConcreteInt>(BaseIdx)) in getLValueElement()
507 BaseIdx.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()
512 if (!isa<nonloc::ConcreteInt>(Offset)) in getLValueElement()
516 const llvm::APSInt& OffI = Offset.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()
520 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.cpp292 return loc::ConcreteInt(NewV); in getSVal()
293 return nonloc::ConcreteInt(NewV); in getSVal()
333 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBoundDual()
H A DBugReporterVisitors.cpp262 if (auto CI = V->getAs<nonloc::ConcreteInt>()) in getConcreteIntegerValue()
1007 if (auto CI = V.getAs<nonloc::ConcreteInt>()) { in visitNodeInitial()
1223 using DestTypeValue = std::pair<const StoreInfo &, loc::ConcreteInt>;
1265 if (auto CVal = SI.Value.getAs<loc::ConcreteInt>()) { in showBRDiagnostics()
1271 } else if (auto CVal = SI.Value.getAs<nonloc::ConcreteInt>()) { in showBRDiagnostics()
1311 if (auto CI = SI.Value.getAs<loc::ConcreteInt>()) { in showBRParamDiagnostics()
1321 } else if (auto CI = SI.Value.getAs<nonloc::ConcreteInt>()) { in showBRParamDiagnostics()
1351 if (auto CV = SI.Value.getAs<loc::ConcreteInt>()) { in showBRDefaultDiagnostics()
1373 } else if (auto CV = SI.Value.getAs<nonloc::ConcreteInt>()) { in showBRDefaultDiagnostics()
/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 DIterator.cpp238 const auto IntDistOp = Distance.getAs<nonloc::ConcreteInt>(); in advancePosition()
243 nonloc::ConcreteInt IntDist = *IntDistOp; in advancePosition()
246 IntDist = nonloc::ConcreteInt(BVF.getValue(-IntDist.getValue())); in advancePosition()
278 nonloc::ConcreteInt(BV.getValue(Max)), SVB.getConditionType()); in assumeNoOverflow()
288 nonloc::ConcreteInt(BV.getValue(Min)), SVB.getConditionType()); in assumeNoOverflow()
H A DArrayBoundChecker.cpp257 static std::pair<NonLoc, nonloc::ConcreteInt>
258 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent, in getSimplifiedOffsets()
270 return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent); in getSimplifiedOffsets()
285 return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent); in getSimplifiedOffsets()
308 if (auto ConcreteThreshold = Threshold.getAs<nonloc::ConcreteInt>()) { in compareValueToThreshold()
381 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 DChrootChecker.cpp82 SVal Zero = nonloc::ConcreteInt{BVF.getValue(0, IntTy)}; in evalChroot()
83 SVal Minus1 = nonloc::ConcreteInt{BVF.getValue(-1, IntTy)}; in evalChroot()
H A DBitwiseShiftChecker.cpp174 if (auto ConcreteRight = Right.getAs<nonloc::ConcreteInt>()) in checkOvershift()
247 const auto Left = Ctx.getSVal(LHS).getAs<nonloc::ConcreteInt>(); in checkLeftShiftOverflow()
273 if (const auto ConcreteRight = Right.getAs<nonloc::ConcreteInt>()) { in checkLeftShiftOverflow()
H A DContainerModeling.cpp448 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushBack()
477 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopBack()
522 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushFront()
559 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopFront()
684 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handleEraseAfter()
1041 const auto DiffInt = Diff.getAs<nonloc::ConcreteInt>(); in rebaseSymbol()
H A DMmapWriteExecChecker.cpp67 auto ProtLoc = ProtVal.getAs<nonloc::ConcreteInt>(); in checkPreCall()
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 DBuiltinFunctionChecker.cpp160 nonloc::ConcreteInt MinVal{VF.getValue(MinValType)}; in checkOverflow()
161 nonloc::ConcreteInt MaxVal{VF.getValue(MaxValType)}; in checkOverflow()
H A DDebugContainerModeling.cpp109 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerContainerDataField()
H A DEnumCastOutOfRangeChecker.cpp93 C.getSVal(CE->getSubExpr()).getAs<nonloc::ConcreteInt>(); in reportWarning()
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()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h89 std::string VisitConcreteInt(loc::ConcreteInt V) { in VisitConcreteInt()
101 std::string VisitConcreteInt(nonloc::ConcreteInt V) { in VisitConcreteInt()
209 if (auto I = R->getIndex().getAs<nonloc::ConcreteInt>()) in VisitElementRegion()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp166 ElementCount.castAs<nonloc::ConcreteInt>().getValue(); in allRegionsUsedByWait()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp142 if (V.isUnknown() || isa<loc::ConcreteInt>(V)) { in isDereferencableUninit()

12