Home | History | Annotate | Download | only in Core

Lines Matching refs:DataReg

590   const MemRegion *DataReg = getSVal(Callee).getAsRegion();
592   return dyn_cast_or_null<BlockDataRegion>(DataReg);