Searched refs:RegionStoreManager (Results 1 – 5 of 5) sorted by relevance
327 class RegionStoreManager : public StoreManager { class365 RegionStoreManager(ProgramStateManager &mgr) in RegionStoreManager() function in __anone91272100411::RegionStoreManager666 return std::make_unique<RegionStoreManager>(StMgr); in CreateRegionStoreManager()696 RegionStoreManager &RM;984 InvalidateRegionsWorker(RegionStoreManager &rm, in InvalidateRegionsWorker()1315 RegionStoreManager::invalidateRegions(Store store, in invalidateRegions()1820 Optional<SVal> RegionStoreManager::getSValFromInitListExpr( in getSValFromInitListExpr()2257 const RegionStoreManager::SValListTy &2333 bool RegionStoreManager::includedInBindings(Store store, in includedInBindings()2473 RegionStoreManager::bindArray(RegionBindingsConstRef B, in bindArray()[all …]
9 ``RegionStoreManager``. This store records bindings to memory regions using a63 For more detail, read through ``RegionStoreManager::removeSubRegionBindings`` in
48 positives: when the list escapes, our ``RegionStoreManager`` is not magically
377 // RegionStoreManager previously crashed on this example. The problem is that443 // RegionStoreManager (the crash doesn't exhibit in BasicStoreManager because468 // This previously was a crash in RegionStoreManager.549 // in RegionStoreManager. Previously the array access resulted in dereferencing
142 // assertion failure in RegionStoreManager::BindArray. Essentially the404 // RegionStoreManager::RemoveDeadBindings(), the symbol for s->session->p