HomePhabricator

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

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

Details