Searched refs:MemRegionManager (Results 1 – 17 of 17) sorted by relevance
56 class MemRegionManager; variable205 MemRegionManager &Mgr;227 friend class MemRegionManager; variable261 friend class MemRegionManager; variable309 friend class MemRegionManager; variable328 friend class MemRegionManager; variable345 friend class MemRegionManager; variable359 friend class MemRegionManager; variable373 friend class MemRegionManager; variable1399 class MemRegionManager {[all …]
66 MemRegionManager MemMgr;163 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager()164 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager()
59 MemRegionManager &MRMgr;131 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager()
157 MemRegionManager &MRMgr;432 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager()
570 MemRegionManager& getRegionManager() { in getRegionManager()573 const MemRegionManager &getRegionManager() const { in getRegionManager()
69 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1, in getSubRegion()126 MemRegionManager::~MemRegionManager() = default;145 MemRegionManager &SubRegion::getMemRegionManager() const { in getMemRegionManager()907 *MemRegionManager::getGlobalsRegion(MemRegion::Kind K, in getGlobalsRegion()1084 MemRegionManager::getNonParamVarRegion(const VarDecl *D, in getNonParamVarRegion()1184 MemRegionManager::getSymbolicRegion(SymbolRef sym, in getSymbolicRegion()1196 MemRegionManager::getFieldRegion(const FieldDecl *d, in getFieldRegion()1208 MemRegionManager::getCXXTempObjectRegion(Expr const *E, in getCXXTempObjectRegion()1216 MemRegionManager::getCXXLifetimeExtendedObjectRegion( in getCXXLifetimeExtendedObjectRegion()1655 MemRegionManager &MemMgr = getMemRegionManager(); in getCaptureRegions()[all …]
60 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
127 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction()696 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor()
466 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()1396 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
532 MemRegionManager &MmrMgr;
349 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
166 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
244 MemRegionManager &MrMgr;248 FindUninitializedField(StoreManager &storeMgr, MemRegionManager &mrMgr, in FindUninitializedField()
159 MemRegionManager &RMgr = C.getStateManager().getRegionManager(); in checkBeginFunction()
2976 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
150 MemRegionManager &RegionManager = MR->getMemRegionManager(); in allRegionsUsedByWait()
167 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()