Lines Matching defs:MR
364 static bool SummarizeRegion(raw_ostream &os, const MemRegion *MR);
1517 const MemRegion *MR) {
1518 switch (MR->getKind()) {
1520 const NamedDecl *FD = cast<FunctionTextRegion>(MR)->getDecl();
1535 const MemSpaceRegion *MS = MR->getMemorySpace();
1538 const VarRegion *VR = dyn_cast<VarRegion>(MR);
1553 const VarRegion *VR = dyn_cast<VarRegion>(MR);
1568 const VarRegion *VR = dyn_cast<VarRegion>(MR);
1611 const MemRegion *MR = ArgVal.getAsRegion();
1612 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR))
1613 MR = ER->getSuperRegion();
1620 bool Summarized = MR ? SummarizeRegion(os, MR)
1630 R->markInteresting(MR);
1744 const MemRegion *MR = ArgVal.getAsRegion();
1745 assert(MR && "Only MemRegion based symbols can have offset free errors");
1747 RegionOffset Offset = MR->getAsOffset();
1769 R->markInteresting(MR->getBaseRegion());
2025 if (const MemRegion *MR = C.getLocationRegionIfPostStore(N)) {
2026 SVal Val = State->getSVal(MR);
2028 const VarRegion* VR = MR->getBaseRegion()->getAs<VarRegion>();
2033 ReferenceRegion = MR;
2233 if (const MemRegion *MR = RetVal.getAsRegion())
2234 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR))
2236 dyn_cast<SymbolicRegion>(MR->getBaseRegion()))