| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A 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()
|
| H A 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()
|
| H A 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()
|
| H A 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()
|
| H A D | DivZeroChecker.cpp | 70 Optional<DefinedSVal> DV = Denom.getAs<DefinedSVal>(); in checkPreStmt()
|
| H A D | StreamChecker.cpp | 171 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) { in makeRetVal()
177 .castAs<DefinedSVal>(); in makeRetVal()
182 DefinedSVal RetVal = makeRetVal(C, CE); in bindAndAssumeTrue()
449 DefinedSVal RetVal = makeRetVal(C, CE); in evalFopen()
491 Optional<DefinedSVal> StreamVal = in evalFreopen()
492 getStreamArg(Desc, Call).getAs<DefinedSVal>(); in evalFreopen()
702 DefinedSVal RetVal = makeRetVal(C, CE); in evalFseek()
819 auto Stream = StreamVal.getAs<DefinedSVal>(); in ensureStreamNonNull()
|
| H A D | GTestChecker.cpp | 281 if (!ValuesEqual.getAs<DefinedSVal>()) in assumeValuesEqual()
285 State, ValuesEqual.castAs<DefinedSVal>(), true); in assumeValuesEqual()
|
| H A D | UnixAPIChecker.cpp | 246 DefinedSVal maskedFlags = maskedFlagsUC.castAs<DefinedSVal>(); in CheckOpenVariant()
329 state->assume(argVal.castAs<DefinedSVal>()); in IsZeroByteAllocation()
|
| H A 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()
|
| H A D | NonNullParamChecker.cpp | 135 auto DV = V.getAs<DefinedSVal>(); in checkPreCall()
160 DV = V.getAs<DefinedSVal>(); in checkPreCall()
|
| H A D | TestAfterDivZeroChecker.cpp | 135 Optional<DefinedSVal> DSV = S.getAs<DefinedSVal>(); in isZero()
|
| H A D | ObjCAtSyncChecker.cpp | 62 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); in checkPreStmt()
|
| H A 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()
|
| H A D | TrustNonnullChecker.cpp | 231 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated); in addImplication()
|
| H A D | PthreadLockChecker.cpp | 427 if (auto DefinedRetVal = RetVal.getAs<DefinedSVal>()) { in AcquireLockAux()
447 if (auto DefinedRetVal = RetVal.getAs<DefinedSVal>()) { in AcquireLockAux()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 256 class DefinedSVal : public DefinedOrUnknownSVal {
265 DefinedSVal() = default;
266 explicit DefinedSVal(const void *d, bool isLoc, unsigned ValKind) in DefinedSVal() function
288 KnownSVal(const DefinedSVal &V) : SVal(V) {} in KnownSVal()
292 class NonLoc : public DefinedSVal {
296 : DefinedSVal(d, false, SubKind) {} in NonLoc()
314 class Loc : public DefinedSVal {
318 : DefinedSVal(const_cast<void *>(D), true, SubKind) {} in Loc()
|
| H A D | SVals.def | 57 ABSTRACT_SVAL(DefinedSVal, DefinedOrUnknownSVal)
58 ABSTRACT_SVAL_WITH_KIND(Loc, DefinedSVal)
62 ABSTRACT_SVAL_WITH_KIND(NonLoc, DefinedSVal)
|
| H A D | SValBuilder.h | 244 DefinedSVal getMetadataSymbolVal(const void *symbolTag,
250 DefinedSVal getMemberPointer(const NamedDecl *ND);
252 DefinedSVal getFunctionPointer(const FunctionDecl *func);
254 DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy,
316 DefinedSVal makeIntVal(uint64_t integer, QualType type) { in makeIntVal()
|
| H A D | ConstraintManager.h | 86 DefinedSVal Cond,
93 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual()
|
| H A D | SimpleConstraintManager.h | 39 ProgramStateRef assume(ProgramStateRef State, DefinedSVal Cond,
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerContext.cpp | 119 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>()); in evalComparison()
124 DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy); in isGreaterOrEqual()
129 DefinedSVal V = getSValBuilder().makeIntVal(0, false); in isNegative()
|
| H A D | ConstraintManager.cpp | 25 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State, in getLocFromSymbol()
35 DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym) in checkNull()
|
| H A D | SimpleConstraintManager.cpp | 26 DefinedSVal Cond, in assume()
38 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assume()
|
| H A D | SValBuilder.cpp | 204 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag, in getMetadataSymbolVal()
239 DefinedSVal SValBuilder::getMemberPointer(const NamedDecl *ND) { in getMemberPointer()
256 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) { in getFunctionPointer()
260 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block, in getBlockPointer()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 165 DefinedSVal Constraint;
175 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor()
344 DefinedSVal V;
357 SuppressInlineDefensiveChecksVisitor(DefinedSVal Val, const ExplodedNode *N);
|