StaticAnalyzer/Checkers/CStringChecker.cpp

127                                               const MemRegion *MR,
132                                         const MemRegion *MR,
152                               const MemRegion *MR);
629                                                 const MemRegion *MR,
633   MR = MR->StripCasts();
635   switch (MR->getKind()) {
663     return state->remove<CStringLength>(MR);
665   return state->set<CStringLength>(MR, strLength);
671                                                const MemRegion *MR,
675     const SVal *Recorded = state->get<CStringLength>(MR);
684                                                     MR, Ex, sizeTy,
700     state = state->set<CStringLength>(MR, strLength);
709   const MemRegion *MR = Buf.getAsRegion();
710   if (!MR) {
747   MR = MR->StripCasts();
749   switch (MR->getKind()) {
755     const StringLiteral *strLit = cast<StringRegion>(MR)->getStringLiteral();
763     return getCStringLengthForRegion(C, state, Ex, MR, hypothetical);
790       if (SummarizeRegion(os, C.getASTContext(), MR))
901   if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {
902     const MemRegion *R = MR->getRegion()->StripCasts();
947                                      const MemRegion *MR) {
948   const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR);
950   switch (MR->getKind()) {
952     const NamedDecl *FD = cast<FunctionCodeRegion>(MR)->getDecl();
2039     const MemRegion *MR = VarLoc.getAsRegion();
2040     if (!MR)
2048     state = state->set<CStringLength>(MR, strLength);
2075     const MemRegion *MR = *I;
2076     Invalidated.insert(MR);
2078     SuperRegions.insert(MR);
2079     while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) {
2080       MR = SR->getSuperRegion();
2081       SuperRegions.insert(MR);
2090     const MemRegion *MR = I.getKey();
2093     if (SuperRegions.count(MR)) {
2094       Entries = F.remove(Entries, MR);
2099     const MemRegion *Super = MR;
2103         Entries = F.remove(Entries, MR);