HomePhabricator

Reapply "[analyzer] Add checker for correct usage of MPI API in C and C++."

Authored by dcoughlin on Jun 6 2016, 11:08 AM.

Description

Reapply "[analyzer] Add checker for correct usage of MPI API in C and C++."

Reapply r271907 with a fix for the compiler error with gcc about specializing
clang::ento::ProgramStateTrait in a different namespace.

Differential Revision: http://reviews.llvm.org/D12761

llvm-svn: 271914