[clang-tidy] MPITypeMismatchCheck
authorAlexander Kornienko <alexfh@google.com>
Tue, 2 Aug 2016 20:29:35 +0000 (20:29 +0000)
committerAlexander Kornienko <alexfh@google.com>
Tue, 2 Aug 2016 20:29:35 +0000 (20:29 +0000)
commit5e0a50c2d7eb2ab01c30718b1b9fcb9593cd572b
tree30cedc50a1c0a2548a2c150d93aa4843417b06fb
parentdc7001afb2d58c56d9c6c6f483fac12a59031f91
[clang-tidy] MPITypeMismatchCheck

This check verifies if buffer type and MPI (Message Passing Interface)
datatype pairs match. All MPI datatypes defined by the MPI standard (3.1)
are verified by this check. User defined typedefs, custom MPI datatypes and
null pointer constants are skipped, in the course of verification.

Instructions on how to apply the check can be found at:
https://github.com/0ax1/MPI-Checker/tree/master/examples

Patch by Alexander Droste!

Differential revision: https://reviews.llvm.org/D21962

llvm-svn: 277516
12 files changed:
clang-tools-extra/clang-tidy/CMakeLists.txt
clang-tools-extra/clang-tidy/mpi/CMakeLists.txt [new file with mode: 0644]
clang-tools-extra/clang-tidy/mpi/MPITidyModule.cpp [new file with mode: 0644]
clang-tools-extra/clang-tidy/mpi/TypeMismatchCheck.cpp [new file with mode: 0644]
clang-tools-extra/clang-tidy/mpi/TypeMismatchCheck.h [new file with mode: 0644]
clang-tools-extra/clang-tidy/plugin/CMakeLists.txt
clang-tools-extra/clang-tidy/tool/CMakeLists.txt
clang-tools-extra/clang-tidy/tool/ClangTidyMain.cpp
clang-tools-extra/docs/clang-tidy/checks/list.rst
clang-tools-extra/docs/clang-tidy/checks/mpi-type-mismatch.rst [new file with mode: 0644]
clang-tools-extra/test/clang-tidy/Inputs/mpi-type-mismatch/mpimock.h [new file with mode: 0644]
clang-tools-extra/test/clang-tidy/mpi-type-mismatch.cpp [new file with mode: 0644]