MPITypeMismatchCheck for Clang-Tidy
authorAlexander Kornienko <alexfh@google.com>
Mon, 25 Jul 2016 15:43:14 +0000 (15:43 +0000)
committerAlexander Kornienko <alexfh@google.com>
Mon, 25 Jul 2016 15:43:14 +0000 (15:43 +0000)
commit651767dbc783dabceb29a45773cbabb58d30b717
treef1fe3de412c5d7be96a0c56de20e3f7796a4c6b1
parentc5e509316a5dfe418721b5c714325bf12168696d
MPITypeMismatchCheck for Clang-Tidy

Summary:
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

Reviewers: alexfh

Subscribers: cfe-commits

Projects: #clang-tools-extra

Patch by Alexander Droste!

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

llvm-svn: 276640
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]