Lines Matching defs:MR
123 const MemRegion *MR,
128 const MemRegion *MR,
146 const MemRegion *MR);
612 const MemRegion *MR,
616 MR = MR->StripCasts();
618 switch (MR->getKind()) {
646 return state->remove<CStringLength>(MR);
648 return state->set<CStringLength>(MR, strLength);
654 const MemRegion *MR,
658 const SVal *Recorded = state->get<CStringLength>(MR);
667 MR, Ex, sizeTy,
671 state = state->set<CStringLength>(MR, strLength);
679 const MemRegion *MR = Buf.getAsRegion();
680 if (!MR) {
717 MR = MR->StripCasts();
719 switch (MR->getKind()) {
725 const StringLiteral *strLit = cast<StringRegion>(MR)->getStringLiteral();
733 return getCStringLengthForRegion(C, state, Ex, MR, hypothetical);
759 if (SummarizeRegion(os, C.getASTContext(), MR))
806 if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {
807 const MemRegion *R = MR->getRegion()->StripCasts();
829 const MemRegion *MR) {
830 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR);
832 switch (MR->getKind()) {
834 const NamedDecl *FD = cast<FunctionTextRegion>(MR)->getDecl();
1845 const MemRegion *MR = VarLoc.getAsRegion();
1846 if (!MR)
1854 state = state->set<CStringLength>(MR, strLength);
1881 const MemRegion *MR = *I;
1882 Invalidated.insert(MR);
1884 SuperRegions.insert(MR);
1885 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) {
1886 MR = SR->getSuperRegion();
1887 SuperRegions.insert(MR);
1896 const MemRegion *MR = I.getKey();
1899 if (SuperRegions.count(MR)) {
1900 Entries = F.remove(Entries, MR);
1905 const MemRegion *Super = MR;
1909 Entries = F.remove(Entries, MR);
