254                                               const MemRegion *MR,
259                                         const MemRegion *MR,
302                               const MemRegion *MR);
957                                                 const MemRegion *MR,  in setCStringLength()  argument
961   MR = MR->StripCasts();  in setCStringLength()
963   switch (MR->getKind()) {  in setCStringLength()
992     return state->remove<CStringLength>(MR);  in setCStringLength()
994   return state->set<CStringLength>(MR, strLength);  in setCStringLength()
1000                                                const MemRegion *MR,  in getCStringLengthForRegion()  argument
1004     const SVal *Recorded = state->get<CStringLength>(MR);  in getCStringLengthForRegion()
1013                                                     MR, Ex, sizeTy,  in getCStringLengthForRegion()
1030     state = state->set<CStringLength>(MR, strLength);  in getCStringLengthForRegion()
1039   const MemRegion *MR = Buf.getAsRegion();  in getCStringLength()  local
1040   if (!MR) {  in getCStringLength()
1064   MR = MR->StripCasts();  in getCStringLength()
1066   switch (MR->getKind()) {  in getCStringLength()
1072     const StringLiteral *strLit = cast<StringRegion>(MR)->getStringLiteral();  in getCStringLength()
1078     const VarDecl *Decl = cast<NonParamVarRegion>(MR)->getDecl();  in getCStringLength()
1095     return getCStringLengthForRegion(C, state, Ex, MR, hypothetical);  in getCStringLength()
1114       if (SummarizeRegion(os, C.getASTContext(), MR))  in getCStringLength()
1280   if (std::optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {  in invalidateBufferAux()  local
1281     const MemRegion *R = MR->getRegion()->StripCasts();  in invalidateBufferAux()
1307                                      const MemRegion *MR) {  in SummarizeRegion()  argument
1308   switch (MR->getKind()) {  in SummarizeRegion()
1310     if (const auto *FD = cast<FunctionCodeRegion>(MR)->getDecl())  in SummarizeRegion()
1325        << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1328     os << "a variable of type" << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1331     os << "a parameter of type" << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1334     os << "a field of type " << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1338        << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1350   const MemRegion *MR = MemVal.getAsRegion();  in memsetAux()  local
1351   if (!MR)  in memsetAux()
1358   RegionOffset Offset = MR->getAsOffset();  in memsetAux()
1407       State = setCStringLength(State, MR,  in memsetAux()
1411           CStringChecker::getTag(), MR, DstBuffer, Ctx.getSizeType(),  in memsetAux()
1421           MR, NewStrLen);  in memsetAux()
2742     const MemRegion *MR = VarLoc.getAsRegion();  in checkPreStmt()  local
2743     if (!MR)  in checkPreStmt()
2751     state = state->set<CStringLength>(MR, strLength);  in checkPreStmt()
2772   for (const MemRegion *MR : Regions) {  in checkRegionChanges()  local
2773     Invalidated.insert(MR);  in checkRegionChanges()
2775     SuperRegions.insert(MR);  in checkRegionChanges()
2776     while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) {  in checkRegionChanges()
2777       MR = SR->getSuperRegion();  in checkRegionChanges()
2778       SuperRegions.insert(MR);  in checkRegionChanges()
2785   for (const MemRegion *MR : llvm::make_first_range(Entries)) {  in checkRegionChanges()  local
2787     if (SuperRegions.count(MR)) {  in checkRegionChanges()
2788       Entries = F.remove(Entries, MR);  in checkRegionChanges()
2793     const MemRegion *Super = MR;  in checkRegionChanges()
2797         Entries = F.remove(Entries, MR);  in checkRegionChanges()