Lines Matching defs:MR

29                                       const MemRegion *MR, SValBuilder &SVB) {
30   MR = MR->StripCasts();
32   if (const DefinedOrUnknownSVal *Size = State->get<DynamicExtentMap>(MR))
37   return MR->getMemRegionManager().getStaticSize(MR, SVB);
46                                                          const MemRegion *MR) {
47   MR = MR->StripCasts();
49   const auto *TVR = MR->getAs<TypedValueRegion>();
72                                             const MemRegion *MR,
75   assert(MR != nullptr && "Not-null region expected");
76   MR = MR->StripCasts();
80     return getConstantArrayElementCount(SVB, MR);
82   return getDynamicElementCount(State, getDynamicExtent(State, MR, SVB),
109   const MemRegion *MR = BufV.getAsRegion();
110   if (!MR)
116     return getConstantArrayElementCount(SVB, MR);
122 ProgramStateRef setDynamicExtent(ProgramStateRef State, const MemRegion *MR,
124   MR = MR->StripCasts();
129   return State->set<DynamicExtentMap>(MR->StripCasts(), Size);