Searched refs:MPIChecker (Results 1 – 4 of 4) sorted by relevance
25 void MPIChecker::checkDoubleNonblocking(const CallEvent &PreCallEvent, in checkDoubleNonblocking()57 void MPIChecker::checkUnmatchedWaits(const CallEvent &PreCallEvent, in checkUnmatchedWaits()101 void MPIChecker::checkMissingWaits(SymbolReaper &SymReaper, in checkMissingWaits()135 const MemRegion *MPIChecker::topRegionUsedByWait(const CallEvent &CE) const { in topRegionUsedByWait()146 void MPIChecker::allRegionsUsedByWait( in allRegionsUsedByWait()190 MGR.registerChecker<clang::ento::mpi::MPIChecker>(); in registerMPIChecker()
30 class MPIChecker : public Checker<check::PreCall, check::DeadSymbols> {32 MPIChecker() : BReporter(*this) {} in MPIChecker() function
1371 def MPIChecker : Checker<"MPI-Checker">,
688 SRCS_FUL+= StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp