Lines Matching defs:MR
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<FunctionTextRegion>(MR)->getDecl();
2042 const MemRegion *MR = VarLoc.getAsRegion();
2043 if (!MR)
2051 state = state->set<CStringLength>(MR, strLength);
2078 const MemRegion *MR = *I;
2079 Invalidated.insert(MR);
2081 SuperRegions.insert(MR);
2082 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) {
2083 MR = SR->getSuperRegion();
2084 SuperRegions.insert(MR);
2093 const MemRegion *MR = I.getKey();
2096 if (SuperRegions.count(MR)) {
2097 Entries = F.remove(Entries, MR);
2102 const MemRegion *Super = MR;
2106 Entries = F.remove(Entries, MR);