Searched refs:RegionStoreManager (Results 1 – 4 of 4) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | RegionStore.cpp | 317 class RegionStoreManager : public StoreManager { class
347 RegionStoreManager(ProgramStateManager& mgr, const RegionStoreFeatures &f) in RegionStoreManager() function in __anon38c42dcb0511::RegionStoreManager
611 return llvm::make_unique<RegionStoreManager>(StMgr, F); in CreateRegionStoreManager()
618 return llvm::make_unique<RegionStoreManager>(StMgr, F); in CreateFieldsOnlyRegionStoreManager()
649 RegionStoreManager &RM;
669 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
731 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, in scanReachableSymbols()
880 RegionStoreManager::removeSubRegionBindings(RegionBindingsConstRef B, in removeSubRegionBindings()
937 invalidateRegionsWorker(RegionStoreManager &rm, in invalidateRegionsWorker()
988 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 | 377 // 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
|
| D | misc-ps-region-store.m | 142 // assertion failure in RegionStoreManager::BindArray. Essentially the
404 // RegionStoreManager::RemoveDeadBindings(), the symbol for s->session->p
|