|
clang
5.0.0
|
This file defines prefabricated reports which are emitted in case of MPI related bugs, detected by path-sensitive analysis. More...
#include "MPIBugReporter.h"#include "MPIChecker.h"#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"Go to the source code of this file.
Namespaces | |
| clang | |
| /file This file defines classes for searching and anlyzing source code clones. | |
| clang::ento | |
| clang::ento::mpi | |
This file defines prefabricated reports which are emitted in case of MPI related bugs, detected by path-sensitive analysis.
Definition in file MPIBugReporter.cpp.
1.8.6