Searched refs:getRegionManager (Results 1 – 17 of 17) sorted by relevance
530 MemRegionManager& getRegionManager() { in getRegionManager() function531 return svalBuilder->getRegionManager(); in getRegionManager()533 const MemRegionManager &getRegionManager() const { in getRegionManager() function534 return svalBuilder->getRegionManager(); in getRegionManager()663 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()719 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()727 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
188 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager() function189 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager() function
130 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager() function
429 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager() function
28 State->getStateManager().getRegionManager().getSymbolicRegion(Sym); in getLocFromSymbol()
275 getRegionManager().getCXXThisRegion(D->getThisType(), SFC)); in getCXXThis()283 return loc::MemRegionVal(getRegionManager().getCXXThisRegion(PT, SFC)); in getCXXThis()301 return makeLoc(getRegionManager().getObjCStringRegion(SL)); in getConstantVal()306 return makeLoc(getRegionManager().getStringRegion(SL)); in getConstantVal()314 return makeLoc(getRegionManager().getStringRegion(PE->getFunctionName())); in getConstantVal()
59 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
116 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction()535 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor()980 svalBuilder.getRegionManager().getCXXThisRegion( in VisitCXXThisExpr()994 const MemRegion *R = svalBuilder.getRegionManager().getCXXTempObjectRegion( in VisitLambdaExpr()
219 State->getStateManager().getRegionManager().getParamVarRegion( in getParameterLocation()474 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()1363 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
44 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
214 MRMgr(StateMgr.getRegionManager()), in ExprEngine()337 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
1092 RM.getRegionManager().getVarRegion(VD, LCtx); in VisitCluster()
84 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
168 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
322 C.getSValBuilder().getRegionManager(), in PreVisitProcessArg()
2769 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
168 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()