Home
last modified time | relevance | path

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

12

/freebsd/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.cpp158 assert(isa<DefinedSVal>(GreaterOrEqual) && in Find()
160 StateFound = StateFound->assume(GreaterOrEqual.castAs<DefinedSVal>(), true); in Find()
180 assert(isa<DefinedSVal>(Less) && in Find()
182 StateFound = StateFound->assume(Less.castAs<DefinedSVal>(), true); in Find()
H A DVLASizeChecker.cpp110 auto SizeD = C.getSVal(SizeE).castAs<DefinedSVal>(); in checkVLA()
166 DefinedSVal SizeD = SizeV.castAs<DefinedSVal>(); in checkVLAIndexSize()
188 if (std::optional<DefinedSVal> LessThanZeroDVal = in checkVLAIndexSize()
189 LessThanZeroVal.getAs<DefinedSVal>()) { in checkVLAIndexSize()
H A DIterator.cpp279 if (auto DV = IsCappedFromAbove.getAs<DefinedSVal>()) { in assumeNoOverflow()
289 if (auto DV = IsCappedFromBelow.getAs<DefinedSVal>()) { in assumeNoOverflow()
310 assert(isa<DefinedSVal>(comparison) && in compare()
313 return !State->assume(comparison.castAs<DefinedSVal>(), false); in compare()
H A DUnixAPIChecker.cpp130 const auto Ptr = PtrVal.getAs<DefinedSVal>(); in EnsurePtrNotNull()
285 DefinedSVal maskedFlags = maskedFlagsUC.castAs<DefinedSVal>(); in CheckOpenVariant()
339 const auto LinePtrSVal = LinePtrValOpt->getAs<DefinedSVal>(); in EnsureGetdelimBufferAndSizeCorrect()
356 auto NDefSVal = NSVal->getAs<DefinedSVal>(); in EnsureGetdelimBufferAndSizeCorrect()
467 state->assume(argVal.castAs<DefinedSVal>()); in IsZeroByteAllocation()
H A DDivZeroChecker.cpp95 std::optional<DefinedSVal> DV = Denom.getAs<DefinedSVal>(); in checkPreStmt()
H A DStreamChecker.cpp227 DefinedSVal makeRetVal(CheckerContext &C, ConstCFGElementRef Elem) { in makeRetVal()
231 .castAs<DefinedSVal>(); in makeRetVal()
236 DefinedSVal RetVal = makeRetVal(C, Elem); in bindAndAssumeTrue()
290 DefinedSVal RetVal,
719 DefinedSVal RetVal = makeRetVal(C, Elem.value()); in makeRetValAndAssumeDual()
904 ProgramStateRef State, DefinedSVal RetVal, CheckerContext &C) const { in assumeNoAliasingWithStdStreams()
934 DefinedSVal RetVal = makeRetVal(C, Call.getCFGElementRef()); in evalFopen()
979 std::optional<DefinedSVal> StreamVal = in evalFreopen()
980 getStreamArg(Desc, Call).getAs<DefinedSVal>(); in evalFreopen()
1253 std::optional<DefinedSVal> GetBuf = in evalFgetx()
[all …]
H A DNonNullParamChecker.cpp136 auto DV = V.getAs<DefinedSVal>(); in checkPreCall()
161 DV = V.getAs<DefinedSVal>(); in checkPreCall()
H A DBasicObjCFoundationChecks.cpp563 std::optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>(); in checkPreCall()
866 std::optional<DefinedSVal> KnownCollection = in checkCollectionNonNil()
867 CollectionVal.getAs<DefinedSVal>(); in checkCollectionNonNil()
938 std::optional<DefinedSVal> CountGreaterThanZero = in assumeCollectionNonEmpty()
939 CountGreaterThanZeroVal.getAs<DefinedSVal>(); in assumeCollectionNonEmpty()
H A DTestAfterDivZeroChecker.cpp133 std::optional<DefinedSVal> DSV = S.getAs<DefinedSVal>(); in isZero()
H A DIteratorModeling.cpp523 const auto ConditionVal = RetVal.getAs<DefinedSVal>(); in processComparison()
634 if (!isa<DefinedSVal>(Offset)) in handlePtrIncrOrDecr()
805 assert(isa<DefinedSVal>(comparison) && in relateSymbols()
808 auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal); in relateSymbols()
H A DTrustNonnullChecker.cpp230 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated); in addImplication()
H A DPthreadLockChecker.cpp458 if (auto DefinedRetVal = RetVal.getAs<DefinedSVal>()) { in AcquireLockAux()
478 if (auto DefinedRetVal = RetVal.getAs<DefinedSVal>()) { in AcquireLockAux()
H A DMallocChecker.cpp1261 DefinedSVal MaskedFlags = MaskedFlagsUC.castAs<DefinedSVal>(); in performKernelMalloc()
1561 const auto LinePtr = LinePtrOpt->getAs<DefinedSVal>(); in checkGetDelimOrGetLine()
1562 const auto Size = SizeOpt->getAs<DefinedSVal>(); in checkGetDelimOrGetLine()
1694 State->getSVal(Arg, Call.getLocationContext()).getAs<DefinedSVal>(); in ProcessZeroAllocCheck()
1702 DefinedSVal Zero = in ProcessZeroAllocCheck()
1703 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocCheck()
1893 DefinedSVal RetVal = in MallocBindRetVal()
H A DCStringChecker.cpp366 std::optional<DefinedSVal> val = V.getAs<DefinedSVal>(); in REGISTER_MAP_WITH_PROGRAMSTATE()
2443 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, Call.getResultType()); in evalStrcmpCommon()
2450 DefinedSVal compareWithZeroVal = compareWithZero.castAs<DefinedSVal>(); in evalStrcmpCommon()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h213 DefinedSVal getConjuredHeapSymbolVal(ConstCFGElementRef elem,
229 DefinedSVal getMetadataSymbolVal(const void *symbolTag,
235 DefinedSVal getMemberPointer(const NamedDecl *ND);
237 DefinedSVal getFunctionPointer(const FunctionDecl *func);
239 DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy,
301 DefinedSVal makeIntVal(uint64_t integer, QualType type) { in makeIntVal()
386 DefinedSVal makeSymbolVal(SymbolRef Sym) { in makeSymbolVal()
H A DSVals.h223 class DefinedSVal : public DefinedOrUnknownSVal {
234 explicit DefinedSVal(SValKind Kind, const void *Data) in DefinedSVal() function
238 class NonLoc : public DefinedSVal {
240 NonLoc(SValKind Kind, const void *Data) : DefinedSVal(Kind, Data) {} in NonLoc()
255 class Loc : public DefinedSVal {
257 Loc(SValKind Kind, const void *Data) : DefinedSVal(Kind, Data) {} in Loc()
H A DSimpleConstraintManager.h69 ProgramStateRef assumeInternal(ProgramStateRef State, DefinedSVal Cond,
H A DProgramState.h707 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption); in assume()
716 ->assumeDual(this, Cond.castAs<DefinedSVal>()); in assume()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerContext.cpp158 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 DSimpleConstraintManager.cpp26 DefinedSVal Cond, in assumeInternal()
38 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assumeInternal()
H A DSValBuilder.cpp216 DefinedSVal SValBuilder::getConjuredHeapSymbolVal(ConstCFGElementRef elem, in getConjuredHeapSymbolVal()
225 return makeZeroVal(type).castAs<DefinedSVal>(); in getConjuredHeapSymbolVal()
240 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag, in getMetadataSymbolVal()
275 DefinedSVal SValBuilder::getMemberPointer(const NamedDecl *ND) { in getMemberPointer()
291 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) { in getFunctionPointer()
295 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block, in getBlockPointer()
H A DExprEngineC.cpp1133 DefinedSVal V2 = V2_untested.castAs<DefinedSVal>(); in VisitIncrementDecrementOperator()
H A DBugReporterVisitors.cpp967 if (isa<DefinedSVal>(RValue)) in visitNodeInitial()
1843 SuppressInlineDefensiveChecksVisitor(DefinedSVal Value, const ExplodedNode *N) in SuppressInlineDefensiveChecksVisitor()
2343 V.castAs<DefinedSVal>(), in handle()
2347 if (auto DV = V.getAs<DefinedSVal>()) in handle()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitors.h397 const DefinedSVal Constraint;
406 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption, in TrackConstraintBRVisitor()
574 DefinedSVal V;
587 SuppressInlineDefensiveChecksVisitor(DefinedSVal Val, const ExplodedNode *N);

12