HomePhabricator

MPITypeMismatchCheck for Clang-Tidy

Authored by alexfh on Jul 25 2016, 8:43 AM.

Description

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

Details

Committed
alexfhJul 25 2016, 8:43 AM
Differential Revision
D21962: MPITypeMismatchCheck for Clang-Tidy
Parents
rGc5e509316a5d: MPI-Checker: move MPIFunctionClassifier.h
Branches
Unknown
Tags
Unknown