Home
last modified time | relevance | path

Searched refs:SVB (Results 1 – 25 of 31) sorted by relevance

12

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp108 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError() local
111 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfError()
115 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfError()
125 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange() local
128 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfErrorRange()
132 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfErrorRange()
133 DefinedOrUnknownSVal ErrnoVal = SVB.conjureSymbolVal( in evalSetErrnoIfErrorRange()
147 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState() local
150 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoCheckState()
154 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoCheckState()
[all …]
H A DArrayBoundCheckerV2.cpp171 computeOffset(ProgramStateRef State, SValBuilder &SVB, SVal Location) { in computeOffset() argument
172 QualType T = SVB.getArrayIndexType(); in computeOffset()
173 auto EvalBinOp = [&SVB, State, T](BinaryOperatorKind Op, NonLoc L, NonLoc R) { in computeOffset()
175 return SVB.evalBinOpNN(State, Op, L, R, T).getAs<NonLoc>(); in computeOffset()
179 std::optional<NonLoc> Offset = SVB.makeZeroArrayIndex(); in computeOffset()
198 NonLoc Size = SVB.makeArrayIndex( in computeOffset()
199 SVB.getContext().getTypeSizeInChars(ElemType).getQuantity()); in computeOffset()
273 static bool isNegative(SValBuilder &SVB, ProgramStateRef State, NonLoc Value) { in isNegative() argument
274 const llvm::APSInt *MaxV = SVB.getMaxValue(State, Value); in isNegative()
278 static bool isUnsigned(SValBuilder &SVB, NonLoc Value) { in isUnsigned() argument
[all …]
H A DPointerSubChecker.cpp68 SValBuilder &SVB = C.getSValBuilder(); in checkArrayBounds() local
71 if (const llvm::APSInt *I = SVB.getKnownValue(State, ElemReg->getIndex()); in checkArrayBounds()
78 getDynamicElementCount(State, SuperReg, SVB, ElemReg->getElementType()); in checkArrayBounds()
79 auto IndexTooLarge = SVB.evalBinOp(C.getState(), BO_GT, ElemReg->getIndex(), in checkArrayBounds()
80 ElemCount, SVB.getConditionType()) in checkArrayBounds()
90 auto IndexTooSmall = SVB.evalBinOp(State, BO_LT, ElemReg->getIndex(), in checkArrayBounds()
91 SVB.makeZeroVal(SVB.getArrayIndexType()), in checkArrayBounds()
92 SVB.getConditionType()) in checkArrayBounds()
H A DVLASizeChecker.cpp96 SValBuilder &SVB = C.getSValBuilder(); in checkVLA() local
99 SVB.getBasicValueFactory().getMaxValue(SizeTy).getZExtValue(); in checkVLA()
104 SVB.makeIntVal(EleSize.getQuantity(), SizeTy).castAs<NonLoc>(); in checkVLA()
108 if (const llvm::APSInt *KV = SVB.getKnownValue(State, ArrSize)) in checkVLA()
115 SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>(); in checkVLA()
117 SVal Mul = SVB.evalBinOpNN(State, BO_Mul, ArrSize, IndexLength, SizeTy); in checkVLA()
124 if (const llvm::APSInt *IndexLVal = SVB.getKnownValue(State, IndexLength)) { in checkVLA()
182 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize() local
185 DefinedOrUnknownSVal Zero = SVB.makeZeroVal(SizeTy); in checkVLAIndexSize()
188 SVB.evalBinOp(State, BO_LT, SizeD, Zero, SVB.getConditionType()); in checkVLAIndexSize()
[all …]
H A DSTLAlgorithmModeling.cpp132 auto &SVB = C.getSValBuilder(); in Find() local
135 SVal RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in Find()
151 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE, in Find()
154 SVB.getConditionType()); in Find()
173 SVal Less = SVB.evalBinOp(StateFound, BO_LT, in Find()
176 SVB.getConditionType()); in Find()
H A DErrnoModeling.cpp115 SValBuilder &SVB = C.getSValBuilder(); in checkBeginFunction() local
126 const SymbolConjured *Sym = SVB.conjureSymbol( in checkBeginFunction()
133 ACtx.IntTy, SVB.makeZeroArrayIndex(), in checkBeginFunction()
246 SValBuilder &SVB = C.getSValBuilder(); in setErrnoForStdFailure() local
247 NonLoc ZeroVal = SVB.makeZeroVal(C.getASTContext().IntTy).castAs<NonLoc>(); in setErrnoForStdFailure()
249 SVB.evalBinOp(State, BO_NE, ErrnoSym, ZeroVal, SVB.getConditionType()) in setErrnoForStdFailure()
H A DContainerModeling.cpp143 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
145 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
326 auto &SVB = C.getSValBuilder(); in handleAssignment() local
341 State, SVB, OldEndSym, NewEndSym, OldEndSym, BO_LT); in handleAssignment()
440 auto &SVB = C.getSValBuilder(); in handlePushBack() local
442 SVB.evalBinOp(State, BO_Add, in handlePushBack()
469 auto &SVB = C.getSValBuilder(); in handlePopBack() local
471 SVB.evalBinOp(State, BO_Sub, in handlePopBack()
514 auto &SVB = C.getSValBuilder(); in handlePushFront() local
516 SVB.evalBinOp(State, BO_Sub, in handlePushFront()
[all …]
H A DBuiltinFunctionChecker.cpp130 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
136 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
138 V = SVB.makeIntVal(Result); in evalCall()
146 V = SVB.makeIntVal(0, CE->getType()); in evalCall()
H A DCXXSelfAssignmentChecker.cpp48 auto &SVB = C.getSValBuilder(); in checkBeginFunction() local
50 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in checkBeginFunction()
51 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx)); in checkBeginFunction()
H A DSetgidSetuidOrderChecker.cpp93 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in evalAssume() local
104 SVB.evalBinOpNN(State, BO_NE, nonloc::SymbolVal(LastSetuidSym), in evalAssume()
105 SVB.makeIntVal(0, /*isUnsigned=*/false), in evalAssume()
106 SVB.getConditionType()) in evalAssume()
H A DMIGChecker.cpp236 SValBuilder &SVB = C.getSValBuilder(); in mayBeSuccess() local
241 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
H A DTrustNonnullChecker.cpp217 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication() local
224 SVal AntecedentV = SVB.makeSymbolVal(Antecedent); in addImplication()
229 SVal ConsequentS = SVB.makeSymbolVal(*Consequent); in addImplication()
H A DStreamChecker.cpp635 SValBuilder &SVB; member
644 : SVB(C.getSValBuilder()), ACtx(C.getASTContext()) { in StreamOperationEvaluator()
669 return *SVB.makeZeroVal(Call.getResultType()).getAs<NonLoc>(); in getZeroVal()
686 SVB.makeIntVal(Val, CE->getCallReturnType(ACtx))); in bindReturnValue()
703 auto Cond = SVB.evalBinOpNN(State, Op, LHS, RHS, SVB.getConditionType()) in assumeBinOpNN()
810 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getKnownValue() local
811 if (const llvm::APSInt *Int = SVB.getKnownValue(State, V)) in getKnownValue()
830 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in escapeByStartIndexAndCount() local
838 NonLoc Index = SVB.makeArrayIndex(Idx); in escapeByStartIndexAndCount()
1049 static std::optional<NonLoc> getStartIndex(SValBuilder &SVB, in getStartIndex() argument
[all …]
H A DIteratorModeling.cpp257 auto &SVB = C.getSValBuilder(); in checkPostStmt() local
260 SVB.makeArrayIndex(1)); in checkPostStmt()
647 auto &SVB = C.getSValBuilder(); in handlePtrIncrOrDecr() local
648 SVal NegatedOffset = SVB.evalMinus(Offset.castAs<NonLoc>()); in handlePtrIncrOrDecr()
787 auto &SVB = State->getStateManager().getSValBuilder(); in relateSymbols() local
795 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), in relateSymbols()
796 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
H A DCStringChecker.cpp406 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getIndex() local
407 ASTContext &Ctx = SVB.getContext(); in getIndex()
420 SVB.makeIntVal(Ctx.getTypeSizeInChars(Ctx.WideCharTy).getQuantity(), in getIndex()
424 SVB.evalBinOpNN(State, BO_Mul, ER->getIndex(), WideSize, SizeTy); in getIndex()
458 SValBuilder &SVB = C.getSValBuilder(); in checkInit() local
459 ASTContext &Ctx = SVB.getContext(); in checkInit()
462 const NonLoc Zero = SVB.makeZeroArrayIndex(); in checkInit()
484 const QualType IdxTy = SVB.getArrayIndexType(); in checkInit()
487 SVB.makeIntVal(Ctx.getTypeSizeInChars(ElemTy).getQuantity(), IdxTy) in checkInit()
509 SVB.evalBinOpNN(State, clang::BO_Div, Size.castAs<NonLoc>(), ElemSize, in checkInit()
[all …]
H A DUnixAPIChecker.cpp354 auto &SVB = C.getSValBuilder(); in EnsureGetdelimBufferAndSizeCorrect() local
356 getDynamicExtent(LinePtrNotNull, LinePtrSVal->getAsRegion(), SVB); in EnsureGetdelimBufferAndSizeCorrect()
357 auto LineBufSizeGtN = SVB.evalBinOp(LinePtrNotNull, BO_GE, LineBufSize, in EnsureGetdelimBufferAndSizeCorrect()
358 *NDefSVal, SVB.getConditionType()) in EnsureGetdelimBufferAndSizeCorrect()
H A DMallocChecker.cpp1387 SValBuilder &SVB = C.getSValBuilder(); in checkGetdelim() local
1396 State = setDynamicExtent(State, LinePtr->getAsRegion(), *Size, SVB); in checkGetdelim()
1723 SValBuilder &SVB = C.getSValBuilder(); in checkTaintedness() local
1724 QualType SizeTy = SVB.getContext().getSizeType(); in checkTaintedness()
1725 QualType CmpTy = SVB.getConditionType(); in checkTaintedness()
1728 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in checkTaintedness()
1731 SVB.makeIntVal(MaxValInt / APSIntType(MaxValInt).getValue(4)); in checkTaintedness()
1733 auto Cmp = SVB.evalBinOpNN(State, BO_GE, *SizeNL, MaxLength, CmpTy) in checkTaintedness()
1769 SValBuilder &SVB = C.getSValBuilder(); in MallocMemAux() local
1772 ((Family == AF_Alloca) ? SVB.getAllocaRegionVal(CE, LCtx, Count) in MallocMemAux()
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h25 SValBuilder &SVB; variable
29 : EE(exprengine), SVB(SB) {} in SimpleConstraintManager()
78 SValBuilder &getSValBuilder() const { return SVB; } in getSValBuilder()
79 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
80 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager()
H A DSMTConstraintManager.h276 SValBuilder &SVB = getSValBuilder(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
279 return canReasonAbout(SVB.makeSymbolVal(SC->getOperand())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
283 return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
286 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
289 return canReasonAbout(SVB.makeSymbolVal(SSE->getLHS())) && in REGISTER_TRAIT_WITH_PROGRAMSTATE()
290 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp401 const ParmVarDecl *Parameter, SValBuilder &SVB) { in processArgument() argument
417 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in processArgument()
423 return SVB.makeCompoundVal(ParamType, CompoundSVals); in processArgument()
436 SVal ArgVal, SValBuilder &SVB) { in castArgToParamTypeIfNeeded() argument
458 return SVB.evalCast(ArgVal, Param->getType(), ArgExpr->getType()); in castArgToParamTypeIfNeeded()
463 SValBuilder &SVB, in addParameterValuesToBindings() argument
466 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
492 ArgVal = castArgToParamTypeIfNeeded(Call, Idx, ArgVal, SVB); in addParameterValuesToBindings()
494 Loc ParamLoc = SVB.makeLoc( in addParameterValuesToBindings()
497 std::make_pair(ParamLoc, processArgument(ArgVal, ArgExpr, *I, SVB))); in addParameterValuesToBindings()
[all …]
H A DExprEngineCXX.cpp102 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeElementRegion() local
103 ASTContext &Ctx = SVB.getContext(); in makeElementRegion()
110 LValue = State->getLValue(Ty, SVB.makeArrayIndex(Idx), LValue); in makeElementRegion()
126 SValBuilder &SVB = getSValBuilder(); in computeObjectUnderConstruction() local
127 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction()
128 ASTContext &ACtx = SVB.getContext(); in computeObjectUnderConstruction()
147 Loc ThisPtr = SVB.getCXXThis(CurCtor, LCtx->getStackFrame()); in computeObjectUnderConstruction()
156 return SVB.makeLoc(BaseReg); in computeObjectUnderConstruction()
190 MR, SVB.getContext()); in computeObjectUnderConstruction()
246 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, RegionTy, in computeObjectUnderConstruction()
H A DRangedConstraintManager.cpp236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in simplifyToSVal() local
237 return SVB.simplifySVal(State, SVB.makeSymbolVal(Sym)); in simplifyToSVal()
H A DRegionStore.cpp852 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings() argument
864 SVal Extent = Top->getMemRegionManager().getStaticSize(Top, SVB); in collectSubRegionBindings()
870 Length = ExtentInt.getLimitedValue() * SVB.getContext().getCharWidth(); in collectSubRegionBindings()
873 Length = FR->getDecl()->getBitWidthValue(SVB.getContext()); in collectSubRegionBindings()
923 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings() argument
925 collectSubRegionBindings(Bindings, SVB, Cluster, Top, in collectSubRegionBindings()
1529 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, in getExistingLazyBinding() argument
1546 if (!SVB.getContext().hasSameUnqualifiedType(RegionTy, SourceRegionTy)) in getExistingLazyBinding()
1554 collectSubRegionBindings(Bindings, SVB, *B.lookup(R->getBaseRegion()), R, in getExistingLazyBinding()
1885 const TypedValueRegion *SubReg, const ASTContext &Ctx, SValBuilder &SVB) { in getDerivedSymbolForBinding() argument
[all …]
H A DMemRegion.cpp784 SValBuilder &SVB) const { in getStaticSize()
786 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize()
793 return SVB.makeIntVal( in getStaticSize()
795 SVB.getArrayIndexType()); in getStaticSize()
814 return getElementExtent(Ty, SVB); in getStaticSize()
822 const DefinedOrUnknownSVal Size = getElementExtent(Ty, SVB); in getStaticSize()
/freebsd/sys/contrib/device-tree/src/arm/nuvoton/
H A Dnuvoton-npcm750-evb.dts196 /* lm75 on SVB */
239 /* tmp100 on SVB */

12