HomeSort by relevance Sort by last modified time
    Searched defs:SVB (Results 1 - 8 of 8) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.h 26 SValBuilder &SVB;
29 : SU(subengine), SVB(SB) {}
82 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); }
83 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
SimpleConstraintManager.cpp 73 SValBuilder &SVB = state->getStateManager().getSValBuilder();
79 T = SVB.getContext().VoidPtrTy;
81 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>();
ExprEngineCXX.cpp 94 SValBuilder &SVB = State->getStateManager().getSValBuilder();
95 ASTContext &Ctx = SVB.getContext();
99 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue);
CallEvent.cpp 287 SValBuilder &SVB,
290 MemRegionManager &MRMgr = SVB.getRegionManager();
303 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx));
322 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
323 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
491 SValBuilder &SVB = StateMgr.getSValBuilder();
494 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
499 ASTContext &Ctx = SVB.getContext();
561 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
562 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this
    [all...]
ExprEngineCallAndReturn.cpp 566 SValBuilder &SVB = getSValBuilder();
568 SVal R = SVB.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count);
    [all...]
ExprEngine.cpp 494 SValBuilder &SVB = getSValBuilder();
495 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
BuiltinFunctionChecker.cpp 85 SValBuilder &SVB = C.getSValBuilder();
86 BasicValueFactory &BVF = SVB.getBasicValueFactory();
88 V = SVB.makeIntVal(Result);
RetainCountChecker.cpp     [all...]

Completed in 160 milliseconds