Lines Matching refs:MR
127 const MemRegion *MR,
132 const MemRegion *MR,
151 const MemRegion *MR);
621 const MemRegion *MR, in setCStringLength() argument
625 MR = MR->StripCasts(); in setCStringLength()
627 switch (MR->getKind()) { in setCStringLength()
655 return state->remove<CStringLength>(MR); in setCStringLength()
657 return state->set<CStringLength>(MR, strLength); in setCStringLength()
663 const MemRegion *MR, in getCStringLengthForRegion() argument
667 const SVal *Recorded = state->get<CStringLength>(MR); in getCStringLengthForRegion()
676 MR, Ex, sizeTy, in getCStringLengthForRegion()
692 state = state->set<CStringLength>(MR, strLength); in getCStringLengthForRegion()
701 const MemRegion *MR = Buf.getAsRegion(); in getCStringLength() local
702 if (!MR) { in getCStringLength()
739 MR = MR->StripCasts(); in getCStringLength()
741 switch (MR->getKind()) { in getCStringLength()
747 const StringLiteral *strLit = cast<StringRegion>(MR)->getStringLiteral(); in getCStringLength()
755 return getCStringLengthForRegion(C, state, Ex, MR, hypothetical); in getCStringLength()
782 if (SummarizeRegion(os, C.getASTContext(), MR)) in getCStringLength()
830 if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) { in InvalidateBuffer() local
831 const MemRegion *R = MR->getRegion()->StripCasts(); in InvalidateBuffer()
866 const MemRegion *MR) { in SummarizeRegion() argument
867 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR); in SummarizeRegion()
869 switch (MR->getKind()) { in SummarizeRegion()
871 const NamedDecl *FD = cast<FunctionTextRegion>(MR)->getDecl(); in SummarizeRegion()
1964 const MemRegion *MR = VarLoc.getAsRegion(); in checkPreStmt() local
1965 if (!MR) in checkPreStmt()
1973 state = state->set<CStringLength>(MR, strLength); in checkPreStmt()
2000 const MemRegion *MR = *I; in checkRegionChanges() local
2001 Invalidated.insert(MR); in checkRegionChanges()
2003 SuperRegions.insert(MR); in checkRegionChanges()
2004 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) { in checkRegionChanges()
2005 MR = SR->getSuperRegion(); in checkRegionChanges()
2006 SuperRegions.insert(MR); in checkRegionChanges()
2015 const MemRegion *MR = I.getKey(); in checkRegionChanges() local
2018 if (SuperRegions.count(MR)) { in checkRegionChanges()
2019 Entries = F.remove(Entries, MR); in checkRegionChanges()
2024 const MemRegion *Super = MR; in checkRegionChanges()
2028 Entries = F.remove(Entries, MR); in checkRegionChanges()