| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CallEvent.cpp | 287 SValBuilder &SVB, in addParameterValuesToBindings() argument
290 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
303 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx)); in addParameterValuesToBindings()
322 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
323 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, in getInitialStackFrameContents()
491 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local
494 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); in getInitialStackFrameContents()
499 ASTContext &Ctx = SVB.getContext(); in getInitialStackFrameContents()
561 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
562 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, in getInitialStackFrameContents()
[all …]
|
| D | SimpleConstraintManager.h | 26 SValBuilder &SVB; variable
29 : SU(subengine), SVB(SB) {} in SimpleConstraintManager()
82 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
83 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 | 815 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings() argument
827 SVal Extent = Top->getExtent(SVB); in collectSubRegionBindings()
833 Length = ExtentInt.getLimitedValue() * SVB.getContext().getCharWidth(); in collectSubRegionBindings()
836 Length = FR->getDecl()->getBitWidthValue(SVB.getContext()); in collectSubRegionBindings()
887 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings() argument
889 collectSubRegionBindings(Bindings, SVB, Cluster, Top, in collectSubRegionBindings()
1398 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, in getExistingLazyBinding() argument
1414 if (!SVB.getContext().hasSameUnqualifiedType(RegionTy, SourceRegionTy)) in getExistingLazyBinding()
1422 collectSubRegionBindings(Bindings, SVB, *B.lookup(R->getBaseRegion()), R, in getExistingLazyBinding()
|
| D | RangeConstraintManager.cpp | 288 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) in RangeConstraintManager() argument
289 : SimpleConstraintManager(subengine, SVB) {} in RangeConstraintManager()
|
| D | ExprEngineCallAndReturn.cpp | 566 SValBuilder &SVB = getSValBuilder(); in bindReturnValue() local
568 SVal R = SVB.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count); in bindReturnValue()
|
| D | ExprEngine.cpp | 503 SValBuilder &SVB = getSValBuilder(); in ProcessInitializer() local
504 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame, in ProcessInitializer()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BuiltinFunctionChecker.cpp | 87 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
88 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
90 V = SVB.makeIntVal(Result); in evalCall()
|
| D | CStringChecker.cpp | 1844 SValBuilder &SVB = C.getSValBuilder(); in evalStrsep() local
1858 SVB.conjureSymbolVal(getTag(), CE, LCtx, CharPtrTy, in evalStrsep()
1863 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrsep()
|
| D | RetainCountChecker.cpp | 3339 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
3340 RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount()); in evalCall()
|