Searched refs:getStoreManager (Results 1 – 20 of 20) 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 | 514 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
590 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 | 367 val = getStoreManager().evalDerivedToBase(val, CastE); in VisitCast()
388 val = getStoreManager().evalDynamicCast(val, T, Failed); in VisitCast()
|
| D | SymbolManager.cpp | 551 reapedStore.getStoreManager().includedInBindings(store, VR); in isLive()
|
| D | ExprEngineCallAndReturn.cpp | 259 getStoreManager()); in processCallExit()
|
| D | ExprEngine.cpp | 204 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
371 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead()
650 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, BaseTy, in ProcessBaseDtor()
|
| D | CallEvent.cpp | 555 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed); in getInitialStackFrameContents()
|
| /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 | 307 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager() function
|
| D | ProgramState.h | 517 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 | 216 StoreManager& SM = C.getStoreManager(); in getAsPointeeSymbol()
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIChecker.cpp | 164 const auto &Size = Ctx.getStoreManager().getSizeInElements( in allRegionsUsedByWait()
|