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

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.h 26 SValBuilder &SVB;
29 : SU(subengine), SVB(SB) {}
84 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); }
85 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
CallEvent.cpp 269 SValBuilder &SVB,
273 MemRegionManager &MRMgr = SVB.getRegionManager();
285 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx));
314 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
315 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
483 SValBuilder &SVB = StateMgr.getSValBuilder();
486 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
491 ASTContext &Ctx = SVB.getContext();
560 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
561 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this
    [all...]
SimpleSValBuilder.cpp 514 SimpleSValBuilder &SVB) {
537 return SVB.makeTruthVal(false, resultTy);
539 return SVB.makeTruthVal(true, resultTy);
549 return SVB.makeTruthVal(leftFirst, resultTy);
551 return SVB.makeTruthVal(!leftFirst, resultTy);
    [all...]
ExprEngineCXX.cpp 94 SValBuilder &SVB = State->getStateManager().getSValBuilder();
95 ASTContext &Ctx = SVB.getContext();
99 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue);
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());
    [all...]
RangeConstraintManager.cpp 288 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB)
289 : SimpleConstraintManager(subengine, SVB) {}
ExprEngineCallAndReturn.cpp 566 SValBuilder &SVB = getSValBuilder();
568 SVal R = SVB.conjureSymbolVal(0, E, LCtx, ResultTy, Count);
    [all...]
ExprEngine.cpp 487 SValBuilder &SVB = getSValBuilder();
488 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
CStringChecker.cpp     [all...]

Completed in 262 milliseconds