Lines Matching defs:MR
187 static bool SummarizeRegion(raw_ostream &os, const MemRegion *MR);
603 const MemRegion *MR) {
604 switch (MR->getKind()) {
606 const FunctionDecl *FD = cast<FunctionTextRegion>(MR)->getDecl();
621 const MemSpaceRegion *MS = MR->getMemorySpace();
624 const VarRegion *VR = dyn_cast<VarRegion>(MR);
639 const VarRegion *VR = dyn_cast<VarRegion>(MR);
654 const VarRegion *VR = dyn_cast<VarRegion>(MR);
685 const MemRegion *MR = ArgVal.getAsRegion();
686 if (MR) {
687 while (const ElementRegion *ER = dyn_cast<ElementRegion>(MR))
688 MR = ER->getSuperRegion();
691 if (isa<AllocaRegion>(MR))
695 if (SummarizeRegion(os, MR))
709 R->markInteresting(MR);
838 if (const MemRegion *MR = C.getLocationRegionIfPostStore(N)) {
839 SVal Val = State->getSVal(MR);
841 ReferenceRegion = MR;
1009 if (const MemRegion *MR = RetVal.getAsRegion())
1010 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR))
1012 dyn_cast<SymbolicRegion>(MR->getBaseRegion()))
