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

Alexander Droste via cfe-commits cfe-commits at lists.llvm.org
Sun Mar 13 10:27:03 PDT 2016


Alexander_Droste added inline comments.

================
Comment at: lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp:136
@@ +135,3 @@
+  auto NodeIt = G.eop_begin();
+  const auto NodeEndIt = G.eop_end();
+
----------------
zaks.anna wrote:
> The analyzer does not do a good job tracking global variables. You might get false positives, specifically, where the variable is released in another translation unit or by calling function that the analyzer does not inline.
> 
So shall we remove or keep the function?


http://reviews.llvm.org/D12761





More information about the cfe-commits mailing list