| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundCheckerV2.cpp | 68 const NonLoc ByteOffsetVal;
72 std::optional<NonLoc> AssumedUpperBound = std::nullopt;
75 StateUpdateReporter(const SubRegion *R, NonLoc ByteOffsVal, const Expr *E, in StateUpdateReporter()
82 void recordUpperBoundAssumption(NonLoc UpperBoundVal) { in recordUpperBoundAssumption()
135 NonLoc Offset, std::optional<NonLoc> Extent,
139 ProgramStateRef ErrorState, NonLoc Val,
145 NonLoc Offset, NonLoc Limit,
170 static std::optional<std::pair<const SubRegion *, NonLoc>>
173 auto EvalBinOp = [&SVB, State, T](BinaryOperatorKind Op, NonLoc L, NonLoc R) { in computeOffset()
175 return SVB.evalBinOpNN(State, Op, L, R, T).getAs<NonLoc>(); in computeOffset()
[all …]
|
| H A D | CStringChecker.cpp | 343 NonLoc left,
344 NonLoc right) const;
404 static std::optional<NonLoc> getIndex(ProgramStateRef State, in getIndex()
419 NonLoc WideSize = in getIndex()
422 .castAs<NonLoc>(); in getIndex()
427 return Offset.castAs<NonLoc>(); in getIndex()
462 const NonLoc Zero = SVB.makeZeroArrayIndex(); in checkInit()
486 NonLoc ElemSize = in checkInit()
488 .castAs<NonLoc>(); in checkInit()
508 std::optional<NonLoc> Offset = in checkInit()
[all …]
|
| H A D | VLASizeChecker.cpp | 103 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 D | StreamChecker.cpp | 668 NonLoc getZeroVal(const CallEvent &Call) { in getZeroVal()
669 return *SVB.makeZeroVal(Call.getResultType()).getAs<NonLoc>(); in getZeroVal()
679 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in makeAndBindRetVal()
701 BinaryOperator::Opcode Op, NonLoc LHS, in assumeBinOpNN()
702 NonLoc RHS) { in assumeBinOpNN()
838 NonLoc Index = SVB.makeArrayIndex(Idx); in escapeByStartIndexAndCount()
1049 static std::optional<NonLoc> getStartIndex(SValBuilder &SVB, in getStartIndex()
1070 const CallEvent &Call, NonLoc SizeVal, in tryToInvalidateFReadBufferByElements()
1071 NonLoc NMembVal) { in tryToInvalidateFReadBufferByElements()
1118 std::optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
[all …]
|
| H A D | BoolAssignmentChecker.cpp | 75 std::optional<NonLoc> NV = Val.getAs<NonLoc>(); in checkBind()
|
| H A D | ErrnoModeling.cpp | 245 NonLoc ErrnoSym) { in setErrnoForStdFailure()
247 NonLoc ZeroVal = SVB.makeZeroVal(C.getASTContext().IntTy).castAs<NonLoc>(); in setErrnoForStdFailure()
|
| H A D | IteratorRangeChecker.cpp | 74 bool isZero(ProgramStateRef State, NonLoc Val);
230 if (Value.isUnknownOrUndef() || !isa<NonLoc>(Value)) in verifyRandomIncrOrDecr()
234 if (isZero(State, Value.castAs<NonLoc>())) in verifyRandomIncrOrDecr()
297 bool isZero(ProgramStateRef State, NonLoc Val) { in isZero()
|
| H A D | UnixAPIChecker.cpp | 272 if (!isa<NonLoc>(V)) { in CheckOpenVariant()
277 NonLoc oflags = V.castAs<NonLoc>(); in CheckOpenVariant()
278 NonLoc ocreateFlag = C.getSValBuilder() in CheckOpenVariant()
280 .castAs<NonLoc>(); in CheckOpenVariant()
|
| H A D | ErrnoModeling.h | 94 NonLoc ErrnoSym);
|
| H A D | CheckPlacementNew.cpp | 83 if (auto ElementCountNL = ElementCount.getAs<NonLoc>()) { in getExtentSizeOfNewTarget()
|
| H A D | MallocChecker.cpp | 1100 if (!isa<NonLoc>(V)) { in performKernelMalloc()
1106 NonLoc Flags = V.castAs<NonLoc>(); in performKernelMalloc()
1107 NonLoc ZeroFlag = C.getSValBuilder() in performKernelMalloc()
1109 .castAs<NonLoc>(); in performKernelMalloc()
1730 NonLoc MaxLength = in checkTaintedness()
1732 std::optional<NonLoc> SizeNL = SizeSVal.getAs<NonLoc>(); in checkTaintedness()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 90 SVal evalMinus(NonLoc val);
91 SVal evalComplement(NonLoc val);
96 NonLoc lhs, NonLoc rhs, QualType resultTy) = 0;
107 Loc lhs, NonLoc rhs, QualType resultTy) = 0;
132 NonLoc lhs, NonLoc rhs, QualType resultTy);
262 NonLoc makeCompoundVal(QualType type, llvm::ImmutableList<SVal> vals) { in makeCompoundVal()
266 NonLoc makeLazyCompoundVal(const StoreRef &store, in makeLazyCompoundVal()
272 NonLoc makePointerToMember(const DeclaratorDecl *DD) { in makePointerToMember()
276 NonLoc makePointerToMember(const PointerToMemberData *PTMD) { in makePointerToMember()
280 NonLoc makeZeroArrayIndex() { in makeZeroArrayIndex()
[all …]
|
| H A D | SVals.h | 60 #define NONLOC_SVAL(Id, Parent) NonLoc##Id##Kind,
182 inline constexpr auto Id##Kind = SVal::SValKind::NonLoc##Id##Kind;
235 class NonLoc : public DefinedSVal {
237 NonLoc(SValKind Kind, const void *Data) : DefinedSVal(Kind, Data) {} in NonLoc() function
276 class SymbolVal : public NonLoc {
279 explicit SymbolVal(SymbolRef Sym) : NonLoc(SymbolValKind, Sym) { in SymbolVal()
297 class ConcreteInt : public NonLoc {
299 explicit ConcreteInt(const llvm::APSInt &V) : NonLoc(ConcreteIntKind, &V) {} in ConcreteInt()
306 class LocAsInteger : public NonLoc {
310 : NonLoc(LocAsIntegerKind, &data) { in LocAsInteger()
[all …]
|
| H A D | SimpleConstraintManager.h | 73 NonLoc Value,
83 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
85 ProgramStateRef assumeAux(ProgramStateRef State, NonLoc Cond,
|
| H A D | ProgramState.h | 732 assert(isa<NonLoc>(Val) && "Only NonLocs are supported!"); in assumeInclusiveRange()
735 this, Val.castAs<NonLoc>(), From, To, Assumption); in assumeInclusiveRange()
745 assert(isa<NonLoc>(Val) && "Only NonLocs are supported!"); in assumeInclusiveRange()
748 this, Val.castAs<NonLoc>(), From, To); in assumeInclusiveRange()
788 if (std::optional<NonLoc> N = Idx.getAs<NonLoc>()) in getLValue()
|
| H A D | BasicValueFactory.h | 46 assert(NonLoc::isCompoundType(t)); in CompoundValData()
70 assert(NonLoc::isCompoundType(r->getValueType())); in LazyCompoundValData()
|
| H A D | Store.h | 150 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base);
|
| H A D | MemRegion.h | 1203 NonLoc Index;
1205 ElementRegion(QualType elementType, NonLoc Idx, const SubRegion *sReg) in ElementRegion()
1219 NonLoc getIndex() const { return Index; } in getIndex()
1509 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | Store.cpp | 63 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 auto Off = svalBuilder.convertToArrayIndex(Offset).getAs<NonLoc>(); in getLValueElement()
|
| H A D | CheckerContext.cpp | 145 if (!isa<NonLoc>(LHSVal)) { in evalComparison()
148 if (LHSVal.isUnknownOrUndef() || !isa<NonLoc>(LHSVal)) in evalComparison()
|
| H A D | SVals.cpp | 286 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 D | ProgramState.cpp | 351 Idx.castAs<NonLoc>(), Min, indexTy); in assumeInBoundDual()
357 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), in assumeInBoundDual()
364 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBoundDual()
365 newBound.castAs<NonLoc>(), Ctx.IntTy); in assumeInBoundDual()
|
| H A D | ExprEngineC.cpp | 271 V = svalBuilder.evalMinus(V.castAs<NonLoc>()); in handleLValueBitCast()
1023 U, LCtx, svalBuilder.evalComplement(V.castAs<NonLoc>())); in VisitUnaryOperator()
1028 svalBuilder.evalMinus(V.castAs<NonLoc>())); in VisitUnaryOperator()
1044 Result = evalBinOp(state, BO_EQ, V.castAs<NonLoc>(), X, U->getType()); in VisitUnaryOperator()
|
| H A D | RegionStore.cpp | 589 NonLoc createLazyBinding(RegionBindingsConstRef B, const TypedValueRegion *R);
1375 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex(); in ArrayToPointer()
2119 NonLoc index = ER->getIndex(); in getBindingForFieldOrElementCommon()
2286 NonLoc RegionStoreManager::createLazyBinding(RegionBindingsConstRef B, in createLazyBinding()
2504 NonLoc Idx = svalBuilder.makeArrayIndex(i); in bindArray()
2551 NonLoc Idx = svalBuilder.makeArrayIndex(index); in bindVector()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 171 const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i); in allRegionsUsedByWait()
|