Searched refs:RegionList (Results 1 – 1 of 1) sorted by relevance
135 typedef ArrayRef<const MemRegion *> RegionList; typedef139 ProgramState::invalidateRegions(RegionList Regions, in invalidateRegions()147 for (RegionList::const_iterator I = Regions.begin(), in invalidateRegions()