/freebsd-9.3-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) {} 82 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } 83 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
|
H A D | CallEvent.cpp | 285 SValBuilder &SVB, 289 MemRegionManager &MRMgr = SVB.getRegionManager(); 301 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx)); 330 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local 331 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, 499 SValBuilder &SVB = StateMgr.getSValBuilder(); local 502 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); 507 ASTContext &Ctx = SVB.getContext(); 576 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local 577 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *thi 283 addParameterValuesToBindings(const StackFrameContext *CalleeCtx, CallEvent::BindingsTy &Bindings, SValBuilder &SVB, const CallEvent &Call, CallEvent::param_iterator I, CallEvent::param_iterator E) argument 600 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local 895 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local 946 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local 972 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local [all...] |
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 | SimpleSValBuilder.cpp | 540 SimpleSValBuilder &SVB) { 563 return SVB.makeTruthVal(false, resultTy); 565 return SVB.makeTruthVal(true, resultTy); 575 return SVB.makeTruthVal(leftFirst, resultTy); 577 return SVB.makeTruthVal(!leftFirst, resultTy); 536 evalBinOpFieldRegionFieldRegion(const FieldRegion *LeftFR, const FieldRegion *RightFR, BinaryOperator::Opcode op, QualType resultTy, SimpleSValBuilder &SVB) argument
|
H A D | ExprEngineCXX.cpp | 100 SValBuilder &SVB = State->getStateManager().getSValBuilder(); 101 ASTContext &Ctx = SVB.getContext(); 105 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue);
|
H A D | RegionStore.cpp | 817 SValBuilder &SVB, const ClusterBindings &Cluster, 829 SVal Extent = Top->getExtent(SVB); 835 Length = ExtentInt.getLimitedValue() * SVB.getContext().getCharWidth(); 838 Length = FR->getDecl()->getBitWidthValue(SVB.getContext()); 889 SValBuilder &SVB, const ClusterBindings &Cluster, 891 collectSubRegionBindings(Bindings, SVB, Cluster, Top, 1400 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, argument 1416 if (!SVB.getContext().hasSameUnqualifiedType(RegionTy, SourceRegionTy)) 1424 collectSubRegionBindings(Bindings, SVB, *B.lookup(R->getBaseRegion()), R, 816 collectSubRegionBindings(SmallVectorImpl<BindingPair> &Bindings, SValBuilder &SVB, const ClusterBindings &Cluster, const SubRegion *Top, BindingKey TopKey, bool IncludeAllDefaultBindings) argument 888 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 | 566 SValBuilder &SVB = getSValBuilder(); local 568 SVal R = SVB.conjureSymbolVal(0, E, LCtx, ResultTy, Count);
|
H A D | ExprEngine.cpp | 488 SValBuilder &SVB = getSValBuilder(); local 489 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,
|
/freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BuiltinFunctionChecker.cpp | 85 SValBuilder &SVB = C.getSValBuilder(); local 86 BasicValueFactory &BVF = SVB.getBasicValueFactory(); 88 V = SVB.makeIntVal(Result);
|
H A D | CStringChecker.cpp | 1827 SValBuilder &SVB = C.getSValBuilder(); 1841 SVB.conjureSymbolVal(getTag(), CE, LCtx, CharPtrTy, 1846 Result = SVB.conjureSymbolVal(0, CE, LCtx, C.blockCount());
|