forked from OSchip/llvm-project
1512f9a0f9
... 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 |
||
|---|---|---|
| .. | ||
| BufferDerefCheck.cpp | ||
| BufferDerefCheck.h | ||
| CMakeLists.txt | ||
| MPITidyModule.cpp | ||
| TypeMismatchCheck.cpp | ||
| TypeMismatchCheck.h | ||