Lines Matching refs:MR
30 const MemRegion *const MR =
32 if (!MR)
34 const ElementRegion *const ER = dyn_cast<ElementRegion>(MR);
37 if (!isa<TypedRegion>(MR) || (ER && !isa<TypedRegion>(ER->getSuperRegion())))
41 const Request *const Req = State->get<RequestMap>(MR);
46 BReporter.reportDoubleNonblocking(PreCallEvent, *Req, MR, ErrorNode,
52 State = State->set<RequestMap>(MR, Request::State::Nonblocking);
61 const MemRegion *const MR = topRegionUsedByWait(PreCallEvent);
62 if (!MR)
64 const ElementRegion *const ER = dyn_cast<ElementRegion>(MR);
67 if (!isa<TypedRegion>(MR) || (ER && !isa<TypedRegion>(ER->getSuperRegion())))
71 allRegionsUsedByWait(ReqRegions, MR, PreCallEvent, Ctx);
148 const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const {
150 MemRegionManager &RegionManager = MR->getMemRegionManager();
154 if (const ElementRegion *const ER = MR->getAs<ElementRegion>()) {
160 ReqRegions.push_back(MR);
180 ReqRegions.push_back(MR);