Lines Matching refs:MR

364   static bool SummarizeRegion(raw_ostream &os, const MemRegion *MR);
1510 const MemRegion *MR) { in SummarizeRegion() argument
1511 switch (MR->getKind()) { in SummarizeRegion()
1513 const NamedDecl *FD = cast<FunctionTextRegion>(MR)->getDecl(); in SummarizeRegion()
1528 const MemSpaceRegion *MS = MR->getMemorySpace(); in SummarizeRegion()
1531 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
1546 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
1561 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
1604 const MemRegion *MR = ArgVal.getAsRegion(); in ReportBadFree() local
1605 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR)) in ReportBadFree()
1606 MR = ER->getSuperRegion(); in ReportBadFree()
1613 bool Summarized = MR ? SummarizeRegion(os, MR) in ReportBadFree()
1623 R->markInteresting(MR); in ReportBadFree()
1736 const MemRegion *MR = ArgVal.getAsRegion(); in ReportOffsetFree() local
1737 assert(MR && "Only MemRegion based symbols can have offset free errors"); in ReportOffsetFree()
1739 RegionOffset Offset = MR->getAsOffset(); in ReportOffsetFree()
1761 R->markInteresting(MR->getBaseRegion()); in ReportOffsetFree()
2017 if (const MemRegion *MR = C.getLocationRegionIfPostStore(N)) { in getAllocationSite() local
2018 SVal Val = State->getSVal(MR); in getAllocationSite()
2020 const VarRegion* VR = MR->getBaseRegion()->getAs<VarRegion>(); in getAllocationSite()
2025 ReferenceRegion = MR; in getAllocationSite()
2223 if (const MemRegion *MR = RetVal.getAsRegion()) in checkPreStmt() local
2224 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR)) in checkPreStmt()
2226 dyn_cast<SymbolicRegion>(MR->getBaseRegion())) in checkPreStmt()