Searched refs:MemRegionManager (Results 1 – 17 of 17) sorted by relevance
55 class MemRegionManager; variable201 MemRegionManager &Mgr;223 friend class MemRegionManager; variable257 friend class MemRegionManager; variable304 friend class MemRegionManager; variable323 friend class MemRegionManager; variable340 friend class MemRegionManager; variable354 friend class MemRegionManager; variable368 friend class MemRegionManager; variable1302 class MemRegionManager {[all …]
59 MemRegionManager &MRMgr;130 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager()
65 MemRegionManager MemMgr;188 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager()189 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager()
159 MemRegionManager &MRMgr;429 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager()
530 MemRegionManager& getRegionManager() { in getRegionManager()533 const MemRegionManager &getRegionManager() const { in getRegionManager()
67 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1, in getSubRegion()127 MemRegionManager::~MemRegionManager() = default;146 MemRegionManager &SubRegion::getMemRegionManager() const { in getMemRegionManager()795 const REG *MemRegionManager::LazyAllocate(REG*& region) { in LazyAllocate()841 *MemRegionManager::getGlobalsRegion(MemRegion::Kind K, in getGlobalsRegion()862 const HeapSpaceRegion *MemRegionManager::getHeapRegion() { in getHeapRegion()1030 MemRegionManager::getNonParamVarRegion(const VarDecl *D, in getNonParamVarRegion()1139 MemRegionManager::getFieldRegion(const FieldDecl *d, in getFieldRegion()1151 MemRegionManager::getCXXTempObjectRegion(Expr const *E, in getCXXTempObjectRegion()1587 MemRegionManager &MemMgr = getMemRegionManager(); in getCaptureRegions()[all …]
59 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
116 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction()535 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor()
511 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()1402 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
358 MemRegionManager &MmrMgr;
337 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
84 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
168 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
245 MemRegionManager &MrMgr;249 FindUninitializedField(StoreManager &storeMgr, MemRegionManager &mrMgr, in FindUninitializedField()
2769 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
150 MemRegionManager &RegionManager = MR->getMemRegionManager(); in allRegionsUsedByWait()
168 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()