Searched refs:RequestRegion (Results 1 - 2 of 2) sorted by relevance

/freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.cpp25 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);
23 reportDoubleNonblocking( const CallEvent &MPICallEvent, const ento::mpi::Request &Req, const MemRegion *const RequestRegion, const ExplodedNode *const ExplNode, BugReporter &BReporter) const argument
49 reportMissingWait( const ento::mpi::Request &Req, const MemRegion *const RequestRegion, const ExplodedNode *const ExplNode, BugReporter &BReporter) const argument
69 reportUnmatchedWait( const CallEvent &CE, const clang::ento::MemRegion *const RequestRegion, const ExplodedNode *const ExplNode, BugReporter &BReporter) const argument
[all...]
H A DMPIBugReporter.h38 /// \param RequestRegion memory region of the request
43 const MemRegion *const RequestRegion,
50 /// \param RequestRegion memory region of the request
54 const MemRegion *const RequestRegion,
61 /// \param RequestRegion memory region of the request
65 const MemRegion *const RequestRegion,
81 : RequestRegion(MemoryRegion), ErrorText(ErrText) {}
86 ID.AddPointer(RequestRegion);
94 const MemRegion *const RequestRegion; member in class:clang::ento::mpi::MPIBugReporter::RequestNodeVisitor

Completed in 155 milliseconds