Searched defs:storeMgr (Results 1 – 3 of 3) sorted by relevance
514 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast() local590 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast() local
232 FindUninitializedField(StoreManager &storeMgr, in PreVisitProcessArg()
506 StoreManager &storeMgr) in SymbolReaper()