Searched refs:FieldReg (Results 1 – 2 of 2) sorted by relevance
473 const MemRegion *FieldReg = (const MemRegion *)PIP->getLocationValue(); in VisitNode() local474 if (FieldReg && FieldReg == R) { in VisitNode()
300 if (auto FieldReg = Region->getAs<FieldRegion>()) in getTrackRegion() local301 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion()); in getTrackRegion()