26     const MemRegion *const RequestRegion,  in reportDoubleNonblocking()  argument
32               RequestRegion->getDescriptiveName() + ". ";  in reportDoubleNonblocking()
38   SourceRange Range = RequestRegion->sourceRange();  in reportDoubleNonblocking()
44       RequestRegion, "Request is previously used by nonblocking call here. "));  in reportDoubleNonblocking()
45   Report->markInteresting(RequestRegion);  in reportDoubleNonblocking()
51     const ento::mpi::Request &Req, const MemRegion *const RequestRegion,  in reportMissingWait()  argument
54   std::string ErrorText{"Request " + RequestRegion->getDescriptiveName() +  in reportMissingWait()
60   SourceRange Range = RequestRegion->sourceRange();  in reportMissingWait()
64       RequestRegion, "Request is previously used by nonblocking call here. "));  in reportMissingWait()
65   Report->markInteresting(RequestRegion);  in reportMissingWait()
71     const CallEvent &CE, const clang::ento::MemRegion *const RequestRegion,  in reportUnmatchedWait()  argument
74   std::string ErrorText{"Request " + RequestRegion->getDescriptiveName() +  in reportUnmatchedWait()
81   SourceRange Range = RequestRegion->sourceRange();  in reportUnmatchedWait()
95   const Request *const Req = N->getState()->get<RequestMap>(RequestRegion);  in VisitNode()
97       PrevN->getState()->get<RequestMap>(RequestRegion);  in VisitNode()