Home | History | Annotate | Download | only in Core

Lines Matching refs:getUnknownRegion

703 const MemSpaceRegion *MemRegionManager::getUnknownRegion() {
795       sReg = getUnknownRegion();
860       sReg = getUnknownRegion();
927   return getSubRegion<SymbolicRegion>(sym, getUnknownRegion());
1366       VR = MemMgr.getVarRegion(VD, MemMgr.getUnknownRegion());