Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.cpp25 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()
[all …]
H A DMPIBugReporter.h44 const MemRegion *const RequestRegion,
55 const MemRegion *const RequestRegion,
66 const MemRegion *const RequestRegion,
84 : RequestRegion(MemoryRegion), ErrorText(ErrText) {} in RequestNodeVisitor()
89 ID.AddPointer(RequestRegion); in Profile()
97 const MemRegion *const RequestRegion;