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

Alexander Kornienko via cfe-commits cfe-commits at lists.llvm.org
Mon Dec 7 04:17:21 PST 2015


alexfh added a comment.

Before I can tell you whether this checker makes sense as a clang-tidy check, can you please explain to me (don't want to deduce this from the code) what specific issues does this check target? Is this limited to a set of AST patterns or is there (or is going to be) some path-based or data flow analysis?


http://reviews.llvm.org/D12761





More information about the cfe-commits mailing list