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