215                                               const MemRegion *MR,
220                                         const MemRegion *MR,
240                               const MemRegion *MR);
764                                                 const MemRegion *MR,  in setCStringLength()  argument
768   MR = MR->StripCasts();  in setCStringLength()
770   switch (MR->getKind()) {  in setCStringLength()
799     return state->remove<CStringLength>(MR);  in setCStringLength()
801   return state->set<CStringLength>(MR, strLength);  in setCStringLength()
807                                                const MemRegion *MR,  in getCStringLengthForRegion()  argument
811     const SVal *Recorded = state->get<CStringLength>(MR);  in getCStringLengthForRegion()
820                                                     MR, Ex, sizeTy,  in getCStringLengthForRegion()
837     state = state->set<CStringLength>(MR, strLength);  in getCStringLengthForRegion()
846   const MemRegion *MR = Buf.getAsRegion();  in getCStringLength()  local
847   if (!MR) {  in getCStringLength()
871   MR = MR->StripCasts();  in getCStringLength()
873   switch (MR->getKind()) {  in getCStringLength()
879     const StringLiteral *strLit = cast<StringRegion>(MR)->getStringLiteral();  in getCStringLength()
888     return getCStringLengthForRegion(C, state, Ex, MR, hypothetical);  in getCStringLength()
907       if (SummarizeRegion(os, C.getASTContext(), MR))  in getCStringLength()
1014   if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {  in InvalidateBuffer()  local
1015     const MemRegion *R = MR->getRegion()->StripCasts();  in InvalidateBuffer()
1060                                      const MemRegion *MR) {  in SummarizeRegion()  argument
1061   switch (MR->getKind()) {  in SummarizeRegion()
1063     if (const auto *FD = cast<FunctionCodeRegion>(MR)->getDecl())  in SummarizeRegion()
1078        << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1081     os << "a variable of type" << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1084     os << "a parameter of type" << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1087     os << "a field of type " << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1091        << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1103   const MemRegion *MR = MemVal.getAsRegion();  in memsetAux()  local
1104   if (!MR)  in memsetAux()
1111   RegionOffset Offset = MR->getAsOffset();  in memsetAux()
1160       State = setCStringLength(State, MR,  in memsetAux()
1164           CStringChecker::getTag(), MR, DstBuffer, Ctx.getSizeType(),  in memsetAux()
1174           MR, NewStrLen);  in memsetAux()
2404     const MemRegion *MR = VarLoc.getAsRegion();  in checkPreStmt()  local
2405     if (!MR)  in checkPreStmt()
2413     state = state->set<CStringLength>(MR, strLength);  in checkPreStmt()
2436     const MemRegion *MR = *I;  in checkRegionChanges()  local
2437     Invalidated.insert(MR);  in checkRegionChanges()
2439     SuperRegions.insert(MR);  in checkRegionChanges()
2440     while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) {  in checkRegionChanges()
2441       MR = SR->getSuperRegion();  in checkRegionChanges()
2442       SuperRegions.insert(MR);  in checkRegionChanges()
2451     const MemRegion *MR = I.getKey();  in checkRegionChanges()  local
2454     if (SuperRegions.count(MR)) {  in checkRegionChanges()
2455       Entries = F.remove(Entries, MR);  in checkRegionChanges()
2460     const MemRegion *Super = MR;  in checkRegionChanges()
2464         Entries = F.remove(Entries, MR);  in checkRegionChanges()