reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
238 if (!R) 241 VisitedRegions.insert(R); 244 QualType DynT = R->getLocationType(); 246 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) { 248 R = Tmp->getAs<TypedValueRegion>(); 249 if (!R) 253 if (!VisitedRegions.insert(R).second) 254 return DereferenceInfo{R, NeedsCastBack, /*IsCyclic*/ true}; 256 DynT = R->getLocationType(); 263 while (isa<CXXBaseObjectRegion>(R)) { 265 const auto *SuperR = dyn_cast<TypedValueRegion>(R->getSuperRegion()); 269 R = SuperR; 272 return DereferenceInfo{R, NeedsCastBack, /*IsCyclic*/ false};