| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CallEvent.cpp | 315 SValBuilder &SVB, in addParameterValuesToBindings() argument
318 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
331 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx)); in addParameterValuesToBindings()
350 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
351 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, in getInitialStackFrameContents()
541 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local
544 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); in getInitialStackFrameContents()
549 ASTContext &Ctx = SVB.getContext(); in getInitialStackFrameContents()
611 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
622 Loc ThisLoc = SVB.getCXXThis(LambdaOperatorDecl, CalleeCtx); in getInitialStackFrameContents()
[all …]
|
| D | SimpleConstraintManager.h | 26 SValBuilder &SVB; variable
29 : SU(subengine), SVB(SB) {} in SimpleConstraintManager()
103 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
104 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager()
|
| D | SimpleConstraintManager.cpp | 73 SValBuilder &SVB = state->getStateManager().getSValBuilder(); in assume() local
79 T = SVB.getContext().VoidPtrTy; in assume()
81 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assume()
|
| D | SimpleSValBuilder.cpp | 540 SimpleSValBuilder &SVB) { in evalBinOpFieldRegionFieldRegion() argument
563 return SVB.makeTruthVal(false, resultTy); in evalBinOpFieldRegionFieldRegion()
565 return SVB.makeTruthVal(true, resultTy); in evalBinOpFieldRegionFieldRegion()
574 return SVB.makeTruthVal(leftFirst, resultTy); in evalBinOpFieldRegionFieldRegion()
576 return SVB.makeTruthVal(!leftFirst, resultTy); in evalBinOpFieldRegionFieldRegion()
|
| D | ExprEngineCXX.cpp | 94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion() local
95 ASTContext &Ctx = SVB.getContext(); in makeZeroElementRegion()
99 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue); in makeZeroElementRegion()
|
| D | RegionStore.cpp | 800 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings() argument
812 SVal Extent = Top->getExtent(SVB); in collectSubRegionBindings()
818 Length = ExtentInt.getLimitedValue() * SVB.getContext().getCharWidth(); in collectSubRegionBindings()
821 Length = FR->getDecl()->getBitWidthValue(SVB.getContext()); in collectSubRegionBindings()
872 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings() argument
874 collectSubRegionBindings(Bindings, SVB, Cluster, Top, in collectSubRegionBindings()
1494 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, in getExistingLazyBinding() argument
1510 if (!SVB.getContext().hasSameUnqualifiedType(RegionTy, SourceRegionTy)) in getExistingLazyBinding()
1518 collectSubRegionBindings(Bindings, SVB, *B.lookup(R->getBaseRegion()), R, in getExistingLazyBinding()
|
| D | RangeConstraintManager.cpp | 297 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) in RangeConstraintManager() argument
298 : SimpleConstraintManager(subengine, SVB) {} in RangeConstraintManager()
|
| D | ExprEngineCallAndReturn.cpp | 554 SValBuilder &SVB = getSValBuilder(); in bindReturnValue() local
556 SVal R = SVB.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count); in bindReturnValue()
|
| D | ExprEngine.cpp | 509 SValBuilder &SVB = getSValBuilder(); in ProcessInitializer() local
510 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame, in ProcessInitializer()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BuiltinFunctionChecker.cpp | 88 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
89 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
91 V = SVB.makeIntVal(Result); in evalCall()
|
| D | CStringChecker.cpp | 1933 SValBuilder &SVB = C.getSValBuilder(); in evalStrsep() local
1947 SVB.conjureSymbolVal(getTag(), CE, LCtx, CharPtrTy, in evalStrsep()
1952 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrsep()
1990 SValBuilder &SVB = C.getSValBuilder(); in evalStdCopyCommon() local
1992 SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStdCopyCommon()
|
| D | RetainCountChecker.cpp | 3394 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
3395 RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount()); in evalCall()
|