maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang-tools-extra/clang-tidy/mpi/CMakeLists.txt

18 lines
284 B
CMake
Raw Normal View History

[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
2016-08-03 04:29:35 +08:00
set(LLVM_LINK_COMPONENTS support)
add_clang_library(clangTidyMPIModule
[clang-tidy] MPIBufferDerefCheck ... This check verifies if a buffer passed to an MPI (Message Passing Interface) function is sufficiently dereferenced. Buffers should be passed as a single pointer or array. As MPI function signatures specify void * for their buffer types, insufficiently dereferenced buffers can be passed, like for example as double pointers or multidimensional arrays, without a compiler warning emitted. Instructions on how to apply the check can be found at: https://github.com/0ax1/MPI-Checker/tree/master/examples Reviewers: Haojian Wu Differential revision: https://reviews.llvm.org/D22729 llvm-svn: 278553
2016-08-13 03:30:31 +08:00
BufferDerefCheck.cpp
[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
2016-08-03 04:29:35 +08:00
MPITidyModule.cpp
TypeMismatchCheck.cpp
LINK_LIBS
clangAST
clangASTMatchers
clangBasic
clangLex
clangTidy
clangTidyUtils
clangTooling
[clang-tidy] Fix missing dependency to static analyzer Summary: This patch is fixing the build bot broken for a missing dependency. The missing dependency is breaking "shared" build. ``` ./mpi/TypeMismatchCheck.cpp: #include "clang/StaticAnalyzer/Checkers/MPIFunctionClassifier.h" ``` I'm not a fan of that fix. It's brining a strange dependency. Reviewers: alexfh Subscribers: llvm-commits, chrisha Differential Revision: https://reviews.llvm.org/D23093 llvm-svn: 277539
2016-08-03 06:51:46 +08:00
clangStaticAnalyzerCheckers
[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
2016-08-03 04:29:35 +08:00
)