Home
last modified time | relevance | path

Searched refs:ReqRegion (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
DMPIChecker.cpp79 for (const auto &ReqRegion : ReqRegions) { in checkUnmatchedWaits() local
80 const Request *const Req = State->get<RequestMap>(ReqRegion); in checkUnmatchedWaits()
81 State = State->set<RequestMap>(ReqRegion, Request::State::Wait); in checkUnmatchedWaits()
88 BReporter.reportUnmatchedWait(PreCallEvent, ReqRegion, ErrorNode, Ctx.getBugReporter()); in checkUnmatchedWaits()