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()872 sReg = getUnknownRegion(); in getBlockDataRegion()939 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion()); in getSymbolicRegion()1363 VR = MemMgr.getVarRegion(VD, MemMgr.getUnknownRegion()); in getCaptureRegions()
734 const MemSpaceRegion *UnknownMS = MemMgr.getUnknownRegion(); in evalBinOpLL()
1176 const MemSpaceRegion *getUnknownRegion();