17 #ifndef LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_MPICHECKER_MPITYPES_H 18 #define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_MPICHECKER_MPITYPES_H 22 #include "llvm/ADT/SmallSet.h"
MemRegion - The root abstract class for all memory regions.
llvm::ImmutableMap< const clang::ento::MemRegion *, clang::ento::mpi::Request > RequestMapImpl
bool operator==(const Request &ToCompare) const
This file defines functionality to identify and classify MPI functions.
void Profile(llvm::FoldingSetNodeID &Id) const
Dataflow Directional Tag Classes.