Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DCallEvent.cpp315 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 …]
DSimpleConstraintManager.h26 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()
DSimpleConstraintManager.cpp73 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()
DSimpleSValBuilder.cpp540 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()
DExprEngineCXX.cpp94 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()
DRegionStore.cpp800 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()
DExprEngineCallAndReturn.cpp554 SValBuilder &SVB = getSValBuilder(); in bindReturnValue() local
556 SVal R = SVB.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count); in bindReturnValue()
DRangeConstraintManager.cpp297 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) in RangeConstraintManager() argument
298 : SimpleConstraintManager(subengine, SVB) {} in RangeConstraintManager()
DExprEngine.cpp509 SValBuilder &SVB = getSValBuilder(); in ProcessInitializer() local
510 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame, in ProcessInitializer()
/external/clang/lib/StaticAnalyzer/Checkers/
DBuiltinFunctionChecker.cpp88 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
89 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
91 V = SVB.makeIntVal(Result); in evalCall()
DCStringChecker.cpp1933 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()
DRetainCountChecker.cpp3394 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
3395 RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount()); in evalCall()
/external/cldr/tools/java/org/unicode/cldr/util/data/external/
D2013-1_UNLOCODE_CodeListPart3.csv3681 ,"PT","SVB","S�o Vicente da Beira","Sao Vicente da Beira","05","--3-----","RN","0401",,"4002N 00734…
5105 ,"RU","SVB","Severobaykal'sk","Severobaykal'sk","BU","--3-----","RL","0701",,"5539N 10918E",""
24222 ,"US","SVB","Shickshinny","Shickshinny","PA","--3-----","RQ","9307",,,
D2013-1_UNLOCODE_CodeListPart2.csv14996 ,"IT","SVB","Sovico","Sovico",,"-23-----","RL","0601",,"4539N 00916E",
18827 ,"MG","SVB","Sambava","Sambava",,"1--4----","AI","9601",,,
D2013-1_UNLOCODE_CodeListPart1.csv16040 ,"CZ","SVB","Slavkov u Brna","Slavkov u Brna","JM","-23-----","RL","0701",,"4909N 01652E",
25946 "�","DK","SVB","Sveb�lle","Svebolle","85","-23-----","RL","1301",,"5539N 01117E","@Sub@Coo"
30599 ,"ES","SVB","San Vicente de la Barquera","San Vicente de la Barquera","S","1-3-----","AI","1207",,"…
42011 ,"FR","SVB","Saint-Vulbas","Saint-Vulbas","01","--3-----","RL","0201",,"4550N 00516E",