Searched refs:MPIChecker (Results 1 – 4 of 4) sorted by relevance
25 void MPIChecker::checkDoubleNonblocking(const CallEvent &PreCallEvent, in checkDoubleNonblocking()56 void MPIChecker::checkUnmatchedWaits(const CallEvent &PreCallEvent, in checkUnmatchedWaits()99 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper, in checkMissingWaits()135 const MemRegion *MPIChecker::topRegionUsedByWait(const CallEvent &CE) const { in topRegionUsedByWait()146 void MPIChecker::allRegionsUsedByWait( in allRegionsUsedByWait()189 MGR.registerChecker<clang::ento::mpi::MPIChecker>(); in registerMPIChecker()
31 class MPIChecker : public Checker<check::PreCall, check::DeadSymbols> {33 MPIChecker() : BReporter(*this) { } in MPIChecker() function
45 MPI-Checker/MPIChecker.cpp
583 def MPIChecker : Checker<"MPI-Checker">,585 DescFile<"MPIChecker.cpp">;