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