Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.cpp26 const MemRegion *const RequestRegion, in reportDoubleNonblocking() argument
32 RequestRegion->getDescriptiveName() + ". "; in reportDoubleNonblocking()
38 SourceRange Range = RequestRegion->sourceRange(); in reportDoubleNonblocking()
45 Report->markInteresting(RequestRegion); in reportDoubleNonblocking()
51 const ento::mpi::Request &Req, const MemRegion *const RequestRegion, in reportMissingWait() argument
54 std::string ErrorText{"Request " + RequestRegion->getDescriptiveName() + in reportMissingWait()
60 SourceRange Range = RequestRegion->sourceRange(); in reportMissingWait()
65 Report->markInteresting(RequestRegion); in reportMissingWait()
74 std::string ErrorText{"Request " + RequestRegion->getDescriptiveName() + in reportUnmatchedWait()
81 SourceRange Range = RequestRegion->sourceRange(); in reportUnmatchedWait()
[all …]
H A DMPIBugReporter.h45 const MemRegion *const RequestRegion,
56 const MemRegion *const RequestRegion,
67 const MemRegion *const RequestRegion,
85 : RequestRegion(MemoryRegion), ErrorText(ErrText) {} in RequestNodeVisitor()
90 ID.AddPointer(RequestRegion); in Profile()
98 const MemRegion *const RequestRegion;