| /freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.h | 26 SValBuilder &SVB; member in class:clang::ento::SimpleConstraintManager
29 : SU(subengine), SVB(SB) {}
84 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); }
85 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
| H A D | CallEvent.cpp | 261 SValBuilder &SVB,
265 MemRegionManager &MRMgr = SVB.getRegionManager();
274 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx));
303 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local
304 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
472 SValBuilder &SVB = StateMgr.getSValBuilder(); local
475 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
480 ASTContext &Ctx = SVB.getContext();
549 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local
550 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *thi
259 addParameterValuesToBindings(const StackFrameContext *CalleeCtx, CallEvent::BindingsTy &Bindings, SValBuilder &SVB, const CallEvent &Call, CallEvent::param_iterator I, CallEvent::param_iterator E) argument
573 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local
864 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local
915 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
941 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
[all...] |
| H A D | ExprEngineCXX.cpp | 108 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
109 ASTContext &Ctx = SVB.getContext();
113 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue);
|
| H A D | RegionStore.cpp | 812 SValBuilder &SVB, const ClusterBindings &Cluster,
824 SVal Extent = Top->getExtent(SVB);
830 Length = ExtentInt.getLimitedValue() * SVB.getContext().getCharWidth();
833 Length = FR->getDecl()->getBitWidthValue(SVB.getContext());
884 SValBuilder &SVB, const ClusterBindings &Cluster,
886 collectSubRegionBindings(Bindings, SVB, Cluster, Top,
1417 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, argument
1433 if (!SVB.getContext().hasSameUnqualifiedType(RegionTy, SourceRegionTy))
1441 collectSubRegionBindings(Bindings, SVB, *B.lookup(R->getBaseRegion()), R,
811 collectSubRegionBindings(SmallVectorImpl<BindingPair> &Bindings, SValBuilder &SVB, const ClusterBindings &Cluster, const SubRegion *Top, BindingKey TopKey, bool IncludeAllDefaultBindings) argument
883 collectSubRegionBindings(SmallVectorImpl<BindingPair> &Bindings, SValBuilder &SVB, const ClusterBindings &Cluster, const SubRegion *Top, bool IncludeAllDefaultBindings) argument
|
| H A D | RangeConstraintManager.cpp | 288 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) argument
289 : SimpleConstraintManager(subengine, SVB) {}
|
| H A D | ExprEngineCallAndReturn.cpp | 563 SValBuilder &SVB = getSValBuilder(); local
565 SVal R = SVB.conjureSymbolVal(0, E, LCtx, ResultTy, Count);
|
| H A D | ExprEngine.cpp | 475 SValBuilder &SVB = getSValBuilder(); local
476 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,
|
| /freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1787 SValBuilder &SVB = C.getSValBuilder();
1800 SVB.conjureSymbolVal(getTag(), CE, LCtx, CharPtrTy,
1805 Result = SVB.conjureSymbolVal(0, CE, LCtx, C.blockCount());
|