Home
last modified time | relevance | path

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

12

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp59 NonLoc getByteOffset() const { return byteOffset.castAs<NonLoc>(); } in getByteOffset()
84 static std::pair<NonLoc, nonloc::ConcreteInt>
85 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent, in getSimplifiedOffsets()
138 NonLoc rawOffsetVal = rawOffset.getByteOffset(); in checkLocation()
146 if (Optional<NonLoc> NV = extentBegin.getAs<NonLoc>()) { in checkLocation()
159 Optional<NonLoc> lowerBoundToCheck = lowerBound.getAs<NonLoc>(); in checkLocation()
183 if (!Size.getAs<NonLoc>()) in checkLocation()
198 Optional<NonLoc> upperboundToCheck = upperbound.getAs<NonLoc>(); in checkLocation()
301 y.castAs<NonLoc>(), in addValue()
327 if (!index.getAs<NonLoc>()) in computeOffset()
[all …]
H A DCStringChecker.cpp404 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in CheckBufferAccess()
413 NonLoc LastOffset = Offset.castAs<NonLoc>(); in CheckBufferAccess()
504 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in CheckOverlap()
759 if (Optional<NonLoc> strLn = strLength.getAs<NonLoc>()) { in getCStringLengthForRegion()
890 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in IsFirstBufInBound()
899 NonLoc LastOffset = Offset.castAs<NonLoc>(); in IsFirstBufInBound()
1051 Optional<NonLoc> SizeNL = SizeVal.getAs<NonLoc>(); in memsetAux()
1416 Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>(); in evalstrLengthCommon()
1444 NonLoc resultNL = result.castAs<NonLoc>(); in evalstrLengthCommon()
1565 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()
281 auto ArraySizeNL = ArraySize.getAs<NonLoc>(); in checkPreStmt()
H A DUnixAPIChecker.cpp233 if (!V.getAs<NonLoc>()) { in CheckOpenVariant()
238 NonLoc oflags = V.castAs<NonLoc>(); in CheckOpenVariant()
239 NonLoc ocreateFlag = C.getSValBuilder() in CheckOpenVariant()
240 .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>(); in CheckOpenVariant()
H A DBoolAssignmentChecker.cpp73 Optional<NonLoc> NV = val.getAs<NonLoc>(); in checkBind()
H A DIterator.h184 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2,
H A DIteratorRangeChecker.cpp70 bool isZero(ProgramStateRef State, const NonLoc &Val);
235 if (isZero(State, Value.castAs<NonLoc>())) in verifyRandomIncrOrDecr()
298 bool isZero(ProgramStateRef State, const NonLoc &Val) { in isZero()
H A DStreamChecker.cpp640 Optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
643 Optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>(); in evalFreadFwrite()
681 Optional<NonLoc> RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFreadFwrite()
H A DIterator.cpp304 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2, in compare()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h125 virtual SVal evalMinus(NonLoc val) = 0;
127 virtual SVal evalComplement(NonLoc val) = 0;
132 NonLoc lhs, NonLoc rhs, QualType resultTy) = 0;
156 NonLoc lhs, NonLoc rhs, QualType resultTy);
276 NonLoc makeLazyCompoundVal(const StoreRef &store, in makeLazyCompoundVal()
282 NonLoc makePointerToMember(const DeclaratorDecl *DD) { in makePointerToMember()
286 NonLoc makePointerToMember(const PointerToMemberData *PTMD) { in makePointerToMember()
290 NonLoc makeZeroArrayIndex() { in makeZeroArrayIndex()
294 NonLoc makeArrayIndex(uint64_t idx) { in makeArrayIndex()
331 NonLoc makeIntVal(uint64_t integer, bool isUnsigned) { in makeIntVal()
[all …]
H A DSVals.h305 class NonLoc : public DefinedSVal {
307 NonLoc() = default;
356 class SymbolVal : public NonLoc {
380 static bool isKind(const NonLoc& V) { in isKind()
386 class ConcreteInt : public NonLoc {
412 static bool isKind(const NonLoc& V) { in isKind()
417 class LocAsInteger : public NonLoc {
459 static bool isKind(const NonLoc& V) { in isKind()
464 class CompoundVal : public NonLoc {
488 static bool isKind(const NonLoc& V) { in isKind()
[all …]
H A DSVals.def62 ABSTRACT_SVAL_WITH_KIND(NonLoc, DefinedSVal)
63 NONLOC_SVAL(CompoundVal, NonLoc)
64 NONLOC_SVAL(ConcreteInt, NonLoc)
65 NONLOC_SVAL(LazyCompoundVal, NonLoc)
66 NONLOC_SVAL(LocAsInteger, NonLoc)
67 NONLOC_SVAL(SymbolVal, NonLoc)
68 NONLOC_SVAL(PointerToMember, NonLoc)
H A DSimpleConstraintManager.h42 ProgramStateRef assumeInclusiveRange(ProgramStateRef State, NonLoc Value,
82 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
84 ProgramStateRef assumeAux(ProgramStateRef State, NonLoc Cond,
H A DConstraintManager.h117 NonLoc Value,
123 NonLoc Value, in assumeInclusiveRangeDual()
H A DExprEngine.h593 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X; in evalMinus()
597 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X; in evalComplement()
618 NonLoc L, NonLoc R, QualType T) { in evalBinOp()
623 NonLoc L, SVal R, QualType T) { in evalBinOp()
625 R.castAs<NonLoc>(), T) : R; in evalBinOp()
H A DProgramState.h690 assert(Val.getAs<NonLoc>() && "Only NonLocs are supported!"); in assumeInclusiveRange()
693 this, Val.castAs<NonLoc>(), From, To, Assumption); in assumeInclusiveRange()
703 assert(Val.getAs<NonLoc>() && "Only NonLocs are supported!"); in assumeInclusiveRange()
706 this, Val.castAs<NonLoc>(), From, To); in assumeInclusiveRange()
760 if (Optional<NonLoc> N = Idx.getAs<NonLoc>()) in getLValue()
H A DBasicValueFactory.h47 assert(NonLoc::isCompoundType(t)); in CompoundValData()
70 assert(NonLoc::isCompoundType(r->getValueType())); in LazyCompoundValData()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp34 NonLoc lhs, NonLoc rhs, QualType resultTy) override;
267 .castAs<NonLoc>(); in doRearrangeUnchecked()
374 NonLoc lhs, NonLoc rhs, in evalBinOpNN()
376 NonLoc InputLHS = lhs; in evalBinOpNN()
377 NonLoc InputRHS = rhs; in evalBinOpNN()
775 if (Optional<NonLoc> Result = ResultVal.getAs<NonLoc>()) in evalBinOpLL()
825 NonLoc l = evalCast(lhs, boolType, QualType{}).castAs<NonLoc>(); in evalBinOpLL()
826 NonLoc r = makeTruthVal(false, boolType).castAs<NonLoc>(); in evalBinOpLL()
904 Optional<NonLoc> LeftIndex = LeftIndexVal.getAs<NonLoc>(); in evalBinOpLL()
914 Optional<NonLoc> RightIndex = RightIndexVal.getAs<NonLoc>(); in evalBinOpLL()
[all …]
H A DSValBuilder.cpp77 NonLoc SValBuilder::makeNonLoc(const llvm::APSInt& lhs, in makeNonLoc()
92 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
401 NonLoc LHS, NonLoc RHS, in makeSymExprValNN()
452 return evalBinOpLN(state, op, *LV, rhs.castAs<NonLoc>(), type); in evalBinOp()
464 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(), in evalBinOp()
534 NonLoc ToTypeMaxVal = in evalIntegralCast()
538 .castAs<NonLoc>(); in evalIntegralCast()
541 NonLoc FromVal = val.castAs<NonLoc>(); in evalIntegralCast()
543 NonLoc CompVal = in evalIntegralCast()
549 NonLoc CastVal = makeNonLoc(se, originalTy, castTy); in evalIntegralCast()
[all …]
H A DSimpleConstraintManager.cpp41 return assume(State, Cond.castAs<NonLoc>(), Assumption); in assume()
45 NonLoc Cond, bool Assumption) { in assume()
53 NonLoc Cond, in assumeAux()
95 ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, in assumeInclusiveRange()
H A DCheckerContext.cpp110 if (!LHSVal.getAs<NonLoc>()) { in evalComparison()
113 if (LHSVal.isUnknownOrUndef() || !LHSVal.getAs<NonLoc>()) in evalComparison()
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()
462 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>(); in getLValueElement()
H A DProgramState.cpp343 Idx.castAs<NonLoc>(), Min, indexTy); in assumeInBound()
349 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), in assumeInBound()
356 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBound()
357 newBound.castAs<NonLoc>(), Ctx.IntTy); in assumeInBound()
H A DDynamicExtent.cpp70 NonLoc OffsetInBytes = SvalBuilder.makeArrayIndex( in getDynamicExtentWithOffset()
H A DSVals.cpp339 castAs<NonLoc>().dumpToStream(os); in dumpToStream()
350 void NonLoc::dumpToStream(raw_ostream &os) const { in dumpToStream()

12