Home | History | Annotate | Download | only in Checkers

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