Home
last modified time | relevance | path

Searched refs:MPIChecker (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp25 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()
H A DMPIChecker.h30 class MPIChecker : public Checker<check::PreCall, check::DeadSymbols> {
32 MPIChecker() : BReporter(*this) {} in MPIChecker() function
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DCMakeLists.txt72 MPI-Checker/MPIChecker.cpp
/llvm-project-15.0.7/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Checkers/
H A DBUILD.gn72 "MPI-Checker/MPIChecker.cpp",
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Checkers/
H A DCheckers.td1329 def MPIChecker : Checker<"MPI-Checker">,