Searched refs:storeMgr (Results 1 – 3 of 3) sorted by relevance
442 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast() local443 R = storeMgr.castRegion(R, castTy); in evalCast()518 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast() local523 R = storeMgr.castRegion(R, castTy); in evalCast()
225 FindUninitializedField(StoreManager &storeMgr, in PreVisitProcessArg() argument227 : StoreMgr(storeMgr), MrMgr(mrMgr), store(s) {} in PreVisitProcessArg()
588 StoreManager &storeMgr) in SymbolReaper() argument590 reapedStore(nullptr, storeMgr) {} in SymbolReaper()