Lines Matching defs:MR
131 const MemRegion *MR,
136 const MemRegion *MR,
156 const MemRegion *MR);
633 const MemRegion *MR,
637 MR = MR->StripCasts();
639 switch (MR->getKind()) {
667 return state->remove<CStringLength>(MR);
669 return state->set<CStringLength>(MR, strLength);
675 const MemRegion *MR,
679 const SVal *Recorded = state->get<CStringLength>(MR);
688 MR, Ex, sizeTy,
704 state = state->set<CStringLength>(MR, strLength);
713 const MemRegion *MR = Buf.getAsRegion();
714 if (!MR) {
751 MR = MR->StripCasts();
753 switch (MR->getKind()) {
759 const StringLiteral *strLit = cast<StringRegion>(MR)->getStringLiteral();
767 return getCStringLengthForRegion(C, state, Ex, MR, hypothetical);
794 if (SummarizeRegion(os, C.getASTContext(), MR))
905 if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {
906 const MemRegion *R = MR->getRegion()->StripCasts();
951 const MemRegion *MR) {
952 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR);
954 switch (MR->getKind()) {
956 const NamedDecl *FD = cast<FunctionCodeRegion>(MR)->getDecl();
2100 const MemRegion *MR = VarLoc.getAsRegion();
2101 if (!MR)
2109 state = state->set<CStringLength>(MR, strLength);
2136 const MemRegion *MR = *I;
2137 Invalidated.insert(MR);
2139 SuperRegions.insert(MR);
2140 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) {
2141 MR = SR->getSuperRegion();
2142 SuperRegions.insert(MR);
2151 const MemRegion *MR = I.getKey();
2154 if (SuperRegions.count(MR)) {
2155 Entries = F.remove(Entries, MR);
2160 const MemRegion *Super = MR;
2164 Entries = F.remove(Entries, MR);
