Home
last modified time | relevance | path

Searched refs:InvalidatedRegions (Results 1 – 3 of 3) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DStore.h159 typedef SmallVector<const MemRegion *, 8> InvalidatedRegions; typedef
191 InvalidatedRegions *InvalidatedTopLevel,
192 InvalidatedRegions *Invalidated) = 0;
/external/clang/lib/StaticAnalyzer/Core/
DRegionStore.cpp344 InvalidatedRegions *TopLevelRegions);
385 InvalidatedRegions *Invalidated);
394 InvalidatedRegions *Invalidated,
395 InvalidatedRegions *InvalidatedTopLevel) override;
934 StoreManager::InvalidatedRegions *Regions;
944 StoreManager::InvalidatedRegions *r, in invalidateRegionsWorker()
1192 InvalidatedRegions *Invalidated) { in invalidateGlobalRegion()
1213 InvalidatedRegions *TopLevelRegions) { in populateWorkList()
1249 InvalidatedRegions *TopLevelRegions, in invalidateRegions()
1250 InvalidatedRegions *Invalidated) { in invalidateRegions()
DProgramState.cpp188 StoreManager::InvalidatedRegions TopLevelInvalidated; in invalidateRegionsImpl()
189 StoreManager::InvalidatedRegions Invalidated; in invalidateRegionsImpl()