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
128 StoreManager &StoreMgr) { in adjustReturnValue()
204 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded() local
228 StoreManager &StoreMgr; in PreVisitProcessArg() member in CallAndMessageChecker::PreVisitProcessArg::FindUninitializedField
453 std::unique_ptr<StoreManager> StoreMgr; variable