Home
last modified time | relevance | path

Searched refs:DefinedSVal (Results 1 – 25 of 34) sorted by relevance

12

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DObjCContainersChecker.cpp58 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 DSTLAlgorithmModeling.cpp134 assert(isa<DefinedSVal>(GreaterOrEqual) && in Find()
136 StateFound = StateFound->assume(GreaterOrEqual.castAs<DefinedSVal>(), true); in Find()
156 assert(isa<DefinedSVal>(Less) && in Find()
158 StateFound = StateFound->assume(Less.castAs<DefinedSVal>(), true); in Find()
H A DVLASizeChecker.cpp112 auto SizeD = C.getSVal(SizeE).castAs<DefinedSVal>(); in checkVLA()
174 DefinedSVal SizeD = SizeV.castAs<DefinedSVal>(); in checkVLAIndexSize()
195 if (std::optional<DefinedSVal> LessThanZeroDVal = in checkVLAIndexSize()
196 LessThanZeroVal.getAs<DefinedSVal>()) { in checkVLAIndexSize()
H A DIterator.cpp278 if (auto DV = IsCappedFromAbove.getAs<DefinedSVal>()) { in assumeNoOverflow()
288 if (auto DV = IsCappedFromBelow.getAs<DefinedSVal>()) { in assumeNoOverflow()
309 assert(isa<DefinedSVal>(comparison) && in compare()
312 return !State->assume(comparison.castAs<DefinedSVal>(), false); in compare()
H A DDivZeroChecker.cpp83 std::optional<DefinedSVal> DV = Denom.getAs<DefinedSVal>(); in checkPreStmt()
H A DStreamChecker.cpp192 .castAs<DefinedSVal>(); in makeRetVal()
197 DefinedSVal RetVal = makeRetVal(C, CE); in bindAndAssumeTrue()
581 DefinedSVal RetVal = makeRetVal(C, CE); in evalFopen()
624 std::optional<DefinedSVal> StreamVal = in evalFreopen()
859 std::optional<DefinedSVal> GetBuf = in evalFgetx()
1189 DefinedSVal RetVal = makeRetVal(C, CE); in evalFseek()
1234 DefinedSVal RetVal = makeRetVal(C, CE); in evalFgetpos()
1265 DefinedSVal RetVal = makeRetVal(C, CE); in evalFsetpos()
1439 std::optional<DefinedSVal> Stream = StreamVal.getAs<DefinedSVal>(); in preFflush()
1454 std::optional<DefinedSVal> Stream = StreamVal.getAs<DefinedSVal>(); in evalFflush()
[all …]
H A DUnixAPIChecker.cpp239 DefinedSVal maskedFlags = maskedFlagsUC.castAs<DefinedSVal>(); in CheckOpenVariant()
320 state->assume(argVal.castAs<DefinedSVal>()); in IsZeroByteAllocation()
H A DNonNullParamChecker.cpp137 auto DV = V.getAs<DefinedSVal>(); in checkPreCall()
162 DV = V.getAs<DefinedSVal>(); in checkPreCall()
H A DObjCAtSyncChecker.cpp61 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); in checkPreStmt()
H A DBasicObjCFoundationChecks.cpp568 std::optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>(); in checkPreCall()
871 std::optional<DefinedSVal> KnownCollection = in checkCollectionNonNil()
872 CollectionVal.getAs<DefinedSVal>(); in checkCollectionNonNil()
943 std::optional<DefinedSVal> CountGreaterThanZero = in assumeCollectionNonEmpty()
944 CountGreaterThanZeroVal.getAs<DefinedSVal>(); in assumeCollectionNonEmpty()
H A DTestAfterDivZeroChecker.cpp136 std::optional<DefinedSVal> DSV = S.getAs<DefinedSVal>(); in isZero()
H A DIteratorModeling.cpp518 const auto ConditionVal = RetVal.getAs<DefinedSVal>(); in processComparison()
627 if (!isa<DefinedSVal>(Offset)) in handlePtrIncrOrDecr()
797 assert(isa<DefinedSVal>(comparison) && in relateSymbols()
800 auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal); in relateSymbols()
H A DGTestChecker.cpp278 C.getSValBuilder().evalEQ(State, *DVal1, *DVal2).getAs<DefinedSVal>(); in assumeValuesEqual()
H A DTrustNonnullChecker.cpp230 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated); in addImplication()
H A DPthreadLockChecker.cpp429 if (auto DefinedRetVal = RetVal.getAs<DefinedSVal>()) { in AcquireLockAux()
449 if (auto DefinedRetVal = RetVal.getAs<DefinedSVal>()) { in AcquireLockAux()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DConstraintManager.cpp26 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State, in getLocFromSymbol()
36 DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym) in checkNull()
93 ConstraintManager::assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual()
111 DefinedSVal Cond, bool Assumption) { in assume()
H A DCheckerContext.cpp145 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>()); in evalComparison()
150 DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy); in isGreaterOrEqual()
155 DefinedSVal V = getSValBuilder().makeIntVal(0, false); in isNegative()
H A DSimpleConstraintManager.cpp27 DefinedSVal Cond, in assumeInternal()
39 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assumeInternal()
H A DSValBuilder.cpp242 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag, in getMetadataSymbolVal()
277 DefinedSVal SValBuilder::getMemberPointer(const NamedDecl *ND) { in getMemberPointer()
293 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) { in getFunctionPointer()
297 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block, in getBlockPointer()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.h220 class DefinedSVal : public DefinedOrUnknownSVal {
231 explicit DefinedSVal(SValKind Kind, const void *Data) in DefinedSVal() function
238 /*implicit*/ KnownSVal(DefinedSVal V) : SVal(V) {} in KnownSVal()
243 class NonLoc : public DefinedSVal {
245 NonLoc(SValKind Kind, const void *Data) : DefinedSVal(Kind, Data) {} in NonLoc()
260 class Loc : public DefinedSVal {
262 Loc(SValKind Kind, const void *Data) : DefinedSVal(Kind, Data) {} in Loc()
H A DConstraintManager.h77 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond,
87 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond);
163 DefinedSVal Cond, bool Assumption) = 0;
H A DSValBuilder.h238 DefinedSVal getMetadataSymbolVal(const void *symbolTag,
244 DefinedSVal getMemberPointer(const NamedDecl *ND);
246 DefinedSVal getFunctionPointer(const FunctionDecl *func);
248 DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy,
310 DefinedSVal makeIntVal(uint64_t integer, QualType type) { in makeIntVal()
396 DefinedSVal makeSymbolVal(SymbolRef Sym) { in makeSymbolVal()
H A DSVals.def53 ABSTRACT_SVAL(DefinedSVal, DefinedOrUnknownSVal)
54 ABSTRACT_SVAL(Loc, DefinedSVal)
59 ABSTRACT_SVAL(NonLoc, DefinedSVal)
H A DSimpleConstraintManager.h69 ProgramStateRef assumeInternal(ProgramStateRef State, DefinedSVal Cond,
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitors.h396 const DefinedSVal Constraint;
405 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption, in TrackConstraintBRVisitor()
573 DefinedSVal V;
586 SuppressInlineDefensiveChecksVisitor(DefinedSVal Val, const ExplodedNode *N);

12