StaticAnalyzer/Checkers/CStringChecker.cpp

204                                               const MemRegion *MR,
209                                         const MemRegion *MR,
229                               const MemRegion *MR);
698                                                 const MemRegion *MR,
702   MR = MR->StripCasts();
704   switch (MR->getKind()) {
733     return state->remove<CStringLength>(MR);
735   return state->set<CStringLength>(MR, strLength);
741                                                const MemRegion *MR,
745     const SVal *Recorded = state->get<CStringLength>(MR);
754                                                     MR, Ex, sizeTy,
771     state = state->set<CStringLength>(MR, strLength);
780   const MemRegion *MR = Buf.getAsRegion();
781   if (!MR) {
805   MR = MR->StripCasts();
807   switch (MR->getKind()) {
813     const StringLiteral *strLit = cast<StringRegion>(MR)->getStringLiteral();
822     return getCStringLengthForRegion(C, state, Ex, MR, hypothetical);
841       if (SummarizeRegion(os, C.getASTContext(), MR))
948   if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {
949     const MemRegion *R = MR->getRegion()->StripCasts();
994                                      const MemRegion *MR) {
995   switch (MR->getKind()) {
997     if (const auto *FD = cast<FunctionCodeRegion>(MR)->getDecl())
1012        << cast<TypedValueRegion>(MR)->getValueType().getAsString();
1016        << cast<TypedValueRegion>(MR)->getValueType().getAsString();
1020        << cast<TypedValueRegion>(MR)->getValueType().getAsString();
1024        << cast<TypedValueRegion>(MR)->getValueType().getAsString();
1028        << cast<TypedValueRegion>(MR)->getValueType().getAsString();
1040   const MemRegion *MR = MemVal.getAsRegion();
1041   if (!MR)
1048   RegionOffset Offset = MR->getAsOffset();
1097       State = setCStringLength(State, MR,
1101           CStringChecker::getTag(), MR, DstBuffer, Ctx.getSizeType(),
1111           MR, NewStrLen);
2337     const MemRegion *MR = VarLoc.getAsRegion();
2338     if (!MR)
2346     state = state->set<CStringLength>(MR, strLength);
2369     const MemRegion *MR = *I;
2370     Invalidated.insert(MR);
2372     SuperRegions.insert(MR);
2373     while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) {
2374       MR = SR->getSuperRegion();
2375       SuperRegions.insert(MR);
2384     const MemRegion *MR = I.getKey();
2387     if (SuperRegions.count(MR)) {
2388       Entries = F.remove(Entries, MR);
2393     const MemRegion *Super = MR;
2397         Entries = F.remove(Entries, MR);