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.h203 using InvalidatedRegions = SmallVector<const MemRegion *, 8>; variable
232 InvalidatedRegions *TopLevelRegions, InvalidatedRegions *Invalidated) = 0;
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMoveChecker.cpp59 ArrayRef<const MemRegion *> InvalidatedRegions,
701 ArrayRef<const MemRegion *> InvalidatedRegions, in checkRegionChanges() argument
718 llvm::is_contained(InvalidatedRegions, Region)) in checkRegionChanges()
724 for (const auto *Region : InvalidatedRegions) in checkRegionChanges()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp368 InvalidatedRegions *TopLevelRegions);
413 InvalidatedRegions *Invalidated);
422 InvalidatedRegions *Invalidated,
423 InvalidatedRegions *InvalidatedTopLevel) override;
983 StoreManager::InvalidatedRegions *Regions;
993 StoreManager::InvalidatedRegions *r, in InvalidateRegionsWorker()
1261 InvalidatedRegions *Invalidated) { in invalidateGlobalRegion()
1282 InvalidatedRegions *TopLevelRegions) { in populateWorkList()
1309 InvalidatedRegions *TopLevelRegions, in invalidateRegions()
1310 InvalidatedRegions *Invalidated) { in invalidateRegions()
H A DProgramState.cpp198 StoreManager::InvalidatedRegions TopLevelInvalidated; in invalidateRegionsImpl()
199 StoreManager::InvalidatedRegions Invalidated; in invalidateRegionsImpl()