Searched refs:RMgr (Results 1 – 1 of 1) sorted by relevance
116 MemRegionManager &RMgr = C.getStateManager().getRegionManager(); in checkBeginFunction() local119 RMgr.getGlobalsRegion(MemRegion::GlobalSystemSpaceRegionKind); in checkBeginFunction()132 ErrnoR = RMgr.getElementRegion( in checkBeginFunction()134 RMgr.getSymbolicRegion(Sym, GlobalSystemSpace), C.getASTContext()); in checkBeginFunction()