|
clang
5.0.0
|
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) 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 | inlineprotected |
| MPIChecker() | clang::ento::mpi::MPIChecker | inline |
| printState(raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep) const | clang::ento::CheckerBase | inlinevirtual |
| ProgramPointTag(void *tagKind=nullptr) | clang::ProgramPointTag | inline |
| ~ProgramPointTag() | clang::ProgramPointTag | virtual |
1.8.6