Home
last modified time | relevance | path

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

12

/llvm-project-15.0.7/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()
158 Optional<NonLoc> lowerBoundToCheck = lowerBound.getAs<NonLoc>(); in checkLocation()
182 if (!isa<NonLoc>(Size)) in checkLocation()
197 Optional<NonLoc> upperboundToCheck = upperbound.getAs<NonLoc>(); in checkLocation()
300 y.castAs<NonLoc>(), in addValue()
326 if (!isa<NonLoc>(index)) in computeOffset()
[all …]
H A DCStringChecker.cpp445 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in CheckBufferAccess()
454 NonLoc LastOffset = Offset.castAs<NonLoc>(); in CheckBufferAccess()
550 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in CheckOverlap()
825 if (Optional<NonLoc> strLn = strLength.getAs<NonLoc>()) { in getCStringLengthForRegion()
956 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in IsFirstBufInBound()
965 NonLoc LastOffset = Offset.castAs<NonLoc>(); in IsFirstBufInBound()
1114 Optional<NonLoc> SizeNL = SizeVal.getAs<NonLoc>(); in memsetAux()
1484 Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>(); in evalstrLengthCommon()
1512 NonLoc resultNL = result.castAs<NonLoc>(); in evalstrLengthCommon()
1633 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 if (!isa<NonLoc>(ArraySize)) { in checkPreStmt()
291 ArraySize.castAs<NonLoc>(), SVB); in checkPreStmt()
H A DUnixAPIChecker.cpp230 if (!isa<NonLoc>(V)) { in CheckOpenVariant()
235 NonLoc oflags = V.castAs<NonLoc>(); in CheckOpenVariant()
236 NonLoc ocreateFlag = C.getSValBuilder() in CheckOpenVariant()
238 .castAs<NonLoc>(); in CheckOpenVariant()
H A DBoolAssignmentChecker.cpp77 Optional<NonLoc> NV = val.getAs<NonLoc>(); in checkBind()
H A DIterator.h180 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.cpp642 Optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
645 Optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>(); in evalFreadFwrite()
681 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFreadFwrite()
H A DIterator.cpp304 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2, in compare()
/llvm-project-15.0.7/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;
120 NonLoc lhs, NonLoc rhs, QualType resultTy);
245 NonLoc makeLazyCompoundVal(const StoreRef &store, in makeLazyCompoundVal()
251 NonLoc makePointerToMember(const DeclaratorDecl *DD) { in makePointerToMember()
255 NonLoc makePointerToMember(const PointerToMemberData *PTMD) { in makePointerToMember()
259 NonLoc makeZeroArrayIndex() { in makeZeroArrayIndex()
263 NonLoc makeArrayIndex(uint64_t idx) { in makeArrayIndex()
300 NonLoc makeIntVal(uint64_t integer, bool isUnsigned) { in makeIntVal()
[all …]
H A DSVals.h266 class NonLoc : public DefinedSVal {
305 class SymbolVal : public NonLoc {
330 class ConcreteInt : public NonLoc {
345 class LocAsInteger : public NonLoc {
349 : NonLoc(LocAsIntegerKind, &data) { in LocAsInteger()
377 class CompoundVal : public NonLoc {
402 class LazyCompoundVal : public NonLoc {
406 : NonLoc(LazyCompoundValKind, D) { in LazyCompoundVal()
427 static bool classof(NonLoc V) { in classof()
442 class PointerToMember : public NonLoc {
[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.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,
150 NonLoc Value,
H A DProgramState.h728 assert(isa<NonLoc>(Val) && "Only NonLocs are supported!"); in assumeInclusiveRange()
731 this, Val.castAs<NonLoc>(), From, To, Assumption); in assumeInclusiveRange()
741 assert(isa<NonLoc>(Val) && "Only NonLocs are supported!"); in assumeInclusiveRange()
744 this, Val.castAs<NonLoc>(), From, To); in assumeInclusiveRange()
798 if (Optional<NonLoc> N = Idx.getAs<NonLoc>()) in getLValue()
H A DBasicValueFactory.h46 assert(NonLoc::isCompoundType(t)); in CompoundValData()
70 assert(NonLoc::isCompoundType(r->getValueType())); in LazyCompoundValData()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp67 NonLoc lhs, NonLoc rhs, QualType resultTy) override;
304 .castAs<NonLoc>(); in doRearrangeUnchecked()
408 NonLoc lhs, NonLoc rhs, in evalBinOpNN()
410 NonLoc InputLHS = lhs; in evalBinOpNN()
411 NonLoc InputRHS = rhs; in evalBinOpNN()
898 NonLoc l = evalCast(lhs, boolType, QualType{}).castAs<NonLoc>(); in evalBinOpLL()
899 NonLoc r = makeTruthVal(false, boolType).castAs<NonLoc>(); in evalBinOpLL()
977 Optional<NonLoc> LeftIndex = LeftIndexVal.getAs<NonLoc>(); in evalBinOpLL()
981 LeftIndex = LeftIndexVal.getAs<NonLoc>(); in evalBinOpLL()
987 Optional<NonLoc> RightIndex = RightIndexVal.getAs<NonLoc>(); in evalBinOpLL()
[all …]
H A DSimpleConstraintManager.cpp41 return assume(State, Cond.castAs<NonLoc>(), Assumption); in assumeInternal()
45 NonLoc Cond, bool Assumption) { in assume()
53 NonLoc Cond, in assumeAux()
95 ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, in assumeInclusiveRangeInternal()
H A DSValBuilder.cpp423 NonLoc LHS, NonLoc RHS, in makeSymExprValNN()
447 SVal SValBuilder::evalMinus(NonLoc X) { in evalMinus()
459 SVal SValBuilder::evalComplement(NonLoc X) { in evalComplement()
473 auto OpN = operand.getAs<NonLoc>(); in evalUnaryOp()
508 return evalBinOpLN(state, op, *LV, rhs.castAs<NonLoc>(), type); in evalBinOp()
519 return evalBinOpLN(state, op, *RV, lhs.castAs<NonLoc>(), type); in evalBinOp()
530 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(), in evalBinOp()
600 NonLoc ToTypeMaxVal = in evalIntegralCast()
604 .castAs<NonLoc>(); in evalIntegralCast()
607 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.cpp130 if (!isa<NonLoc>(LHSVal)) { in evalComparison()
133 if (LHSVal.isUnknownOrUndef() || !isa<NonLoc>(LHSVal)) in evalComparison()
H A DProgramState.cpp339 Idx.castAs<NonLoc>(), Min, indexTy); in assumeInBoundDual()
345 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), in assumeInBoundDual()
352 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBoundDual()
353 newBound.castAs<NonLoc>(), Ctx.IntTy); in assumeInBoundDual()
H A DSVals.cpp286 castAs<NonLoc>().dumpToStream(os); in dumpToStream()
297 void NonLoc::dumpToStream(raw_ostream &os) const { in dumpToStream()
H A DDynamicExtent.cpp70 NonLoc OffsetInBytes = SvalBuilder.makeArrayIndex( in getDynamicExtentWithOffset()

12