Home | History | Annotate | Download | only in Core

Lines Matching defs:MR

227   const MemRegion *MR = V.getAsRegion();
228   if (!MR)
231   const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR);
298 static const CXXRecordDecl *getCXXRecordType(const MemRegion *MR) {
299   if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR))
301   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR))
310   const MemRegion *MR = Base.getAsRegion();
311   if (!MR)
323   while (const CXXRecordDecl *MRClass = getCXXRecordType(MR)) {
326       return loc::MemRegionVal(MR);
337         return evalDerivedToBase(loc::MemRegionVal(MR), Paths.front());
340     if (const CXXBaseObjectRegion *BaseR = dyn_cast<CXXBaseObjectRegion>(MR)) {
342       MR = BaseR->getSuperRegion();
348       return loc::MemRegionVal(MR);
358     const MemRegion *Uncasted = MR->StripCasts(/*IncludeBaseCasts=*/false);
359     if (Uncasted == MR) {
366     MR = Uncasted;
370   Failed = isa<TypedValueRegion>(MR);