Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DRegionStore.cpp315 class RegionStoreManager : public StoreManager { class
345 RegionStoreManager(ProgramStateManager& mgr, const RegionStoreFeatures &f) in RegionStoreManager() function in __anon53e1adc20511::RegionStoreManager
609 return llvm::make_unique<RegionStoreManager>(StMgr, F); in CreateRegionStoreManager()
616 return llvm::make_unique<RegionStoreManager>(StMgr, F); in CreateFieldsOnlyRegionStoreManager()
647 RegionStoreManager &RM;
667 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
730 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, in scanReachableSymbols()
879 RegionStoreManager::removeSubRegionBindings(RegionBindingsConstRef B, in removeSubRegionBindings()
936 invalidateRegionsWorker(RegionStoreManager &rm, in invalidateRegionsWorker()
987 const RegionStoreManager::SValListTy &Vals = RM.getInterestingValues(*LCS); in VisitBinding()
[all …]
/external/clang/docs/analyzer/
DRegionStore.txt6 RegionStoreManager. This store records bindings to memory regions using a "base
55 For more detail, read through RegionStoreManager::removeSubRegionBindings in
/external/clang/test/Analysis/
Dmisc-ps.m377 // RegionStoreManager previously crashed on this example. The problem is that
443 // RegionStoreManager (the crash doesn't exhibit in BasicStoreManager because
468 // This previously was a crash in RegionStoreManager.
549 // in RegionStoreManager. Previously the array access resulted in dereferencing
Dmisc-ps-region-store.m142 // assertion failure in RegionStoreManager::BindArray. Essentially the
404 // RegionStoreManager::RemoveDeadBindings(), the symbol for s->session->p