| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ObjCContainersChecker.cpp | 58 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
75 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>())); in REGISTER_MAP_WITH_PROGRAMSTATE()
118 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym); in checkPreStmt()
128 DefinedSVal Idx = IdxVal.castAs<DefinedSVal>(); in checkPreStmt()
|
| H A D | STLAlgorithmModeling.cpp | 155 assert(isa<DefinedSVal>(GreaterOrEqual) && in Find()
157 StateFound = StateFound->assume(GreaterOrEqual.castAs<DefinedSVal>(), true); in Find()
177 assert(isa<DefinedSVal>(Less) && in Find()
179 StateFound = StateFound->assume(Less.castAs<DefinedSVal>(), true); in Find()
|
| H A D | VLASizeChecker.cpp | 112 auto SizeD = C.getSVal(SizeE).castAs<DefinedSVal>(); in checkVLA()
168 DefinedSVal SizeD = SizeV.castAs<DefinedSVal>(); in checkVLAIndexSize()
190 if (std::optional<DefinedSVal> LessThanZeroDVal = in checkVLAIndexSize()
191 LessThanZeroVal.getAs<DefinedSVal>()) { in checkVLAIndexSize()
|
| H A D | UnixAPIChecker.cpp | 117 const auto Ptr = PtrVal.getAs<DefinedSVal>(); in EnsurePtrNotNull()
286 DefinedSVal maskedFlags = maskedFlagsUC.castAs<DefinedSVal>(); in CheckOpenVariant()
336 auto LinePtrSVal = getPointeeVal(LinePtrPtrSVal, State)->getAs<DefinedSVal>(); in EnsureGetdelimBufferAndSizeCorrect()
353 auto NDefSVal = NSVal->getAs<DefinedSVal>(); in EnsureGetdelimBufferAndSizeCorrect()
454 state->assume(argVal.castAs<DefinedSVal>()); in IsZeroByteAllocation()
|
| H A D | StreamChecker.cpp | 227 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) { in makeRetVal()
233 .castAs<DefinedSVal>(); in makeRetVal()
238 DefinedSVal RetVal = makeRetVal(C, CE); in bindAndAssumeTrue()
712 DefinedSVal RetVal = makeRetVal(C, CE); in makeRetValAndAssumeDual()
897 DefinedSVal RetVal = makeRetVal(C, CE); in evalFopen()
940 std::optional<DefinedSVal> StreamVal = in evalFreopen()
941 getStreamArg(Desc, Call).getAs<DefinedSVal>(); in evalFreopen()
1214 std::optional<DefinedSVal> GetBuf = in evalFgetx()
1215 Call.getArgSVal(0).getAs<DefinedSVal>(); in evalFgetx()
1598 std::optional<DefinedSVal> Stream = StreamVal.getAs<DefinedSVal>(); in preFflush()
[all …]
|
| H A D | BasicObjCFoundationChecks.cpp | 564 std::optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>(); in checkPreCall()
867 std::optional<DefinedSVal> KnownCollection = in checkCollectionNonNil()
868 CollectionVal.getAs<DefinedSVal>(); in checkCollectionNonNil()
939 std::optional<DefinedSVal> CountGreaterThanZero = in assumeCollectionNonEmpty()
940 CountGreaterThanZeroVal.getAs<DefinedSVal>(); in assumeCollectionNonEmpty()
|
| H A D | IteratorModeling.cpp | 519 const auto ConditionVal = RetVal.getAs<DefinedSVal>(); in processComparison()
628 if (!isa<DefinedSVal>(Offset)) in handlePtrIncrOrDecr()
798 assert(isa<DefinedSVal>(comparison) && in relateSymbols()
801 auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal); in relateSymbols()
|
| H A D | TrustNonnullChecker.cpp | 230 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated); in addImplication()
|
| H A D | MallocChecker.cpp | 1115 DefinedSVal MaskedFlags = MaskedFlagsUC.castAs<DefinedSVal>(); in performKernelMalloc()
1390 getPointeeVal(Call.getArgSVal(0), State)->getAs<DefinedSVal>(); in checkGetdelim()
1392 getPointeeVal(Call.getArgSVal(1), State)->getAs<DefinedSVal>(); in checkGetdelim()
1498 State->getSVal(Arg, Call.getLocationContext()).getAs<DefinedSVal>(); in ProcessZeroAllocCheck()
1506 DefinedSVal Zero = in ProcessZeroAllocCheck()
1507 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocCheck()
1771 DefinedSVal RetVal = in MallocMemAux()
1774 .castAs<DefinedSVal>()); in MallocMemAux()
|
| H A D | PthreadLockChecker.cpp | 458 if (auto DefinedRetVal = RetVal.getAs<DefinedSVal>()) { in AcquireLockAux()
478 if (auto DefinedRetVal = RetVal.getAs<DefinedSVal>()) { in AcquireLockAux()
|
| H A D | CStringChecker.cpp | 365 std::optional<DefinedSVal> val = V.getAs<DefinedSVal>(); in REGISTER_MAP_WITH_PROGRAMSTATE()
2401 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, Call.getResultType()); in evalStrcmpCommon()
2408 DefinedSVal compareWithZeroVal = compareWithZero.castAs<DefinedSVal>(); in evalStrcmpCommon()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 242 DefinedSVal getMetadataSymbolVal(const void *symbolTag,
248 DefinedSVal getMemberPointer(const NamedDecl *ND);
250 DefinedSVal getFunctionPointer(const FunctionDecl *func);
252 DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy,
314 DefinedSVal makeIntVal(uint64_t integer, QualType type) { in makeIntVal()
400 DefinedSVal makeSymbolVal(SymbolRef Sym) { in makeSymbolVal()
|
| H A D | SVals.h | 220 class DefinedSVal : public DefinedOrUnknownSVal {
231 explicit DefinedSVal(SValKind Kind, const void *Data) in DefinedSVal() function
235 class NonLoc : public DefinedSVal {
237 NonLoc(SValKind Kind, const void *Data) : DefinedSVal(Kind, Data) {} in NonLoc()
252 class Loc : public DefinedSVal {
254 Loc(SValKind Kind, const void *Data) : DefinedSVal(Kind, Data) {} in Loc()
|
| H A D | SimpleConstraintManager.h | 69 ProgramStateRef assumeInternal(ProgramStateRef State, DefinedSVal Cond,
|
| H A D | ProgramState.h | 714 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption); in assume()
723 ->assumeDual(this, Cond.castAs<DefinedSVal>()); in assume()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerContext.cpp | 158 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>()); in evalComparison()
163 DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy); in isGreaterOrEqual()
168 DefinedSVal V = getSValBuilder().makeIntVal(0, false); in isNegative()
|
| H A D | ExprEngineC.cpp | 1093 DefinedSVal V2 = V2_untested.castAs<DefinedSVal>(); in VisitIncrementDecrementOperator()
|
| H A D | BugReporterVisitors.cpp | 1060 if (isa<DefinedSVal>(RValue)) in visitNodeInitial()
1891 SuppressInlineDefensiveChecksVisitor(DefinedSVal Value, const ExplodedNode *N) in SuppressInlineDefensiveChecksVisitor()
2391 V.castAs<DefinedSVal>(), in handle()
2395 if (auto DV = V.getAs<DefinedSVal>()) in handle()
|
| H A D | ProgramState.cpp | 371 return CM.assumeDual(this, inBound.castAs<DefinedSVal>()); in assumeInBoundDual()
|
| H A D | ExprEngine.cpp | 2748 DefinedSVal V = X.castAs<DefinedSVal>(); in assumeCondition()
|
| H A D | RangeConstraintManager.cpp | 2632 const auto DefinedVal = TheValue.castAs<DefinedSVal>(); in reAssume()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 397 const DefinedSVal Constraint;
406 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption, in TrackConstraintBRVisitor()
574 DefinedSVal V;
587 SuppressInlineDefensiveChecksVisitor(DefinedSVal Val, const ExplodedNode *N);
|