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) {}
103 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); }
104 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 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...]
ExprEngineCallAndReturn.cpp 567 SValBuilder &SVB = getSValBuilder();
569 SVal R = SVB.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count);
    [all...]
ExprEngine.cpp 508 SValBuilder &SVB = getSValBuilder();
509 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
BuiltinFunctionChecker.cpp 88 SValBuilder &SVB = C.getSValBuilder();
89 BasicValueFactory &BVF = SVB.getBasicValueFactory();
91 V = SVB.makeIntVal(Result);
RetainCountChecker.cpp     [all...]

Completed in 4363 milliseconds