Lines Matching refs:MR
311 static bool SummarizeRegion(raw_ostream &os, const MemRegion *MR);
1139 const MemRegion *MR) {
1140 switch (MR->getKind()) {
1142 const NamedDecl *FD = cast<FunctionTextRegion>(MR)->getDecl();
1157 const MemSpaceRegion *MS = MR->getMemorySpace();
1160 const VarRegion *VR = dyn_cast<VarRegion>(MR);
1175 const VarRegion *VR = dyn_cast<VarRegion>(MR);
1190 const VarRegion *VR = dyn_cast<VarRegion>(MR);
1230 const MemRegion *MR = ArgVal.getAsRegion();
1231 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR))
1232 MR = ER->getSuperRegion();
1234 if (MR && isa<AllocaRegion>(MR))
1242 bool Summarized = MR ? SummarizeRegion(os, MR)
1253 R->markInteresting(MR);
1323 const MemRegion *MR = ArgVal.getAsRegion();
1324 assert(MR && "Only MemRegion based symbols can have offset free errors");
1326 RegionOffset Offset = MR->getAsOffset();
1348 R->markInteresting(MR->getBaseRegion());
1540 if (const MemRegion *MR = C.getLocationRegionIfPostStore(N)) {
1541 SVal Val = State->getSVal(MR);
1543 const VarRegion* VR = MR->getBaseRegion()->getAs<VarRegion>();
1548 ReferenceRegion = MR;
1733 if (const MemRegion *MR = RetVal.getAsRegion())
1734 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR))
1736 dyn_cast<SymbolicRegion>(MR->getBaseRegion()))
