Searched refs:MemRegionManager (Results 1 – 16 of 16) sorted by relevance
56 class MemRegionManager; variable201 MemRegionManager *Mgr;224 friend class MemRegionManager; variable258 friend class MemRegionManager; variable305 friend class MemRegionManager; variable324 friend class MemRegionManager; variable341 friend class MemRegionManager; variable355 friend class MemRegionManager; variable369 friend class MemRegionManager; variable1242 class MemRegionManager {[all …]
66 MemRegionManager MemMgr;175 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager()176 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager()
60 MemRegionManager &MRMgr;131 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager()
555 MemRegionManager& getRegionManager() { in getRegionManager()558 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()722 const REG *MemRegionManager::LazyAllocate(REG*& region) { in LazyAllocate()768 *MemRegionManager::getGlobalsRegion(MemRegion::Kind K, in getGlobalsRegion()789 const HeapSpaceRegion *MemRegionManager::getHeapRegion() { in getHeapRegion()797 const CodeSpaceRegion *MemRegionManager::getCodeRegion() { in getCodeRegion()1030 MemRegionManager::getFieldRegion(const FieldDecl *d, in getFieldRegion()1042 MemRegionManager::getCXXTempObjectRegion(Expr const *E, in getCXXTempObjectRegion()1476 MemRegionManager &MemMgr = *getMemRegionManager(); in getCaptureRegions()[all …]
60 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
117 MemRegionManager &MRMgr = SVB.getRegionManager(); in prepareForObjectConstruction()458 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in VisitCXXConstructExpr()
495 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()1335 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
277 MemRegionManager &MmrMgr;1506 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference()
324 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
79 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
168 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
206 MemRegionManager &MrMgr;210 FindUninitializedField(StoreManager &storeMgr, MemRegionManager &mrMgr, in FindUninitializedField()
2513 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
150 MemRegionManager *const RegionManager = MR->getMemRegionManager(); in allRegionsUsedByWait()
231 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()