Home
last modified time | relevance | path

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

12

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DDynamicExtent.cpp37 return MR->getMemRegionManager().getStaticSize(MR, SVB); in getDynamicExtent()
41 return SVB.makeIntVal(SVB.getContext().getTypeSizeInChars(Ty).getQuantity(), in getElementExtent()
42 SVB.getArrayIndexType()); in getElementExtent()
63 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicElementCount() local
66 SVB.evalBinOp(State, BO_Div, Size, ElementSize, SVB.getArrayIndexType()) in getDynamicElementCount()
73 SValBuilder &SVB, in getDynamicElementCount() argument
80 return getConstantArrayElementCount(SVB, MR); in getDynamicElementCount()
87 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicExtentWithOffset() local
99 SVB.makeArrayIndex(Offset.getOffset() / SVB.getContext().getCharWidth()); in getDynamicExtentWithOffset()
103 OffsetInChars, SVB.getArrayIndexType()); in getDynamicExtentWithOffset()
[all …]
H A DSimpleSValBuilder.cpp310 ResultTy = SVB.getConditionType(); in doRearrangeUnchecked()
370 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange() local
387 if (ResultTy != SVB.getConditionType()) in tryRearrange()
748 return SVB.makeTruthVal(false, resultTy); in evalBinOpFieldRegionFieldRegion()
750 return SVB.makeTruthVal(true, resultTy); in evalBinOpFieldRegionFieldRegion()
1269 SValBuilder &SVB; in simplifySValOnce() member in SimpleSValBuilder::simplifySValOnce::Simplifier
1318 return SVB.makeSymbolVal(S); in simplifySValOnce()
1342 LHS = SVB.makeLoc(Sym); in simplifySValOnce()
1344 RHS = SVB.makeIntLocVal(S->getRHS()); in simplifySValOnce()
1346 RHS = SVB.makeIntVal(S->getRHS()); in simplifySValOnce()
[all …]
H A DCallEvent.cpp417 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in processArgument()
466 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
494 Loc ParamLoc = SVB.makeLoc( in addParameterValuesToBindings()
824 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local
827 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); in getInitialStackFrameContents()
832 ASTContext &Ctx = SVB.getContext(); in getInitialStackFrameContents()
846 ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy); in getInitialStackFrameContents()
944 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); in getInitialStackFrameContents()
1396 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
1441 Loc ThisPtr = SVB.getCXXThis(Ctor, CalleeCtx); in getCaller()
[all …]
H A DSimpleConstraintManager.cpp31 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeInternal() local
37 T = SVB.getContext().VoidPtrTy; in assumeInternal()
39 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assumeInternal()
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()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp106 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError() local
109 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfError()
113 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfError()
123 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange() local
126 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfErrorRange()
130 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfErrorRange()
131 DefinedOrUnknownSVal ErrnoVal = SVB.conjureSymbolVal( in evalSetErrnoIfErrorRange()
145 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState() local
148 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoCheckState()
152 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoCheckState()
[all …]
H A DArrayBoundCheckerV2.cpp87 QualType T = SVB.getArrayIndexType(); in computeOffset()
90 return SVB.evalBinOpNN(State, Op, L, R, T).getAs<NonLoc>(); in computeOffset()
94 std::optional<NonLoc> Offset = SVB.makeZeroArrayIndex(); in computeOffset()
113 NonLoc Size = SVB.makeArrayIndex( in computeOffset()
114 SVB.getContext().getTypeSizeInChars(ElemType).getQuantity()); in computeOffset()
188 QualType T = Value.getType(SVB.getContext()); in compareValueToThreshold()
201 SVB.evalBinOpNN(State, OpKind, Value, Threshold, SVB.getConditionType()) in compareValueToThreshold()
343 SValBuilder &SVB = C.getSValBuilder(); in performCheck() local
346 computeOffset(State, SVB, Location); in performCheck()
364 State, ByteOffset, SVB.makeZeroArrayIndex(), SVB); in performCheck()
[all …]
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()
188 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize() local
191 DefinedOrUnknownSVal Zero = SVB.makeZeroVal(SizeTy); in checkVLAIndexSize()
194 SVB.evalBinOp(State, BO_LT, SizeD, Zero, SVB.getConditionType()); in checkVLAIndexSize()
269 SValBuilder &SVB = C.getSValBuilder(); in checkPreStmt() local
[all …]
H A DBuiltinFunctionChecker.cpp84 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
86 SVB.getAllocaRegionVal(CE, C.getLocationContext(), C.blockCount()); in evalCall()
95 state = setDynamicExtent(state, R.getRegion(), *DefSize, SVB); in evalCall()
106 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
112 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
114 V = SVB.makeIntVal(Result); in evalCall()
122 V = SVB.makeIntVal(0, CE->getType()); in evalCall()
H A DIterator.cpp230 auto &SVB = State->getStateManager().getSValBuilder(); in advancePosition() local
249 Pos->setTo(SVB.evalBinOp(State, BinOp, in advancePosition()
265 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeNoOverflow() local
266 BasicValueFactory &BV = SVB.getBasicValueFactory(); in assumeNoOverflow()
276 SVB.evalBinOpNN(State, BO_LE, nonloc::SymbolVal(Sym), in assumeNoOverflow()
277 nonloc::ConcreteInt(Max), SVB.getConditionType()); in assumeNoOverflow()
286 SVB.evalBinOpNN(State, BO_GE, nonloc::SymbolVal(Sym), in assumeNoOverflow()
287 nonloc::ConcreteInt(Min), SVB.getConditionType()); in assumeNoOverflow()
304 auto &SVB = State->getStateManager().getSValBuilder(); in compare() local
307 SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType()); in compare()
H A DSTLAlgorithmModeling.cpp111 auto &SVB = C.getSValBuilder(); in Find() local
114 SVal RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in Find()
130 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE, in Find()
133 SVB.getConditionType()); in Find()
152 SVal Less = SVB.evalBinOp(StateFound, BO_LT, in Find()
155 SVB.getConditionType()); in Find()
H A DStreamChecker.cpp684 SValBuilder &SVB = C.getSValBuilder(); in evalFclose() local
780 SValBuilder &SVB = C.getSValBuilder(); in evalFreadFwrite() local
782 SVB.evalBinOpNN(State, BO_LT, RetVal, *NMembVal, SVB.getConditionType()) in evalFreadFwrite()
837 SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ASTC.IntTy), in evalFgetx()
842 SVB.makeIntVal(SVB.getBasicValueFactory() in evalFgetx()
929 auto Cond = SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ASTC.IntTy), in evalFputx()
972 SValBuilder &SVB = C.getSValBuilder(); in evalFprintf() local
974 auto Cond = SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ACtx.IntTy), in evalFprintf()
1029 SVB.makeZeroVal(ACtx.IntTy), SVB.getConditionType()) in evalFscanf()
1126 SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(CE->getType()), in evalGetdelim()
[all …]
H A DErrnoModeling.cpp158 SValBuilder &SVB = C.getSValBuilder(); in checkBeginFunction() local
166 const SymbolConjured *Sym = SVB.conjureSymbol( in checkBeginFunction()
173 ACtx.IntTy, SVB.makeZeroArrayIndex(), in checkBeginFunction()
291 SValBuilder &SVB = C.getSValBuilder(); in setErrnoForStdFailure() local
292 NonLoc ZeroVal = SVB.makeZeroVal(C.getASTContext().IntTy).castAs<NonLoc>(); in setErrnoForStdFailure()
294 SVB.evalBinOp(State, BO_NE, ErrnoSym, ZeroVal, SVB.getConditionType()) in setErrnoForStdFailure()
H A DEnumCastOutOfRangeChecker.cpp40 SValBuilder &SVB; member in __anon654627d30111::ConstraintBasedEQEvaluator
45 : CompareValue(CompareValue), PS(C.getState()), SVB(C.getSValBuilder()) {} in ConstraintBasedEQEvaluator()
48 DefinedOrUnknownSVal EnumDeclValue = SVB.makeIntVal(EnumDeclInitValue); in operator ()()
50 SVB.evalEQ(PS, EnumDeclValue, CompareValue); in operator ()()
H A DContainerModeling.cpp321 auto &SVB = C.getSValBuilder(); in handleAssignment() local
435 auto &SVB = C.getSValBuilder(); in handlePushBack() local
437 SVB.evalBinOp(State, BO_Add, in handlePushBack()
464 auto &SVB = C.getSValBuilder(); in handlePopBack() local
466 SVB.evalBinOp(State, BO_Sub, in handlePopBack()
509 auto &SVB = C.getSValBuilder(); in handlePushFront() local
511 SVB.evalBinOp(State, BO_Sub, in handlePushFront()
546 auto &SVB = C.getSValBuilder(); in handlePopFront() local
548 SVB.evalBinOp(State, BO_Add, in handlePopFront()
671 auto &SVB = C.getSValBuilder(); in handleEraseAfter() local
[all …]
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 DBitwiseShiftChecker.cpp140 SValBuilder &SVB = Ctx.getSValBuilder(); in assumeRequirement() local
143 const auto LimitVal = SVB.makeIntVal(Limit, Ctx.getASTContext().IntTy); in assumeRequirement()
147 auto ResultVal = SVB.evalBinOp(FoldedState, Comparison, OperandVal, LimitVal, in assumeRequirement()
148 SVB.getConditionType()); in assumeRequirement()
179 SValBuilder &SVB = Ctx.getSValBuilder(); in checkOvershift() local
180 if (const llvm::APSInt *MinRight = SVB.getMinValue(FoldedState, Right)) { in checkOvershift()
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 DVirtualCallChecker.cpp173 auto &SVB = C.getSValBuilder(); in registerCtorDtorCallInState() local
178 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in registerCtorDtorCallInState()
192 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in registerCtorDtorCallInState()
H A DIteratorModeling.cpp256 auto &SVB = C.getSValBuilder(); in checkPostStmt() local
259 SVB.makeArrayIndex(1)); in checkPostStmt()
646 auto &SVB = C.getSValBuilder(); in handlePtrIncrOrDecr() local
647 SVal NegatedOffset = SVB.evalMinus(Offset.castAs<NonLoc>()); in handlePtrIncrOrDecr()
786 auto &SVB = State->getStateManager().getSValBuilder(); in relateSymbols() local
794 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), in relateSymbols()
795 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
/freebsd-14.2/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 DDynamicExtent.h27 const MemRegion *MR, SValBuilder &SVB);
30 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB);
35 SValBuilder &SVB, QualType Ty);
39 DefinedOrUnknownSVal Extent, SValBuilder &SVB);
H A DSMTConstraintManager.h273 SValBuilder &SVB = getSValBuilder(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
276 return canReasonAbout(SVB.makeSymbolVal(SC->getOperand())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
280 return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
283 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
286 return canReasonAbout(SVB.makeSymbolVal(SSE->getLHS())) && in REGISTER_TRAIT_WITH_PROGRAMSTATE()
287 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()

12