| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.h | 26 SValBuilder &SVB; member in class:clang::ento::SimpleConstraintManager
29 : SU(subengine), SVB(SB) {}
103 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); }
104 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
| H A D | SimpleConstraintManager.cpp | 73 SValBuilder &SVB = state->getStateManager().getSValBuilder(); local
79 T = SVB.getContext().VoidPtrTy;
81 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>();
|
| H A D | ExprEngineCXX.cpp | 94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
95 ASTContext &Ctx = SVB.getContext();
99 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue);
|
| H A D | RangeConstraintManager.cpp | 297 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) argument
298 : SimpleConstraintManager(subengine, SVB) {}
|
| H A D | 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);
536 evalBinOpFieldRegionFieldRegion(const FieldRegion *LeftFR, const FieldRegion *RightFR, BinaryOperator::Opcode op, QualType resultTy, SimpleSValBuilder &SVB) argument
|
| H A D | 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(); local
351 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
541 SValBuilder &SVB = StateMgr.getSValBuilder(); local
544 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
549 ASTContext &Ctx = SVB.getContext();
611 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local
622 Loc ThisLoc = SVB
313 addParameterValuesToBindings(const StackFrameContext *CalleeCtx, CallEvent::BindingsTy &Bindings, SValBuilder &SVB, const CallEvent &Call, ArrayRef<ParmVarDecl*> parameters) argument
652 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local
1022 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local
1073 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
1099 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
[all...] |
| H A D | ExprEngineCallAndReturn.cpp | 554 SValBuilder &SVB = getSValBuilder(); local
556 SVal R = SVB.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count);
|
| H A D | ExprEngine.cpp | 509 SValBuilder &SVB = getSValBuilder(); local
510 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,
|
| H A D | 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,
874 collectSubRegionBindings(Bindings, SVB, Cluster, Top,
1494 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, argument
1510 if (!SVB.getContext().hasSameUnqualifiedType(RegionTy, SourceRegionTy))
1518 collectSubRegionBindings(Bindings, SVB, *B.lookup(R->getBaseRegion()), R,
799 collectSubRegionBindings(SmallVectorImpl<BindingPair> &Bindings, SValBuilder &SVB, const ClusterBindings &Cluster, const SubRegion *Top, BindingKey TopKey, bool IncludeAllDefaultBindings) argument
871 collectSubRegionBindings(SmallVectorImpl<BindingPair> &Bindings, SValBuilder &SVB, const ClusterBindings &Cluster, const SubRegion *Top, bool IncludeAllDefaultBindings) argument
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BuiltinFunctionChecker.cpp | 88 SValBuilder &SVB = C.getSValBuilder(); local
89 BasicValueFactory &BVF = SVB.getBasicValueFactory();
91 V = SVB.makeIntVal(Result);
|
| H A D | CStringChecker.cpp | 1933 SValBuilder &SVB = C.getSValBuilder();
1947 SVB.conjureSymbolVal(getTag(), CE, LCtx, CharPtrTy,
1952 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
1990 SValBuilder &SVB = C.getSValBuilder(); local
1992 SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
|
| H A D | RetainCountChecker.cpp | 3394 SValBuilder &SVB = C.getSValBuilder(); local
3395 RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount());
|