|
clang
5.0.0
|
This file provides definitions to model concepts of MPI. More...
#include "clang/StaticAnalyzer/Checkers/MPIFunctionClassifier.h"#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"#include "llvm/ADT/SmallSet.h"Go to the source code of this file.
Classes | |
| class | clang::ento::mpi::Request |
| struct | clang::ento::mpi::RequestMap |
| struct | clang::ento::ProgramStateTrait< mpi::RequestMap > |
Namespaces | |
| clang | |
| /file This file defines classes for searching and anlyzing source code clones. | |
| clang::ento | |
| clang::ento::mpi | |
Typedefs | |
| typedef llvm::ImmutableMap < const clang::ento::MemRegion *, clang::ento::mpi::Request > | clang::ento::mpi::RequestMapImpl |
This file provides definitions to model concepts of MPI.
The mpi::Request class defines a wrapper class, in order to make MPI requests trackable for path-sensitive analysis.
Definition in file MPITypes.h.
1.8.6