Lines Matching refs:MR
232 const MemRegion *MR = V.getAsRegion(); in regionMatchesCXXRecordType() local
233 if (!MR) in regionMatchesCXXRecordType()
236 const auto *TVR = dyn_cast<TypedValueRegion>(MR); in regionMatchesCXXRecordType()
309 static const CXXRecordDecl *getCXXRecordType(const MemRegion *MR) { in getCXXRecordType() argument
310 if (const auto *TVR = dyn_cast<TypedValueRegion>(MR)) in getCXXRecordType()
312 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) in getCXXRecordType()
318 const MemRegion *MR = Base.getAsRegion(); in evalBaseToDerived() local
319 if (!MR) in evalBaseToDerived()
331 while (const CXXRecordDecl *MRClass = getCXXRecordType(MR)) { in evalBaseToDerived()
334 return loc::MemRegionVal(MR); in evalBaseToDerived()
345 return evalDerivedToBase(loc::MemRegionVal(MR), Paths.front()); in evalBaseToDerived()
348 if (const auto *BaseR = dyn_cast<CXXBaseObjectRegion>(MR)) { in evalBaseToDerived()
350 MR = BaseR->getSuperRegion(); in evalBaseToDerived()
356 return loc::MemRegionVal(MR); in evalBaseToDerived()
366 const MemRegion *Uncasted = MR->StripCasts(/*IncludeBaseCasts=*/false); in evalBaseToDerived()
367 if (Uncasted == MR) { in evalBaseToDerived()
374 MR = Uncasted; in evalBaseToDerived()
382 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) { in evalBaseToDerived()
392 if (isa<TypedValueRegion>(MR)) in evalBaseToDerived()