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

Committed
dcoughlinJun 6 2016, 11:08 AM
Differential Revision
D12761: MPI-Checker patch for Clang Static Analyzer
Branches
Unknown
Tags
Unknown