Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.cpp24 const MemRegion *const RequestRegion, in reportDoubleNonblocking() argument
30 RequestRegion->getDescriptiveName() + ". "; in reportDoubleNonblocking()
36 SourceRange Range = RequestRegion->sourceRange(); in reportDoubleNonblocking()
42 RequestRegion, "Request is previously used by nonblocking call here. ")); in reportDoubleNonblocking()
43 Report->markInteresting(RequestRegion); in reportDoubleNonblocking()
49 const ento::mpi::Request &Req, const MemRegion *const RequestRegion, in reportMissingWait() argument
52 std::string ErrorText{"Request " + RequestRegion->getDescriptiveName() + in reportMissingWait()
58 SourceRange Range = RequestRegion->sourceRange(); in reportMissingWait()
62 RequestRegion, "Request is previously used by nonblocking call here. ")); in reportMissingWait()
63 Report->markInteresting(RequestRegion); in reportMissingWait()
[all …]