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