230                                               const MemRegion *MR,
235                                         const MemRegion *MR,
278                               const MemRegion *MR);
812                                                 const MemRegion *MR,  in setCStringLength()  argument
816   MR = MR->StripCasts();  in setCStringLength()
818   switch (MR->getKind()) {  in setCStringLength()
847     return state->remove<CStringLength>(MR);  in setCStringLength()
849   return state->set<CStringLength>(MR, strLength);  in setCStringLength()
855                                                const MemRegion *MR,  in getCStringLengthForRegion()  argument
859     const SVal *Recorded = state->get<CStringLength>(MR);  in getCStringLengthForRegion()
868                                                     MR, Ex, sizeTy,  in getCStringLengthForRegion()
885     state = state->set<CStringLength>(MR, strLength);  in getCStringLengthForRegion()
894   const MemRegion *MR = Buf.getAsRegion();  in getCStringLength()  local
895   if (!MR) {  in getCStringLength()
919   MR = MR->StripCasts();  in getCStringLength()
921   switch (MR->getKind()) {  in getCStringLength()
927     const StringLiteral *strLit = cast<StringRegion>(MR)->getStringLiteral();  in getCStringLength()
933     const VarDecl *Decl = cast<NonParamVarRegion>(MR)->getDecl();  in getCStringLength()
950     return getCStringLengthForRegion(C, state, Ex, MR, hypothetical);  in getCStringLength()
969       if (SummarizeRegion(os, C.getASTContext(), MR))  in getCStringLength()
1135   if (std::optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {  in invalidateBufferAux()  local
1136     const MemRegion *R = MR->getRegion()->StripCasts();  in invalidateBufferAux()
1162                                      const MemRegion *MR) {  in SummarizeRegion()  argument
1163   switch (MR->getKind()) {  in SummarizeRegion()
1165     if (const auto *FD = cast<FunctionCodeRegion>(MR)->getDecl())  in SummarizeRegion()
1180        << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1183     os << "a variable of type" << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1186     os << "a parameter of type" << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1189     os << "a field of type " << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1193        << cast<TypedValueRegion>(MR)->getValueType();  in SummarizeRegion()
1205   const MemRegion *MR = MemVal.getAsRegion();  in memsetAux()  local
1206   if (!MR)  in memsetAux()
1213   RegionOffset Offset = MR->getAsOffset();  in memsetAux()
1262       State = setCStringLength(State, MR,  in memsetAux()
1266           CStringChecker::getTag(), MR, DstBuffer, Ctx.getSizeType(),  in memsetAux()
1276           MR, NewStrLen);  in memsetAux()
2595     const MemRegion *MR = VarLoc.getAsRegion();  in checkPreStmt()  local
2596     if (!MR)  in checkPreStmt()
2604     state = state->set<CStringLength>(MR, strLength);  in checkPreStmt()
2625   for (const MemRegion *MR : Regions) {  in checkRegionChanges()  local
2626     Invalidated.insert(MR);  in checkRegionChanges()
2628     SuperRegions.insert(MR);  in checkRegionChanges()
2629     while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) {  in checkRegionChanges()
2630       MR = SR->getSuperRegion();  in checkRegionChanges()
2631       SuperRegions.insert(MR);  in checkRegionChanges()
2638   for (const MemRegion *MR : llvm::make_first_range(Entries)) {  in checkRegionChanges()  local
2640     if (SuperRegions.count(MR)) {  in checkRegionChanges()
2641       Entries = F.remove(Entries, MR);  in checkRegionChanges()
2646     const MemRegion *Super = MR;  in checkRegionChanges()
2650         Entries = F.remove(Entries, MR);  in checkRegionChanges()