/prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SimpleConstraintManager.h | 26 SValBuilder &SVB; 30 : SU(subengine), SVB(SB) {} 78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } 79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
/prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SimpleConstraintManager.h | 26 SValBuilder &SVB; 30 : SU(subengine), SVB(SB) {} 78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } 79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
/prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SimpleConstraintManager.h | 26 SValBuilder &SVB; 30 : SU(subengine), SVB(SB) {} 78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } 79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
/prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SimpleConstraintManager.h | 26 SValBuilder &SVB; 30 : SU(subengine), SVB(SB) {} 78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } 79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
/prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SimpleConstraintManager.h | 26 SValBuilder &SVB; 30 : SU(subengine), SVB(SB) {} 78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } 79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
/prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SimpleConstraintManager.h | 26 SValBuilder &SVB; 30 : SU(subengine), SVB(SB) {} 78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } 79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
/prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SimpleConstraintManager.h | 26 SValBuilder &SVB; 30 : SU(subengine), SVB(SB) {} 78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } 79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
/prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SimpleConstraintManager.h | 26 SValBuilder &SVB; 30 : SU(subengine), SVB(SB) {} 78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } 79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
BuiltinFunctionChecker.cpp | 88 SValBuilder &SVB = C.getSValBuilder(); 89 BasicValueFactory &BVF = SVB.getBasicValueFactory(); 91 V = SVB.makeIntVal(Result);
|
CStringChecker.cpp | [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
SimpleConstraintManager.h | 26 SValBuilder &SVB; 29 : SU(subengine), SVB(SB) {} 103 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } 104 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
CallEvent.cpp | 315 SValBuilder &SVB, 318 MemRegionManager &MRMgr = SVB.getRegionManager(); 331 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx)); 350 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 351 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, 541 SValBuilder &SVB = StateMgr.getSValBuilder(); 544 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); 549 ASTContext &Ctx = SVB.getContext(); 611 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 622 Loc ThisLoc = SVB.getCXXThis(LambdaOperatorDecl, CalleeCtx) [all...] |
SimpleConstraintManager.cpp | 73 SValBuilder &SVB = state->getStateManager().getSValBuilder(); 79 T = SVB.getContext().VoidPtrTy; 81 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>();
|
SimpleSValBuilder.cpp | 540 SimpleSValBuilder &SVB) { 563 return SVB.makeTruthVal(false, resultTy); 565 return SVB.makeTruthVal(true, resultTy); 574 return SVB.makeTruthVal(leftFirst, resultTy); 576 return SVB.makeTruthVal(!leftFirst, resultTy); [all...] |
ExprEngineCXX.cpp | 94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); 95 ASTContext &Ctx = SVB.getContext(); 99 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue);
|
RegionStore.cpp | 800 SValBuilder &SVB, const ClusterBindings &Cluster, 812 SVal Extent = Top->getExtent(SVB); 818 Length = ExtentInt.getLimitedValue() * SVB.getContext().getCharWidth(); 821 Length = FR->getDecl()->getBitWidthValue(SVB.getContext()); 872 SValBuilder &SVB, const ClusterBindings &Cluster, [all...] |
ExprEngineCallAndReturn.cpp | 554 SValBuilder &SVB = getSValBuilder(); 556 SVal R = SVB.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count); [all...] |
RangeConstraintManager.cpp | 297 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) 298 : SimpleConstraintManager(subengine, SVB) {}
|
ExprEngine.cpp | 509 SValBuilder &SVB = getSValBuilder(); 510 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame, [all...] |