Searched defs:RequestRegion (Results 1 - 2 of 2) sorted by relevance
| /netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIBugReporter.cpp | 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 | 97 const MemRegion *const RequestRegion; member in class:clang::ento::mpi::MPIBugReporter::RequestNodeVisitor
|
Completed in 183 milliseconds