Searched refs:getStoreManager (Results 1 – 19 of 19) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 52 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()
|
| D | SValBuilder.cpp | 470 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
546 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
|
| D | ExprEngineCXX.cpp | 282 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, CE->getType(), in VisitCXXConstructExpr()
494 getStoreManager().GetElementZeroRegion(NewReg, ObjTy); in VisitCXXNewExpr()
|
| D | ExprEngineC.cpp | 356 val = getStoreManager().evalDerivedToBase(val, CastE); in VisitCast()
377 val = getStoreManager().evalDynamicCast(val, T, Failed); in VisitCast()
|
| D | SymbolManager.cpp | 551 reapedStore.getStoreManager().includedInBindings(store, VR); in isLive()
|
| D | ExprEngineCallAndReturn.cpp | 256 getStoreManager()); in processCallExit()
|
| D | CallEvent.cpp | 545 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed); in getInitialStackFrameContents()
|
| D | ExprEngine.cpp | 203 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
370 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead()
649 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, BaseTy, in ProcessBaseDtor()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CheckerContext.h | 110 StoreManager &getStoreManager() { in getStoreManager() function
111 return Eng.getStoreManager(); in getStoreManager()
|
| D | StoreRef.h | 47 const StoreManager &getStoreManager() const { return mgr; } in getStoreManager() function
|
| D | ExprEngine.h | 300 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager() function
|
| D | ProgramState.h | 516 StoreManager& getStoreManager() { return *StoreMgr; } in getStoreManager() function
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ArrayBoundChecker.cpp | 59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkLocation()
|
| D | ReturnPointerRangeChecker.cpp | 59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkPreStmt()
|
| D | BuiltinFunctionChecker.cpp | 60 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
|
| D | VforkChecker.cpp | 168 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
|
| D | StackAddrEscapeChecker.cpp | 217 state->getStateManager().getStoreManager().iterBindings(state->getStore(),cb); in checkEndFunction()
|
| D | CallAndMessageChecker.cpp | 263 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(), in PreVisitProcessArg()
|
| D | MacOSKeychainAPIChecker.cpp | 220 StoreManager& SM = C.getStoreManager(); in getAsPointeeSymbol()
|