Searched refs:DataReg (Results 1 – 1 of 1) sorted by relevance
590 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion() local592 return dyn_cast_or_null<BlockDataRegion>(DataReg); in getBlockRegion()