Searched defs:InvalidatedRegions (Results 1 – 2 of 2) sorted by relevance
203 using InvalidatedRegions = SmallVector<const MemRegion *, 8>; variable
701 checkRegionChanges(ProgramStateRef State,const InvalidatedSymbols * Invalidated,ArrayRef<const MemRegion * > RequestedRegions,ArrayRef<const MemRegion * > InvalidatedRegions,const LocationContext * LCtx,const CallEvent * Call) const checkRegionChanges() argument