Searched defs:StoreMgr (Results 1 – 5 of 5) sorted by relevance
513 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan() local606 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan() local
125 StoreManager &StoreMgr) { in adjustReturnValue()
202 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded() local
221 StoreManager &StoreMgr; in PreVisitProcessArg() member in CallAndMessageChecker::PreVisitProcessArg::FindUninitializedField
445 std::unique_ptr<StoreManager> StoreMgr; variable