Searched refs:RMgr (Results 1 – 1 of 1) sorted by relevance
157 MemRegionManager &RMgr = C.getStateManager().getRegionManager(); in checkBeginFunction() local160 RMgr.getGlobalsRegion(MemRegion::GlobalSystemSpaceRegionKind); in checkBeginFunction()170 const MemRegion *ErrnoR = RMgr.getElementRegion( in checkBeginFunction()172 RMgr.getSymbolicRegion(Sym, GlobalSystemSpace), C.getASTContext()); in checkBeginFunction()