[PATCH] D12761: MPI-Checker patch for Clang Static Analyzer

[Devin Coughlin via cfe-commits]

dcoughlin added a comment.

This doesn't compile under gcc so it broke the bots. The fix is to move the specialization of clang::ento::ProgramStateTrait for RequestMapImpl out of the global namespace and into clang::ento. I will apply and recommit.


Repository:
  rL LLVM

http://reviews.llvm.org/D12761