Searched refs:RegionStoreManager (Results 1 – 4 of 4) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | RegionStore.cpp | 321 class RegionStoreManager : public StoreManager { class
351 RegionStoreManager(ProgramStateManager& mgr, const RegionStoreFeatures &f) in RegionStoreManager() function in __anon6858ecd90511::RegionStoreManager
614 return new RegionStoreManager(StMgr, F); in CreateRegionStoreManager()
621 return new RegionStoreManager(StMgr, F); in CreateFieldsOnlyRegionStoreManager()
652 RegionStoreManager &RM;
682 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
745 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, in scanReachableSymbols()
894 RegionStoreManager::removeSubRegionBindings(RegionBindingsConstRef B, in removeSubRegionBindings()
950 invalidateRegionsWorker(RegionStoreManager &rm, in invalidateRegionsWorker()
981 const RegionStoreManager::SValListTy &Vals = RM.getInterestingValues(*LCS); in VisitBinding()
[all …]
|
| /external/clang/docs/analyzer/ |
| D | RegionStore.txt | 6 RegionStoreManager. This store records bindings to memory regions using a "base
55 For more detail, read through RegionStoreManager::removeSubRegionBindings in
|
| /external/clang/test/Analysis/ |
| D | misc-ps.m | 390 // RegionStoreManager previously crashed on this example. The problem is that
456 // RegionStoreManager (the crash doesn't exhibit in BasicStoreManager because
481 // This previously was a crash in RegionStoreManager.
562 // in RegionStoreManager. Previously the array access resulted in dereferencing
|
| D | misc-ps-region-store.m | 142 // assertion failure in RegionStoreManager::BindArray. Essentially the
404 // RegionStoreManager::RemoveDeadBindings(), the symbol for s->session->p
|