clang::tidy::mpi::BufferDerefCheck Class Reference

This check verifies if a buffer passed to an MPI (Message Passing Interface) function is sufficiently dereferenced. More...

#include <BufferDerefCheck.h>

Inheritance diagram for clang::tidy::mpi::BufferDerefCheck:

Public Member Functions
	BufferDerefCheck (StringRef Name, ClangTidyContext *Context)
void	registerMatchers (ast_matchers::MatchFinder *Finder) override
void	check (const ast_matchers::MatchFinder::MatchResult &Result) override
void	onEndOfTranslationUnit () override

Detailed Description

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.

For the user-facing documentation see: https://clang.llvm.org/extra/clang-tidy/checks/mpi/buffer-deref.html

Definition at line 27 of file BufferDerefCheck.h.

Constructor & Destructor Documentation

BufferDerefCheck()

clang::tidy::mpi::BufferDerefCheck::BufferDerefCheck ( StringRef Name, ClangTidyContext * Context )

inline

Definition at line 29 of file BufferDerefCheck.h.

Member Function Documentation

check()

void clang::tidy::mpi::BufferDerefCheck::check ( const ast_matchers::MatchFinder::MatchResult & Result )

override

Definition at line 22 of file BufferDerefCheck.cpp.

onEndOfTranslationUnit()

void clang::tidy::mpi::BufferDerefCheck::onEndOfTranslationUnit ( )

override

Definition at line 128 of file BufferDerefCheck.cpp.

registerMatchers()

void clang::tidy::mpi::BufferDerefCheck::registerMatchers ( ast_matchers::MatchFinder * Finder )

override

Definition at line 18 of file BufferDerefCheck.cpp.

---

The documentation for this class was generated from the following files:

• BufferDerefCheck.h
• BufferDerefCheck.cpp