Lines Matching refs:getBaseRegion
1379 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion());1777 R->markInteresting(MR->getBaseRegion());2036 const VarRegion* VR = MR->getBaseRegion()->getAs<VarRegion>();2244 dyn_cast<SymbolicRegion>(MR->getBaseRegion()))