Searched refs:getRegionManager (Results 1 – 12 of 12) sorted by relevance
572 MemRegionManager& getRegionManager() { in getRegionManager() function573 return svalBuilder->getRegionManager(); in getRegionManager()575 const MemRegionManager &getRegionManager() const { in getRegionManager() function576 return svalBuilder->getRegionManager(); in getRegionManager()705 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()761 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()769 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
167 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager() function168 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager() function
131 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager() function
424 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager() function
127 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction()696 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor()1174 svalBuilder.getRegionManager().getCXXThisRegion( in VisitCXXThisExpr()1188 const MemRegion *R = svalBuilder.getRegionManager().getCXXTempObjectRegion( in VisitLambdaExpr()
201 State->getStateManager().getRegionManager().getParamVarRegion( in getParameterLocation()466 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()1396 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
44 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
229 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine()349 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
1082 RM.getRegionManager().getVarRegion(VD, LCtx); in VisitCluster()
116 MemRegionManager &RMgr = C.getStateManager().getRegionManager(); in checkBeginFunction()
3031 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
167 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()