clang 19.0.0git
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 >inlinestatic
checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) constclang::ento::mpi::MPICheckerinline
checkDoubleNonblocking(const clang::ento::CallEvent &PreCallEvent, clang::ento::CheckerContext &Ctx) constclang::ento::mpi::MPIChecker
checkMissingWaits(clang::ento::SymbolReaper &SymReaper, clang::ento::CheckerContext &Ctx) constclang::ento::mpi::MPIChecker
checkPreCall(const CallEvent &CE, CheckerContext &Ctx) constclang::ento::mpi::MPICheckerinline
checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent, clang::ento::CheckerContext &Ctx) constclang::ento::mpi::MPIChecker
dynamicInit(CheckerContext &Ctx) constclang::ento::mpi::MPICheckerinline
getCheckerName() constclang::ento::CheckerBase
getTagDescription() const overrideclang::ento::CheckerBasevirtual
getTagKind() constclang::ProgramPointTaginline
MPIChecker()clang::ento::mpi::MPICheckerinline
printState(raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep) constclang::ento::CheckerBaseinlinevirtual
ProgramPointTag(void *tagKind=nullptr)clang::ProgramPointTaginline
~ProgramPointTag()clang::ProgramPointTagvirtual