clang 8.0.0

clang::ento::mpi::MPIChecker Member List

This is the complete list of members for clang::ento::mpi::MPIChecker, including all inherited members.

_register(CHECKER *checker, CheckerManager &mgr) | clang::ento::Checker< check::PreCall, check::DeadSymbols > | inline static
checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const | clang::ento::mpi::MPIChecker | inline
checkDoubleNonblocking(const clang::ento::CallEvent &PreCallEvent, clang::ento::CheckerContext &Ctx) const | clang::ento::mpi::MPIChecker |
checkMissingWaits(clang::ento::SymbolReaper &SymReaper, clang::ento::CheckerContext &Ctx) const | clang::ento::mpi::MPIChecker |
checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const | clang::ento::mpi::MPIChecker | inline
checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent, clang::ento::CheckerContext &Ctx) const | clang::ento::mpi::MPIChecker |
dynamicInit(CheckerContext &Ctx) const | clang::ento::mpi::MPIChecker | inline
getCheckName() const | clang::ento::CheckerBase |
getTagDescription() const override | clang::ento::CheckerBase | virtual
getTagKind() | clang::ProgramPointTag | inline protected
MPIChecker() | clang::ento::mpi::MPIChecker | inline
printState(raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep) const | clang::ento::CheckerBase | inline virtual
ProgramPointTag(void *tagKind=nullptr) | clang::ProgramPointTag | inline
~ProgramPointTag() | clang::ProgramPointTag | virtual