Searched refs:storeMgr (Results 1 – 3 of 3) sorted by relevance
514 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast() local515 R = storeMgr.castRegion(R, castTy); in evalCast()590 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast() local595 R = storeMgr.castRegion(R, castTy); in evalCast()
506 StoreManager &storeMgr) in SymbolReaper() argument508 reapedStore(nullptr, storeMgr) {} in SymbolReaper()
232 FindUninitializedField(StoreManager &storeMgr, in PreVisitProcessArg() argument234 : StoreMgr(storeMgr), MrMgr(mrMgr), store(s) {} in PreVisitProcessArg()