Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h211 using InvalidatedRegions = SmallVector<const MemRegion *, 8>; variable
247 InvalidatedRegions *TopLevelRegions, InvalidatedRegions *Invalidated) = 0;
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMoveChecker.cpp59 ArrayRef<const MemRegion *> InvalidatedRegions,
705 ArrayRef<const MemRegion *> InvalidatedRegions, in checkRegionChanges() argument
722 llvm::is_contained(InvalidatedRegions, Region)) in checkRegionChanges()
728 for (const auto *Region : InvalidatedRegions) in checkRegionChanges()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp513 InvalidatedRegions *TopLevelRegions);
567 RegionBindingsRef B, InvalidatedRegions *Invalidated);
574 InvalidatedRegions *Invalidated,
575 InvalidatedRegions *InvalidatedTopLevel) override;
1153 StoreManager::InvalidatedRegions *Regions;
1161 StoreManager::InvalidatedRegions *r, in InvalidateRegionsWorker()
1425 InvalidatedRegions *Invalidated) { in invalidateGlobalRegion()
1446 InvalidatedRegions *TopLevelRegions) { in populateWorkList()
1469 InvalidatedRegions *TopLevelRegions, InvalidatedRegions *Invalidated) { in invalidateRegions()
H A DProgramState.cpp180 StoreManager::InvalidatedRegions TopLevelInvalidated; in invalidateRegions()
181 StoreManager::InvalidatedRegions Invalidated; in invalidateRegions()