Home
last modified time | relevance | path

Searched refs:NonLoc (Results 1 – 25 of 40) sorted by relevance

12

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp58 NonLoc Offset, Messages Msgs) const;
85 static std::optional<std::pair<const SubRegion *, NonLoc>>
88 auto EvalBinOp = [&SVB, State, T](BinaryOperatorKind Op, NonLoc L, NonLoc R) { in computeOffset()
94 std::optional<NonLoc> Offset = SVB.makeZeroArrayIndex(); in computeOffset()
113 NonLoc Size = SVB.makeArrayIndex( in computeOffset()
142 static std::pair<NonLoc, nonloc::ConcreteInt>
182 compareValueToThreshold(ProgramStateRef State, NonLoc Value, NonLoc Threshold, in compareValueToThreshold()
202 .getAs<NonLoc>(); in compareValueToThreshold()
235 static std::optional<int64_t> getConcreteValue(NonLoc SV) { in getConcreteValue()
262 NonLoc Offset, NonLoc Extent, SVal Location) { in getExceedsMsgs()
[all …]
H A DCStringChecker.cpp492 std::optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in CheckBufferAccess()
497 NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>(); in CheckBufferAccess()
501 NonLoc LastOffset = Offset.castAs<NonLoc>(); in CheckBufferAccess()
595 std::optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in CheckOverlap()
1016 std::optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in isFirstBufInBound()
1021 NonLoc One = SB.makeIntVal(1, LengthTy).castAs<NonLoc>(); in isFirstBufInBound()
1025 NonLoc LastOffset = Offset.castAs<NonLoc>(); in isFirstBufInBound()
1216 std::optional<NonLoc> SizeNL = SizeVal.getAs<NonLoc>(); in memsetAux()
1619 NonLoc resultNL = result.castAs<NonLoc>(); in evalstrLengthCommon()
1747 std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>(); in evalStrcpyCommon()
[all …]
H A DVLASizeChecker.cpp103 NonLoc ArrSize = in checkVLA()
104 SVB.makeIntVal(EleSize.getQuantity(), SizeTy).castAs<NonLoc>(); in checkVLA()
114 NonLoc IndexLength = in checkVLA()
115 SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>(); in checkVLA()
118 if (auto MulNonLoc = Mul.getAs<NonLoc>()) in checkVLA()
294 if (!isa<NonLoc>(ArraySize)) { in checkPreStmt()
304 ArraySize.castAs<NonLoc>(), SVB); in checkPreStmt()
H A DStreamChecker.cpp738 std::optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
741 std::optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>(); in evalFreadFwrite()
777 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFreadFwrite()
829 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFgetx()
914 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalFputx()
924 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFputx()
970 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFprintf()
1024 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFscanf()
1074 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalUngetc()
1121 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalGetdelim()
[all …]
H A DUnixAPIChecker.cpp225 if (!isa<NonLoc>(V)) { in CheckOpenVariant()
230 NonLoc oflags = V.castAs<NonLoc>(); in CheckOpenVariant()
231 NonLoc ocreateFlag = C.getSValBuilder() in CheckOpenVariant()
233 .castAs<NonLoc>(); in CheckOpenVariant()
H A DBoolAssignmentChecker.cpp75 std::optional<NonLoc> NV = val.getAs<NonLoc>(); in checkBind()
H A DIteratorRangeChecker.cpp69 bool isZero(ProgramStateRef State, NonLoc Val);
225 if (Value.isUnknownOrUndef() || !isa<NonLoc>(Value)) in verifyRandomIncrOrDecr()
229 if (isZero(State, Value.castAs<NonLoc>())) in verifyRandomIncrOrDecr()
292 bool isZero(ProgramStateRef State, NonLoc Val) { in isZero()
H A DErrnoModeling.cpp290 NonLoc ErrnoSym) { in setErrnoForStdFailure()
292 NonLoc ZeroVal = SVB.makeZeroVal(C.getASTContext().IntTy).castAs<NonLoc>(); in setErrnoForStdFailure()
H A DIterator.h177 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2,
H A DErrnoModeling.h97 NonLoc ErrnoSym);
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h90 SVal evalMinus(NonLoc val);
91 SVal evalComplement(NonLoc val);
96 NonLoc lhs, NonLoc rhs, QualType resultTy) = 0;
128 NonLoc lhs, NonLoc rhs, QualType resultTy);
262 NonLoc makeLazyCompoundVal(const StoreRef &store, in makeLazyCompoundVal()
268 NonLoc makePointerToMember(const DeclaratorDecl *DD) { in makePointerToMember()
272 NonLoc makePointerToMember(const PointerToMemberData *PTMD) { in makePointerToMember()
276 NonLoc makeZeroArrayIndex() { in makeZeroArrayIndex()
280 NonLoc makeArrayIndex(uint64_t idx) { in makeArrayIndex()
317 NonLoc makeIntVal(uint64_t integer, bool isUnsigned) { in makeIntVal()
[all …]
H A DSVals.def59 ABSTRACT_SVAL(NonLoc, DefinedSVal)
60 NONLOC_SVAL(CompoundVal, NonLoc)
61 NONLOC_SVAL(ConcreteInt, NonLoc)
62 NONLOC_SVAL(LazyCompoundVal, NonLoc)
63 NONLOC_SVAL(LocAsInteger, NonLoc)
64 NONLOC_SVAL(SymbolVal, NonLoc)
65 NONLOC_SVAL(PointerToMember, NonLoc)
66 SVAL_RANGE(NonLoc, CompoundVal, PointerToMember)
H A DSVals.h60 #define NONLOC_SVAL(Id, Parent) NonLoc##Id##Kind,
243 class NonLoc : public DefinedSVal {
284 class SymbolVal : public NonLoc {
305 class ConcreteInt : public NonLoc {
314 class LocAsInteger : public NonLoc {
318 : NonLoc(LocAsIntegerKind, &data) { in LocAsInteger()
337 class CompoundVal : public NonLoc {
357 class LazyCompoundVal : public NonLoc {
361 : NonLoc(LazyCompoundValKind, D) { in LazyCompoundVal()
390 class PointerToMember : public NonLoc {
[all …]
H A DSimpleConstraintManager.h73 NonLoc Value,
83 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
85 ProgramStateRef assumeAux(ProgramStateRef State, NonLoc Cond,
H A DConstraintManager.h89 ProgramStateRef assumeInclusiveRange(ProgramStateRef State, NonLoc Value,
98 ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value,
166 NonLoc Value,
H A DSValVisitor.h41 case SVal::NonLoc##Id##Kind: \ in Visit()
56 return derived().VisitNonLoc(V.castAs<NonLoc>()); \
H A DProgramState.h730 assert(isa<NonLoc>(Val) && "Only NonLocs are supported!"); in assumeInclusiveRange()
733 this, Val.castAs<NonLoc>(), From, To, Assumption); in assumeInclusiveRange()
743 assert(isa<NonLoc>(Val) && "Only NonLocs are supported!"); in assumeInclusiveRange()
746 this, Val.castAs<NonLoc>(), From, To); in assumeInclusiveRange()
800 if (std::optional<NonLoc> N = Idx.getAs<NonLoc>()) in getLValue()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp72 NonLoc lhs, NonLoc rhs, QualType resultTy) override;
319 .castAs<NonLoc>(); in doRearrangeUnchecked()
423 NonLoc lhs, NonLoc rhs, in evalBinOpNN()
425 NonLoc InputLHS = lhs; in evalBinOpNN()
426 NonLoc InputRHS = rhs; in evalBinOpNN()
925 NonLoc l = evalCast(lhs, boolType, QualType{}).castAs<NonLoc>(); in evalBinOpLL()
926 NonLoc r = makeTruthVal(false, boolType).castAs<NonLoc>(); in evalBinOpLL()
1004 std::optional<NonLoc> LeftIndex = LeftIndexVal.getAs<NonLoc>(); in evalBinOpLL()
1008 LeftIndex = LeftIndexVal.getAs<NonLoc>(); in evalBinOpLL()
1014 std::optional<NonLoc> RightIndex = RightIndexVal.getAs<NonLoc>(); in evalBinOpLL()
[all …]
H A DSimpleConstraintManager.cpp42 return assume(State, Cond.castAs<NonLoc>(), Assumption); in assumeInternal()
46 NonLoc Cond, bool Assumption) { in assume()
54 NonLoc Cond, in assumeAux()
96 ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, in assumeInclusiveRangeInternal()
H A DSValBuilder.cpp430 NonLoc LHS, NonLoc RHS, in makeSymExprValNN()
456 SVal SValBuilder::evalMinus(NonLoc X) { in evalMinus()
468 SVal SValBuilder::evalComplement(NonLoc X) { in evalComplement()
482 auto OpN = operand.getAs<NonLoc>(); in evalUnaryOp()
517 return evalBinOpLN(state, op, *LV, rhs.castAs<NonLoc>(), type); in evalBinOp()
528 return evalBinOpLN(state, op, *RV, lhs.castAs<NonLoc>(), type); in evalBinOp()
535 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), RhsAsLoc, type); in evalBinOp()
539 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(), in evalBinOp()
610 NonLoc ToTypeMaxVal = makeIntVal(ToTypeMax); in evalIntegralCast()
614 NonLoc FromVal = val.castAs<NonLoc>(); in evalIntegralCast()
[all …]
H A DConstraintManager.cpp101 ConstraintManager::assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value, in assumeInclusiveRangeDual()
117 ConstraintManager::assumeInclusiveRange(ProgramStateRef State, NonLoc Value, in assumeInclusiveRange()
H A DStore.cpp63 NonLoc idx = svalBuilder.makeArrayIndex(index); in MakeElementRegion()
69 NonLoc idx = svalBuilder.makeZeroArrayIndex(); in GetElementZeroRegion()
443 SVal StoreManager::getLValueElement(QualType elementType, NonLoc Offset, in getLValueElement()
475 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>(); in getLValueElement()
H A DCheckerContext.cpp132 if (!isa<NonLoc>(LHSVal)) { in evalComparison()
135 if (LHSVal.isUnknownOrUndef() || !isa<NonLoc>(LHSVal)) in evalComparison()
H A DSVals.cpp286 if (NonLoc::classof(*this)) { in dumpToStream()
287 castAs<NonLoc>().dumpToStream(os); in dumpToStream()
297 void NonLoc::dumpToStream(raw_ostream &os) const { in dumpToStream()
H A DProgramState.cpp337 Idx.castAs<NonLoc>(), Min, indexTy); in assumeInBoundDual()
343 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), in assumeInBoundDual()
350 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBoundDual()
351 newBound.castAs<NonLoc>(), Ctx.IntTy); in assumeInBoundDual()

12