Searched defs:StoreManager (Results 1 - 2 of 2) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | Store.h | 10 // This file defined the types Store and StoreManager. 40 class StoreManager { class in namespace:clang::ento 45 /// MRMgr - Manages region objects associated with this StoreManager. 49 StoreManager(ProgramStateManager &stateMgr); 52 virtual ~StoreManager() {} 150 /// If the StoreManager supports it, increment the reference count of 154 /// If the StoreManager supports it, decrement the reference count of 201 /// enterStackFrame - Let the StoreManager to do something when execution 219 virtual bool HandleBinding(StoreManager& SMgr, Store store, 232 bool HandleBinding(StoreManager [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | Store.cpp | 10 // This file defined the types Store and StoreManager. 24 StoreManager::StoreManager(ProgramStateManager &stateMgr) function in class:StoreManager 28 StoreRef StoreManager::enterStackFrame(Store OldStore, 45 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base, 62 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) { 66 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R, 73 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) { 246 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) { 262 SVal StoreManager [all...] |
Completed in 99 milliseconds