Lines Matching refs:getBaseRegion
738 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion());948 R->markInteresting(MR->getBaseRegion());1281 dyn_cast<SymbolicRegion>(MR->getBaseRegion()))