| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | ObjCContainersChecker.cpp | 66 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
83 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>())); in REGISTER_MAP_WITH_PROGRAMSTATE()
126 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym); in checkPreStmt()
136 DefinedSVal Idx = IdxVal.castAs<DefinedSVal>(); in checkPreStmt()
|
| D | STLAlgorithmModeling.cpp | 133 assert(GreaterOrEqual.getAs<DefinedSVal>() && in Find()
135 StateFound = StateFound->assume(GreaterOrEqual.castAs<DefinedSVal>(), true); in Find()
155 assert(Less.getAs<DefinedSVal>() && in Find()
157 StateFound = StateFound->assume(Less.castAs<DefinedSVal>(), true); in Find()
|
| D | VLASizeChecker.cpp | 112 auto SizeD = C.getSVal(SizeE).castAs<DefinedSVal>(); in checkVLA()
175 DefinedSVal SizeD = SizeV.castAs<DefinedSVal>(); in checkVLAIndexSize()
195 if (Optional<DefinedSVal> LessThanZeroDVal = in checkVLAIndexSize()
196 LessThanZeroVal.getAs<DefinedSVal>()) { in checkVLAIndexSize()
|
| D | Iterator.cpp | 280 if (auto DV = IsCappedFromAbove.getAs<DefinedSVal>()) { in assumeNoOverflow()
290 if (auto DV = IsCappedFromBelow.getAs<DefinedSVal>()) { in assumeNoOverflow()
311 assert(comparison.getAs<DefinedSVal>() && in compare()
314 return !State->assume(comparison.castAs<DefinedSVal>(), false); in compare()
|
| D | DivZeroChecker.cpp | 70 Optional<DefinedSVal> DV = Denom.getAs<DefinedSVal>(); in checkPreStmt()
|
| D | StreamChecker.cpp | 183 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) { in makeRetVal()
189 .castAs<DefinedSVal>(); in makeRetVal()
194 DefinedSVal RetVal = makeRetVal(C, CE); in bindAndAssumeTrue()
485 DefinedSVal RetVal = makeRetVal(C, CE); in evalFopen()
528 Optional<DefinedSVal> StreamVal = in evalFreopen()
529 getStreamArg(Desc, Call).getAs<DefinedSVal>(); in evalFreopen()
746 DefinedSVal RetVal = makeRetVal(C, CE); in evalFseek()
865 auto Stream = StreamVal.getAs<DefinedSVal>(); in ensureStreamNonNull()
|
| D | GTestChecker.cpp | 281 if (!ValuesEqual.getAs<DefinedSVal>()) in assumeValuesEqual()
285 State, ValuesEqual.castAs<DefinedSVal>(), true); in assumeValuesEqual()
|
| D | UnixAPIChecker.cpp | 246 DefinedSVal maskedFlags = maskedFlagsUC.castAs<DefinedSVal>(); in CheckOpenVariant()
329 state->assume(argVal.castAs<DefinedSVal>()); in IsZeroByteAllocation()
|
| D | NonNullParamChecker.cpp | 135 auto DV = V.getAs<DefinedSVal>(); in checkPreCall()
160 DV = V.getAs<DefinedSVal>(); in checkPreCall()
|
| D | BasicObjCFoundationChecks.cpp | 559 Optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>(); in checkPreCall()
862 Optional<DefinedSVal> KnownCollection = CollectionVal.getAs<DefinedSVal>(); in checkCollectionNonNil()
933 Optional<DefinedSVal> CountGreaterThanZero = in assumeCollectionNonEmpty()
934 CountGreaterThanZeroVal.getAs<DefinedSVal>(); in assumeCollectionNonEmpty()
|
| D | TestAfterDivZeroChecker.cpp | 135 Optional<DefinedSVal> DSV = S.getAs<DefinedSVal>(); in isZero()
|
| D | ObjCAtSyncChecker.cpp | 62 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); in checkPreStmt()
|
| D | IteratorModeling.cpp | 523 const auto ConditionVal = RetVal.getAs<DefinedSVal>(); in processComparison()
633 if (!Offset.getAs<DefinedSVal>()) in handlePtrIncrOrDecr()
803 assert(comparison.getAs<DefinedSVal>() && in relateSymbols()
806 auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal); in relateSymbols()
|
| D | TrustNonnullChecker.cpp | 231 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated); in addImplication()
|
| D | PthreadLockChecker.cpp | 427 if (auto DefinedRetVal = RetVal.getAs<DefinedSVal>()) { in AcquireLockAux()
447 if (auto DefinedRetVal = RetVal.getAs<DefinedSVal>()) { in AcquireLockAux()
|
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SVals.h | 269 class DefinedSVal : public DefinedOrUnknownSVal {
278 DefinedSVal() = default;
279 explicit DefinedSVal(const void *d, bool isLoc, unsigned ValKind) in DefinedSVal() function
301 KnownSVal(const DefinedSVal &V) : SVal(V) {} in KnownSVal()
305 class NonLoc : public DefinedSVal {
309 : DefinedSVal(d, false, SubKind) {} in NonLoc()
327 class Loc : public DefinedSVal {
331 : DefinedSVal(const_cast<void *>(D), true, SubKind) {} in Loc()
|
| D | SVals.def | 57 ABSTRACT_SVAL(DefinedSVal, DefinedOrUnknownSVal)
58 ABSTRACT_SVAL_WITH_KIND(Loc, DefinedSVal)
62 ABSTRACT_SVAL_WITH_KIND(NonLoc, DefinedSVal)
|
| D | SValBuilder.h | 252 DefinedSVal getMetadataSymbolVal(const void *symbolTag,
258 DefinedSVal getMemberPointer(const NamedDecl *ND);
260 DefinedSVal getFunctionPointer(const FunctionDecl *func);
262 DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy,
324 DefinedSVal makeIntVal(uint64_t integer, QualType type) { in makeIntVal()
|
| D | ConstraintManager.h | 86 DefinedSVal Cond,
93 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual()
|
| D | SimpleConstraintManager.h | 39 ProgramStateRef assume(ProgramStateRef State, DefinedSVal Cond,
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | CheckerContext.cpp | 123 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>()); in evalComparison()
128 DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy); in isGreaterOrEqual()
133 DefinedSVal V = getSValBuilder().makeIntVal(0, false); in isNegative()
|
| D | ConstraintManager.cpp | 25 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State, in getLocFromSymbol()
35 DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym) in checkNull()
|
| D | SimpleConstraintManager.cpp | 26 DefinedSVal Cond, in assume()
38 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assume()
|
| D | SValBuilder.cpp | 211 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag, in getMetadataSymbolVal()
246 DefinedSVal SValBuilder::getMemberPointer(const NamedDecl *ND) { in getMemberPointer()
263 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) { in getFunctionPointer()
267 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block, in getBlockPointer()
|
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporterVisitors.h | 387 DefinedSVal Constraint;
397 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor()
566 DefinedSVal V;
579 SuppressInlineDefensiveChecksVisitor(DefinedSVal Val, const ExplodedNode *N);
|