Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
DMPIBugReporter.cpp26 const MemRegion *const RequestRegion, in reportDoubleNonblocking() argument
32 RequestRegion->getDescriptiveName() + ". "; in reportDoubleNonblocking()
38 SourceRange Range = RequestRegion->sourceRange(); in reportDoubleNonblocking()
44 RequestRegion, "Request is previously used by nonblocking call here. ")); 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()
64 RequestRegion, "Request is previously used by nonblocking call here. ")); in reportMissingWait()
65 Report->markInteresting(RequestRegion); in reportMissingWait()
[all …]
DMPIBugReporter.h45 const MemRegion *const RequestRegion,
58 const MemRegion *const RequestRegion,
69 const MemRegion *const RequestRegion,
87 : RequestRegion(MemoryRegion), ErrorText(ErrText) {} in RequestNodeVisitor()
92 ID.AddPointer(RequestRegion); in Profile()
101 const MemRegion *const RequestRegion;