Home
last modified time | relevance | path

Searched refs:getStoreManager (Results 1 – 19 of 19) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp52 stateMgr->getStoreManager().incrementReferenceCount(store); in ProgramState()
62 stateMgr->getStoreManager().incrementReferenceCount(store); in ProgramState()
67 stateMgr->getStoreManager().decrementReferenceCount(store); in ~ProgramState()
412 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore); in setStore()
414 stateMgr->getStoreManager().decrementReferenceCount(store); in setStore()
426 Mgr.getStoreManager().print(getStore(), Out, NL, Sep); in print()
513 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
606 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
DSValBuilder.cpp470 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
546 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
DExprEngineCXX.cpp282 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, CE->getType(), in VisitCXXConstructExpr()
494 getStoreManager().GetElementZeroRegion(NewReg, ObjTy); in VisitCXXNewExpr()
DExprEngineC.cpp356 val = getStoreManager().evalDerivedToBase(val, CastE); in VisitCast()
377 val = getStoreManager().evalDynamicCast(val, T, Failed); in VisitCast()
DSymbolManager.cpp551 reapedStore.getStoreManager().includedInBindings(store, VR); in isLive()
DExprEngine.cpp203 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
370 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead()
649 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, BaseTy, in ProcessBaseDtor()
DExprEngineCallAndReturn.cpp256 getStoreManager()); in processCallExit()
DCallEvent.cpp545 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed); in getInitialStackFrameContents()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCheckerContext.h110 StoreManager &getStoreManager() { in getStoreManager() function
111 return Eng.getStoreManager(); in getStoreManager()
DStoreRef.h47 const StoreManager &getStoreManager() const { return mgr; } in getStoreManager() function
DExprEngine.h300 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager() function
DProgramState.h516 StoreManager& getStoreManager() { return *StoreMgr; } in getStoreManager() function
/external/clang/lib/StaticAnalyzer/Checkers/
DArrayBoundChecker.cpp59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkLocation()
DReturnPointerRangeChecker.cpp59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkPreStmt()
DBuiltinFunctionChecker.cpp60 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
DVforkChecker.cpp168 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
DStackAddrEscapeChecker.cpp217 state->getStateManager().getStoreManager().iterBindings(state->getStore(),cb); in checkEndFunction()
DCallAndMessageChecker.cpp263 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(), in PreVisitProcessArg()
DMacOSKeychainAPIChecker.cpp220 StoreManager& SM = C.getStoreManager(); in getAsPointeeSymbol()