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