| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BoolAssignmentChecker.cpp | 72 Optional<DefinedSVal> DV = val.getAs<DefinedSVal>(); in checkBind()
84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy); in checkBind()
89 Optional<DefinedSVal> greaterThanEqualToZero = in checkBind()
90 greaterThanOrEqualToZeroVal.getAs<DefinedSVal>(); in checkBind()
120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy); in checkBind()
125 Optional<DefinedSVal> lessThanEqToOne = in checkBind()
126 lessThanEqToOneVal.getAs<DefinedSVal>(); in checkBind()
|
| H A D | ObjCContainersChecker.cpp | 67 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
84 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>())); in REGISTER_MAP_WITH_PROGRAMSTATE()
127 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym); in checkPreStmt()
137 DefinedSVal Idx = IdxVal.castAs<DefinedSVal>(); in checkPreStmt()
|
| H A D | VLASizeChecker.cpp | 117 DefinedSVal sizeD = sizeV.castAs<DefinedSVal>(); in checkPreStmt()
141 if (Optional<DefinedSVal> LessThanZeroDVal = in checkPreStmt()
142 LessThanZeroVal.getAs<DefinedSVal>()) { in checkPreStmt()
|
| H A D | DivZeroChecker.cpp | 69 Optional<DefinedSVal> DV = Denom.getAs<DefinedSVal>(); in checkPreStmt()
|
| H A D | StreamChecker.cpp | 214 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, in OpenFileAux()
216 .castAs<DefinedSVal>(); in OpenFileAux()
331 Optional<DefinedSVal> DV = SV.getAs<DefinedSVal>(); in CheckNullStream()
|
| H A D | GTestChecker.cpp | 282 if (!ValuesEqual.getAs<DefinedSVal>()) in assumeValuesEqual()
286 State, ValuesEqual.castAs<DefinedSVal>(), true); in assumeValuesEqual()
|
| H A D | NonNullParamChecker.cpp | 98 auto DV = V.getAs<DefinedSVal>(); in checkPreCall()
123 DV = V.getAs<DefinedSVal>(); in checkPreCall()
|
| H A D | UnixAPIChecker.cpp | 211 DefinedSVal maskedFlags = maskedFlagsUC.castAs<DefinedSVal>(); in CheckOpenVariant()
292 state->assume(argVal.castAs<DefinedSVal>()); in IsZeroByteAllocation()
|
| H A D | BasicObjCFoundationChecks.cpp | 560 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 | ObjCAtSyncChecker.cpp | 63 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); in checkPreStmt()
|
| H A D | TestAfterDivZeroChecker.cpp | 136 Optional<DefinedSVal> DSV = S.getAs<DefinedSVal>(); in isZero()
|
| H A D | PthreadLockChecker.cpp | 234 DefinedSVal retVal = X.castAs<DefinedSVal>(); in AcquireLock()
|
| H A D | TrustNonnullChecker.cpp | 232 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated); in addImplication()
|
| H A D | MallocChecker.cpp | 797 DefinedSVal MaskedFlags = MaskedFlagsUC.castAs<DefinedSVal>(); in performKernelMalloc()
997 Optional<DefinedSVal> DefArgVal = C.getSVal(Arg).getAs<DefinedSVal>(); in ProcessZeroAllocation()
1005 DefinedSVal Zero = in ProcessZeroAllocation()
1006 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocation()
1262 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count) in MallocMemAux()
1263 .castAs<DefinedSVal>(); in MallocMemAux()
|
| H A D | IteratorChecker.cpp | 999 if (auto DV = IsCappedFromAbove.getAs<DefinedSVal>()) { in assumeNoOverflow()
1009 if (auto DV = IsCappedFromBelow.getAs<DefinedSVal>()) { in assumeNoOverflow()
2120 assert(comparison.getAs<DefinedSVal>() && in relateIteratorPositions()
2123 auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal); in relateIteratorPositions()
2390 assert(comparison.getAs<DefinedSVal>() && in compare()
2393 return !State->assume(comparison.castAs<DefinedSVal>(), false); in compare()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 260 class DefinedSVal : public DefinedOrUnknownSVal {
269 DefinedSVal() = default;
270 explicit DefinedSVal(const void *d, bool isLoc, unsigned ValKind) in DefinedSVal() function
292 KnownSVal(const DefinedSVal &V) : SVal(V) {} in KnownSVal()
296 class NonLoc : public DefinedSVal {
300 : DefinedSVal(d, false, SubKind) {} in NonLoc()
318 class Loc : public DefinedSVal {
322 : DefinedSVal(const_cast<void *>(D), true, SubKind) {} in Loc()
|
| H A D | SVals.def | 58 ABSTRACT_SVAL(DefinedSVal, DefinedOrUnknownSVal)
59 ABSTRACT_SVAL_WITH_KIND(Loc, DefinedSVal)
63 ABSTRACT_SVAL_WITH_KIND(NonLoc, DefinedSVal)
|
| H A D | SValBuilder.h | 231 DefinedSVal getMetadataSymbolVal(const void *symbolTag,
237 DefinedSVal getMemberPointer(const DeclaratorDecl *DD);
239 DefinedSVal getFunctionPointer(const FunctionDecl *func);
241 DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy,
303 DefinedSVal makeIntVal(uint64_t integer, QualType type) { in makeIntVal()
|
| H A D | ConstraintManager.h | 84 DefinedSVal Cond,
91 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual()
|
| H A D | SimpleConstraintManager.h | 40 ProgramStateRef assume(ProgramStateRef State, DefinedSVal Cond,
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerContext.cpp | 120 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>()); in evalComparison()
125 DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy); in isGreaterOrEqual()
130 DefinedSVal V = getSValBuilder().makeIntVal(0, false); in isNegative()
|
| H A D | ConstraintManager.cpp | 26 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State, in getLocFromSymbol()
36 DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym) in checkNull()
|
| H A D | SimpleConstraintManager.cpp | 27 DefinedSVal Cond, in assume()
39 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assume()
|
| H A D | SValBuilder.cpp | 205 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag, in getMetadataSymbolVal()
240 DefinedSVal SValBuilder::getMemberPointer(const DeclaratorDecl *DD) { in getMemberPointer()
256 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) { in getFunctionPointer()
260 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block, in getBlockPointer()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 115 DefinedSVal Constraint;
125 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor()
271 DefinedSVal V;
284 SuppressInlineDefensiveChecksVisitor(DefinedSVal Val, const ExplodedNode *N);
|