Searched refs:storeMgr (Results 1 – 2 of 2) sorted by relevance
227 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast() local228 R = storeMgr.castRegion(R, castTy); in evalCast()298 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast() local303 R = storeMgr.castRegion(R, castTy); in evalCast()
115 FindUninitializedField(ASTContext &c, StoreManager &storeMgr, in PreVisitProcessArg() argument117 : C(c), StoreMgr(storeMgr), MrMgr(mrMgr), store(s) {} in PreVisitProcessArg()