Checkers/MPI-Checker/MPIBugReporter.cpp

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