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