| /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 | 305 SValBuilder &SVB,
308 MemRegionManager &MRMgr = SVB.getRegionManager();
321 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx));
340 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
341 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
531 SValBuilder &SVB = StateMgr.getSValBuilder();
534 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
539 ASTContext &Ctx = SVB.getContext();
601 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
612 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 | 799 SValBuilder &SVB, const ClusterBindings &Cluster,
811 SVal Extent = Top->getExtent(SVB);
817 Length = ExtentInt.getLimitedValue() * SVB.getContext().getCharWidth();
820 Length = FR->getDecl()->getBitWidthValue(SVB.getContext());
871 SValBuilder &SVB, const ClusterBindings &Cluster,
[all...] |
| ExprEngineCallAndReturn.cpp | 567 SValBuilder &SVB = getSValBuilder();
569 SVal R = SVB.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count);
[all...] |
| RangeConstraintManager.cpp | 297 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB)
298 : SimpleConstraintManager(subengine, SVB) {}
|
| ExprEngine.cpp | 508 SValBuilder &SVB = getSValBuilder();
509 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,
[all...] |
