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, Ctx.getBugReporter());  in checkDoubleNonblocking()
51     State = State->set<RequestMap>(MR, Request::State::Nonblocking);  in checkDoubleNonblocking()
60   const MemRegion *const MR = topRegionUsedByWait(PreCallEvent);  in checkUnmatchedWaits()  local
61   if (!MR)  in checkUnmatchedWaits()
63   const ElementRegion *const ER = dyn_cast<ElementRegion>(MR);  in checkUnmatchedWaits()
66   if (!isa<TypedRegion>(MR) || (ER && !isa<TypedRegion>(ER->getSuperRegion())))  in checkUnmatchedWaits()
70   allRegionsUsedByWait(ReqRegions, MR, PreCallEvent, Ctx);  in checkUnmatchedWaits()
148     const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const {  in allRegionsUsedByWait()  argument
150   MemRegionManager *const RegionManager = MR->getMemRegionManager();  in allRegionsUsedByWait()
154     if (const ElementRegion *const ER = MR->getAs<ElementRegion>()) {  in allRegionsUsedByWait()
160       ReqRegions.push_back(MR);  in allRegionsUsedByWait()
179     ReqRegions.push_back(MR);  in allRegionsUsedByWait()