Searched refs:getUnknownRegion (Results 1 – 3 of 3) sorted by relevance
770 const UnknownSpaceRegion *MemRegionManager::getUnknownRegion() { in getUnknownRegion() function in MemRegionManager862 sReg = getUnknownRegion(); in getVarRegion()931 sReg = getUnknownRegion(); in getBlockDataRegion()996 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion()); in getSymbolicRegion()1433 VR = MemMgr.getVarRegion(VD, MemMgr.getUnknownRegion()); in getCaptureRegions()
734 const MemSpaceRegion *UnknownMS = MemMgr.getUnknownRegion(); in evalBinOpLL()
1172 const UnknownSpaceRegion *getUnknownRegion();