17 #ifndef LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_MPICHECKER_MPICHECKER_H 18 #define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_MPICHECKER_MPICHECKER_H 49 const_cast<std::unique_ptr<MPIFunctionClassifier> &
>(FuncClassifier)
84 void allRegionsUsedByWait(
96 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 checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const
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...
void checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const
void dynamicInit(CheckerContext &Ctx) const
This file defines functionality to identify and classify MPI functions.
A class responsible for cleaning up unused symbols.
Dataflow Directional Tag Classes.
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 the request used by the wait function was not used at all before.
This file defines prefabricated reports which are emitted in case of MPI related bugs, detected by path-sensitive analysis.
void checkMissingWaits(clang::ento::SymbolReaper &SymReaper, clang::ento::CheckerContext &Ctx) const
Check if a nonblocking call is not matched by a wait.