Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h26 SValBuilder &SVB; variable
30 : SU(subengine), 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.h247 SValBuilder &SVB = getSValBuilder(); in canReasonAbout() local
250 return canReasonAbout(SVB.makeSymbolVal(SC->getOperand())); in canReasonAbout()
254 return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS())); in canReasonAbout()
257 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in canReasonAbout()
260 return canReasonAbout(SVB.makeSymbolVal(SSE->getLHS())) && in canReasonAbout()
261 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in canReasonAbout()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp390 ResultTy = SVB.getConditionType(); in doRearrangeUnchecked()
451 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange() local
471 if (ResultTy != SVB.getConditionType()) in tryRearrange()
794 return SVB.makeTruthVal(false, resultTy); in evalBinOpFieldRegionFieldRegion()
796 return SVB.makeTruthVal(true, resultTy); in evalBinOpFieldRegionFieldRegion()
1229 SValBuilder &SVB; in simplifySVal() member in SimpleSValBuilder::simplifySVal::Simplifier
1257 SVB.getKnownValue(State, SVB.makeSymbolVal(S))) in simplifySVal()
1260 return SVB.makeSymbolVal(S); in simplifySVal()
1287 LHS = SVB.makeLoc(Sym); in simplifySVal()
1289 RHS = SVB.makeIntLocVal(S->getRHS()); in simplifySVal()
[all …]
H A DCallEvent.cpp492 SValBuilder &SVB, in addParameterValuesToBindings() argument
495 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
582 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, in getInitialStackFrameContents()
779 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local
782 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); in getInitialStackFrameContents()
787 ASTContext &Ctx = SVB.getContext(); in getInitialStackFrameContents()
801 ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy); in getInitialStackFrameContents()
900 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); in getInitialStackFrameContents()
1335 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
1381 Loc ThisPtr = SVB.getCXXThis(Ctor, CalleeCtx); in getCaller()
[all …]
H A DSimpleConstraintManager.cpp31 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assume() local
37 T = SVB.getContext().VoidPtrTy; in assume()
39 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assume()
H A DExprEngineCXX.cpp101 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion() local
102 ASTContext &Ctx = SVB.getContext(); in makeZeroElementRegion()
106 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue); in makeZeroElementRegion()
116 SValBuilder &SVB = getSValBuilder(); in prepareForObjectConstruction() local
117 MemRegionManager &MRMgr = SVB.getRegionManager(); in prepareForObjectConstruction()
118 ASTContext &ACtx = SVB.getContext(); in prepareForObjectConstruction()
144 SVB.getCXXThis(CurCtor, LCtx->getStackFrame()); in prepareForObjectConstruction()
221 SVal V = SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, in prepareForObjectConstruction()
H A DRegionStore.cpp821 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings() argument
833 SVal Extent = Top->getExtent(SVB); in collectSubRegionBindings()
839 Length = ExtentInt.getLimitedValue() * SVB.getContext().getCharWidth(); in collectSubRegionBindings()
842 Length = FR->getDecl()->getBitWidthValue(SVB.getContext()); in collectSubRegionBindings()
893 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings() argument
895 collectSubRegionBindings(Bindings, SVB, Cluster, Top, in collectSubRegionBindings()
1546 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, in getExistingLazyBinding() argument
1562 if (!SVB.getContext().hasSameUnqualifiedType(RegionTy, SourceRegionTy)) in getExistingLazyBinding()
1570 collectSubRegionBindings(Bindings, SVB, *B.lookup(R->getBaseRegion()), R, in getExistingLazyBinding()
H A DRangeConstraintManager.cpp227 RangeConstraintManager(SubEngine *SE, SValBuilder &SVB) in RangeConstraintManager() argument
228 : RangedConstraintManager(SE, SVB) {} in RangeConstraintManager()
H A DBugReporterVisitors.cpp2398 auto &SVB = State->getStateManager().getSValBuilder(); in VisitNode() local
2403 State->getSVal(SVB.getCXXThis(Met, LCtx->getStackFrame())); in VisitNode()
H A DExprEngine.cpp822 SValBuilder &SVB = getSValBuilder(); in ProcessInitializer() local
823 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame, in ProcessInitializer()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DEnumCastOutOfRangeChecker.cpp38 SValBuilder &SVB; member in __anon7203a1ac0111::ConstraintBasedEQEvaluator
43 : CompareValue(CompareValue), PS(C.getState()), SVB(C.getSValBuilder()) {} in ConstraintBasedEQEvaluator()
46 DefinedOrUnknownSVal EnumDeclValue = SVB.makeIntVal(EnumDeclInitValue); in operator ()()
48 SVB.evalEQ(PS, EnumDeclValue, CompareValue); in operator ()()
H A DCXXSelfAssignmentChecker.cpp49 auto &SVB = C.getSValBuilder(); in checkBeginFunction() local
51 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in checkBeginFunction()
52 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx)); in checkBeginFunction()
H A DVirtualCallChecker.cpp104 auto &SVB = PSM.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE() local
109 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in REGISTER_MAP_WITH_PROGRAMSTATE()
227 auto &SVB = C.getSValBuilder(); in registerCtorDtorCallInState() local
232 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in registerCtorDtorCallInState()
246 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in registerCtorDtorCallInState()
H A DIteratorChecker.cpp1320 auto &SVB = C.getSValBuilder(); in handlePushBack() local
1322 SVB.evalBinOp(State, BO_Add, in handlePushBack()
1346 auto &SVB = C.getSValBuilder(); in handlePopBack() local
1348 SVB.evalBinOp(State, BO_Sub, in handlePopBack()
1391 SVB.evalBinOp(State, BO_Sub, in handlePushFront()
1424 auto &SVB = C.getSValBuilder(); in handlePopFront() local
1426 SVB.evalBinOp(State, BO_Add, in handlePopFront()
1531 auto &SVB = C.getSValBuilder(); in handleEraseAfter() local
1533 SVB.evalBinOp(State, BO_Add, in handleEraseAfter()
1561 auto &SVB = C.getSValBuilder(); in advancePosition() local
[all …]
H A DBuiltinFunctionChecker.cpp108 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
109 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
111 V = SVB.makeIntVal(Result); in evalCall()
H A DStdLibraryFunctionsChecker.cpp244 SValBuilder &SVB = Mgr.getSValBuilder(); in applyAsOutOfRange() local
245 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsOutOfRange()
272 SValBuilder &SVB = Mgr.getSValBuilder(); in applyAsWithinRange() local
273 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsWithinRange()
323 SValBuilder &SVB = Mgr.getSValBuilder(); in applyAsComparesToArgument() local
324 QualType CondT = SVB.getConditionType(); in applyAsComparesToArgument()
333 OtherV = SVB.evalCast(OtherV, T, OtherT); in applyAsComparesToArgument()
334 if (auto CompV = SVB.evalBinOp(State, Op, V, OtherV, CondT) in applyAsComparesToArgument()
439 SValBuilder &SVB = C.getSValBuilder(); in findFunctionSummary() local
440 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in findFunctionSummary()
H A DTrustNonnullChecker.cpp219 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication() local
226 SVal AntecedentV = SVB.makeSymbolVal(Antecedent); in addImplication()
231 SVal ConsequentS = SVB.makeSymbolVal(*Consequent); in addImplication()
H A DCStringChecker.cpp2074 SValBuilder &SVB = C.getSValBuilder(); in evalStrsep() local
2088 SVB.conjureSymbolVal(getTag(), in evalStrsep()
2097 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrsep()
2135 SValBuilder &SVB = C.getSValBuilder(); in evalStdCopyCommon() local
2137 SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStdCopyCommon()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp943 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
945 SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount()); in evalCall()