Home | History | Annotate | Download | only in Checkers

Lines Matching refs:getBaseRegion

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