Searched refs:RequestRegion (Results 1 - 2 of 2) sorted by relevance
/freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | 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); 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 D | MPIBugReporter.h | 38 /// \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