Searched refs:getUnknownRegion (Results 1 – 3 of 3) sorted by relevance
866 const UnknownSpaceRegion *MemRegionManager::getUnknownRegion() { in getUnknownRegion() function in MemRegionManager986 sReg = getUnknownRegion(); in getVarRegion()1066 sReg = getUnknownRegion(); in getBlockDataRegion()1131 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion()); in getSymbolicRegion()1601 VR = MemMgr.getNonParamVarRegion(VD, MemMgr.getUnknownRegion()); in getCaptureRegions()
850 const MemSpaceRegion *UnknownMS = MemMgr.getUnknownRegion(); in evalBinOpLL()
1358 const UnknownSpaceRegion *getUnknownRegion();