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