18 #ifndef LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_MPICHECKER_MPICHECKER_H
19 #define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_MPICHECKER_MPICHECKER_H
50 const_cast<std::unique_ptr<MPIFunctionClassifier> &
>(FuncClassifier)
87 void allRegionsUsedByWait(
99 const std::unique_ptr<MPIFunctionClassifier> FuncClassifier;
This file provides definitions to model concepts of MPI.
MemRegion - The root abstract class for all memory regions.
void checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const
void checkMissingWaits(clang::ento::SymbolReaper &SymReaper, clang::ento::CheckerContext &Ctx) const
Check if a nonblocking call is not matched by a wait.
This file defines functionality to identify and classify MPI functions.
void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const
A class responsible for cleaning up unused symbols.
void checkDoubleNonblocking(const clang::ento::CallEvent &PreCallEvent, clang::ento::CheckerContext &Ctx) const
Checks if a request is used by nonblocking calls multiple times in sequence without intermediate wait...
ASTContext & getASTContext()
Represents an abstract call to a function or method along a particular path.
void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent, clang::ento::CheckerContext &Ctx) const
Checks if a request is used by a wait multiple times in sequence without intermediate nonblocking cal...
void dynamicInit(CheckerContext &Ctx) const
This file defines prefabricated reports which are emitted in case of MPI related bugs, detected by path-sensitive analysis.