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.cpp348 InvalidatedRegions *TopLevelRegions);
389 InvalidatedRegions *Invalidated);
398 InvalidatedRegions *Invalidated,
399 InvalidatedRegions *InvalidatedTopLevel) override;
948 StoreManager::InvalidatedRegions *Regions;
957 StoreManager::InvalidatedRegions *r, in invalidateRegionsWorker()
1099 InvalidatedRegions *Invalidated) { in invalidateGlobalRegion()
1120 InvalidatedRegions *TopLevelRegions) { in populateWorkList()
1156 InvalidatedRegions *TopLevelRegions, in invalidateRegions()
1157 InvalidatedRegions *Invalidated) { in invalidateRegions()
DProgramState.cpp188 StoreManager::InvalidatedRegions TopLevelInvalidated; in invalidateRegionsImpl()
189 StoreManager::InvalidatedRegions Invalidated; in invalidateRegionsImpl()