Lines Matching refs:getBaseRegion
1127 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion());1485 R->markInteresting(MR->getBaseRegion());1711 const VarRegion* VR = MR->getBaseRegion()->getAs<VarRegion>();1914 dyn_cast<SymbolicRegion>(MR->getBaseRegion()))