Home | History | Annotate | Download | only in Core

Lines Matching defs:MR

216   const MemRegion *MR = V.getAsRegion();
217   if (!MR)
220   const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR);
287 static const CXXRecordDecl *getCXXRecordType(const MemRegion *MR) {
288   if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR))
290   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR))
299   const MemRegion *MR = Base.getAsRegion();
300   if (!MR)
312   while (const CXXRecordDecl *MRClass = getCXXRecordType(MR)) {
315       return loc::MemRegionVal(MR);
326         return evalDerivedToBase(loc::MemRegionVal(MR), Paths.front());
329     if (const CXXBaseObjectRegion *BaseR = dyn_cast<CXXBaseObjectRegion>(MR)) {
331       MR = BaseR->getSuperRegion();
337       return loc::MemRegionVal(MR);
347     const MemRegion *Uncasted = MR->StripCasts(/*IncludeBaseCasts=*/false);
348     if (Uncasted == MR) {
355     MR = Uncasted;
359   Failed = isa<TypedValueRegion>(MR);