Lines Matching defs:MR
127 const MemRegion *MR,
132 const MemRegion *MR,
151 const MemRegion *MR);
621 const MemRegion *MR,
625 MR = MR->StripCasts();
627 switch (MR->getKind()) {
655 return state->remove<CStringLength>(MR);
657 return state->set<CStringLength>(MR, strLength);
663 const MemRegion *MR,
667 const SVal *Recorded = state->get<CStringLength>(MR);
676 MR, Ex, sizeTy,
692 state = state->set<CStringLength>(MR, strLength);
701 const MemRegion *MR = Buf.getAsRegion();
702 if (!MR) {
739 MR = MR->StripCasts();
741 switch (MR->getKind()) {
747 const StringLiteral *strLit = cast<StringRegion>(MR)->getStringLiteral();
755 return getCStringLengthForRegion(C, state, Ex, MR, hypothetical);
782 if (SummarizeRegion(os, C.getASTContext(), MR))
830 if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {
831 const MemRegion *R = MR->getRegion()->StripCasts();
866 const MemRegion *MR) {
867 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR);
869 switch (MR->getKind()) {
871 const NamedDecl *FD = cast<FunctionTextRegion>(MR)->getDecl();
1959 const MemRegion *MR = VarLoc.getAsRegion();
1960 if (!MR)
1968 state = state->set<CStringLength>(MR, strLength);
1995 const MemRegion *MR = *I;
1996 Invalidated.insert(MR);
1998 SuperRegions.insert(MR);
1999 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) {
2000 MR = SR->getSuperRegion();
2001 SuperRegions.insert(MR);
2010 const MemRegion *MR = I.getKey();
2013 if (SuperRegions.count(MR)) {
2014 Entries = F.remove(Entries, MR);
2019 const MemRegion *Super = MR;
2023 Entries = F.remove(Entries, MR);
