Home | History | Annotate | Download | only in Checkers

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()))