Searched defs:invalidated (Results 1 – 4 of 4) sorted by relevance
335 const InvalidatedSymbols *invalidated, in _checkRegionChanges()
1184 ProgramStateRef state, const InvalidatedSymbols *invalidated, in checkRegionChanges()
598 runCheckersForRegionChanges(ProgramStateRef state,const InvalidatedSymbols * invalidated,ArrayRef<const MemRegion * > ExplicitRegions,ArrayRef<const MemRegion * > Regions,const LocationContext * LCtx,const CallEvent * Call) runCheckersForRegionChanges() argument
674 const InvalidatedSymbols *invalidated, in processRegionChanges() argument