Searched refs:getStoreManager (Results 1 – 18 of 18) sorted by relevance
| /freebsd-10-stable/contrib/llvm/tools/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()
413 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore); in setStore()
415 stateMgr->getStoreManager().decrementReferenceCount(store); in setStore()
427 Mgr.getStoreManager().print(getStore(), Out, NL, Sep); in print()
514 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
607 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
|
| D | ExprEngineCXX.cpp | 215 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, CE->getType(), in VisitCXXConstructExpr()
400 getStoreManager().GetElementZeroRegion(NewReg, ObjTy); in VisitCXXNewExpr()
|
| D | SValBuilder.cpp | 442 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
518 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
|
| D | ExprEngineC.cpp | 326 val = getStoreManager().evalDerivedToBase(val, CastE); in VisitCast()
347 val = getStoreManager().evalDynamicCast(val, T, Failed); in VisitCast()
|
| D | SymbolManager.cpp | 543 reapedStore.getStoreManager().includedInBindings(store, VR); in isLive()
|
| D | ExprEngine.cpp | 191 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
354 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead()
611 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, BaseTy, in ProcessBaseDtor()
|
| D | CallEvent.cpp | 513 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed); in getInitialStackFrameContents()
|
| D | ExprEngineCallAndReturn.cpp | 256 getStoreManager()); in processCallExit()
|
| /freebsd-10-stable/contrib/llvm/tools/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 | 289 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager() function
|
| D | ProgramState.h | 508 StoreManager& getStoreManager() { return *StoreMgr; } in getStoreManager() function
|
| /freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| D | ReturnPointerRangeChecker.cpp | 58 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkPreStmt()
|
| D | ArrayBoundChecker.cpp | 58 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkLocation()
|
| D | BuiltinFunctionChecker.cpp | 57 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
|
| D | StackAddrEscapeChecker.cpp | 208 state->getStateManager().getStoreManager().iterBindings(state->getStore(),cb); in checkEndFunction()
|
| D | CallAndMessageChecker.cpp | 185 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(), in PreVisitProcessArg()
|
| D | MacOSKeychainAPIChecker.cpp | 222 StoreManager& SM = C.getStoreManager(); in getAsPointeeSymbol()
|