Lines Matching defs:MR
328 static bool SummarizeRegion(raw_ostream &os, const MemRegion *MR);
1254 const MemRegion *MR) {
1255 switch (MR->getKind()) {
1257 const NamedDecl *FD = cast<FunctionTextRegion>(MR)->getDecl();
1272 const MemSpaceRegion *MS = MR->getMemorySpace();
1275 const VarRegion *VR = dyn_cast<VarRegion>(MR);
1290 const VarRegion *VR = dyn_cast<VarRegion>(MR);
1305 const VarRegion *VR = dyn_cast<VarRegion>(MR);
1349 const MemRegion *MR = ArgVal.getAsRegion();
1350 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR))
1351 MR = ER->getSuperRegion();
1353 if (MR && isa<AllocaRegion>(MR))
1361 bool Summarized = MR ? SummarizeRegion(os, MR)
1372 R->markInteresting(MR);
1460 const MemRegion *MR = ArgVal.getAsRegion();
1461 assert(MR && "Only MemRegion based symbols can have offset free errors");
1463 RegionOffset Offset = MR->getAsOffset();
1485 R->markInteresting(MR->getBaseRegion());
1708 if (const MemRegion *MR = C.getLocationRegionIfPostStore(N)) {
1709 SVal Val = State->getSVal(MR);
1711 const VarRegion* VR = MR->getBaseRegion()->getAs<VarRegion>();
1716 ReferenceRegion = MR;
1911 if (const MemRegion *MR = RetVal.getAsRegion())
1912 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR))
1914 dyn_cast<SymbolicRegion>(MR->getBaseRegion()))
