Searched refs:getUnknownRegion (Results 1 – 3 of 3) sorted by relevance
714 const MemSpaceRegion *MemRegionManager::getUnknownRegion() { in getUnknownRegion() function in MemRegionManager806 sReg = getUnknownRegion(); in getVarRegion()875 sReg = getUnknownRegion(); in getBlockDataRegion()942 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion()); in getSymbolicRegion()1379 VR = MemMgr.getVarRegion(VD, MemMgr.getUnknownRegion()); in getCaptureRegions()
734 const MemSpaceRegion *UnknownMS = MemMgr.getUnknownRegion(); in evalBinOpLL()
1176 const MemSpaceRegion *getUnknownRegion();