Lines Matching refs:MR
364 static bool SummarizeRegion(raw_ostream &os, const MemRegion *MR);
1514 const MemRegion *MR) {
1515 switch (MR->getKind()) {
1517 const NamedDecl *FD = cast<FunctionCodeRegion>(MR)->getDecl();
1532 const MemSpaceRegion *MS = MR->getMemorySpace();
1535 const VarRegion *VR = dyn_cast<VarRegion>(MR);
1550 const VarRegion *VR = dyn_cast<VarRegion>(MR);
1565 const VarRegion *VR = dyn_cast<VarRegion>(MR);
1608 const MemRegion *MR = ArgVal.getAsRegion();
1609 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR))
1610 MR = ER->getSuperRegion();
1617 bool Summarized = MR ? SummarizeRegion(os, MR)
1627 R->markInteresting(MR);
1741 const MemRegion *MR = ArgVal.getAsRegion();
1742 assert(MR && "Only MemRegion based symbols can have offset free errors");
1744 RegionOffset Offset = MR->getAsOffset();
1766 R->markInteresting(MR->getBaseRegion());
2022 if (const MemRegion *MR = C.getLocationRegionIfPostStore(N)) {
2023 SVal Val = State->getSVal(MR);
2025 const VarRegion* VR = MR->getBaseRegion()->getAs<VarRegion>();
2030 ReferenceRegion = MR;
2230 if (const MemRegion *MR = RetVal.getAsRegion())
2231 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR))
2233 dyn_cast<SymbolicRegion>(MR->getBaseRegion()))