D | CallAndMessageChecker.cpp | 221 StoreManager &StoreMgr; in PreVisitProcessArg() member in CallAndMessageChecker::PreVisitProcessArg::FindUninitializedField 227 : StoreMgr(storeMgr), MrMgr(mrMgr), store(s) {} in PreVisitProcessArg() 243 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR)); in PreVisitProcessArg()
|