Home | History | Annotate | Download | only in Core

Lines Matching refs:getUnknownRegion

714 const MemSpaceRegion *MemRegionManager::getUnknownRegion() {
806       sReg = getUnknownRegion();
875       sReg = getUnknownRegion();
942   return getSubRegion<SymbolicRegion>(sym, getUnknownRegion());
1379       VR = MemMgr.getVarRegion(VD, MemMgr.getUnknownRegion());