335   typedef std::vector<SVal> SValListTy;  typedef in __anone254dc900511::RegionStoreManager
338                          SValListTy> LazyBindingsMapTy;
584   const SValListTy &getInterestingValues(nonloc::LazyCompoundVal LCV);
1022     const RegionStoreManager::SValListTy &Vals = RM.getInterestingValues(*LCS);  in VisitBinding()
1024     for (RegionStoreManager::SValListTy::const_iterator I = Vals.begin(),  in VisitBinding()
1280       const SValListTy &Vals = getInterestingValues(*LCS);  in populateWorkList()
1282       for (SValListTy::const_iterator I = Vals.begin(),  in populateWorkList()
2006 const RegionStoreManager::SValListTy &
2014   SValListTy List;  in getInterestingValues()
2037       const SValListTy &InnerList = getInterestingValues(*InnerLCV);  in getInterestingValues()
2551     const RegionStoreManager::SValListTy &Vals = RM.getInterestingValues(*LCS);  in VisitBinding()
2553     for (RegionStoreManager::SValListTy::const_iterator I = Vals.begin(),  in VisitBinding()