| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CallEvent.cpp | 305 SValBuilder &SVB, in addParameterValuesToBindings() argument
308 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
321 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx)); in addParameterValuesToBindings()
340 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
341 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, in getInitialStackFrameContents()
531 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local
534 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); in getInitialStackFrameContents()
539 ASTContext &Ctx = SVB.getContext(); in getInitialStackFrameContents()
601 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
612 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 | 799 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings() argument
811 SVal Extent = Top->getExtent(SVB); in collectSubRegionBindings()
817 Length = ExtentInt.getLimitedValue() * SVB.getContext().getCharWidth(); in collectSubRegionBindings()
820 Length = FR->getDecl()->getBitWidthValue(SVB.getContext()); in collectSubRegionBindings()
871 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings() argument
873 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 | 567 SValBuilder &SVB = getSValBuilder(); in bindReturnValue() local
569 SVal R = SVB.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count); in bindReturnValue()
|
| D | ExprEngine.cpp | 508 SValBuilder &SVB = getSValBuilder(); in ProcessInitializer() local
509 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 | 1926 SValBuilder &SVB = C.getSValBuilder(); in evalStrsep() local
1940 SVB.conjureSymbolVal(getTag(), CE, LCtx, CharPtrTy, in evalStrsep()
1945 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrsep()
|
| D | RetainCountChecker.cpp | 3401 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
3402 RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount()); in evalCall()
|