Searched refs:InvalidatedRegions (Results 1 – 7 of 7) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Store.h | 159 typedef SmallVector<const MemRegion *, 8> InvalidatedRegions; typedef
191 InvalidatedRegions *InvalidatedTopLevel,
192 InvalidatedRegions *Invalidated) = 0;
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Store.h | 201 using InvalidatedRegions = SmallVector<const MemRegion *, 8>; variable
233 InvalidatedRegions *InvalidatedTopLevel,
234 InvalidatedRegions *Invalidated) = 0;
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | MoveChecker.cpp | 60 ArrayRef<const MemRegion *> InvalidatedRegions,
704 ArrayRef<const MemRegion *> InvalidatedRegions, in checkRegionChanges() argument
721 if (llvm::find(InvalidatedRegions, Region) != in checkRegionChanges()
722 std::end(InvalidatedRegions)) { in checkRegionChanges()
730 for (const auto *Region : InvalidatedRegions) in checkRegionChanges()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | RegionStore.cpp | 344 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()
|
| D | ProgramState.cpp | 188 StoreManager::InvalidatedRegions TopLevelInvalidated; in invalidateRegionsImpl()
189 StoreManager::InvalidatedRegions Invalidated; in invalidateRegionsImpl()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | RegionStore.cpp | 378 InvalidatedRegions *TopLevelRegions);
424 InvalidatedRegions *Invalidated);
433 InvalidatedRegions *Invalidated,
434 InvalidatedRegions *InvalidatedTopLevel) override;
993 StoreManager::InvalidatedRegions *Regions;
1003 StoreManager::InvalidatedRegions *r, in InvalidateRegionsWorker()
1277 InvalidatedRegions *Invalidated) { in invalidateGlobalRegion()
1298 InvalidatedRegions *TopLevelRegions) { in populateWorkList()
1334 InvalidatedRegions *TopLevelRegions, in invalidateRegions()
1335 InvalidatedRegions *Invalidated) { in invalidateRegions()
|
| D | ProgramState.cpp | 202 StoreManager::InvalidatedRegions TopLevelInvalidated; in invalidateRegionsImpl()
203 StoreManager::InvalidatedRegions Invalidated; in invalidateRegionsImpl()
|