25     const MemRegion *const RequestRegion,  in reportDoubleNonblocking()  argument
31               RequestRegion->getDescriptiveName() + ". ";  in reportDoubleNonblocking()
37   SourceRange Range = RequestRegion->sourceRange();  in reportDoubleNonblocking()
43       RequestRegion, "Request is previously used by nonblocking call here. "));  in reportDoubleNonblocking()
44   Report->markInteresting(RequestRegion);  in reportDoubleNonblocking()
50     const ento::mpi::Request &Req, const MemRegion *const RequestRegion,  in reportMissingWait()  argument
53   std::string ErrorText{"Request " + RequestRegion->getDescriptiveName() +  in reportMissingWait()
59   SourceRange Range = RequestRegion->sourceRange();  in reportMissingWait()
63       RequestRegion, "Request is previously used by nonblocking call here. "));  in reportMissingWait()
64   Report->markInteresting(RequestRegion);  in reportMissingWait()
70     const CallEvent &CE, const clang::ento::MemRegion *const RequestRegion,  in reportUnmatchedWait()  argument
73   std::string ErrorText{"Request " + RequestRegion->getDescriptiveName() +  in reportUnmatchedWait()
80   SourceRange Range = RequestRegion->sourceRange();  in reportUnmatchedWait()
95   const Request *const Req = N->getState()->get<RequestMap>(RequestRegion);  in VisitNode()
99       N->getFirstPred()->getState()->get<RequestMap>(RequestRegion);  in VisitNode()