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

[Alexander Droste via cfe-commits]

Alexander_Droste added inline comments.

================
Comment at: lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp:46
@@ +45,3 @@
+    ExplodedNode *ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);
+    BReporter->reportDoubleNonblocking(PreCallEvent, *Req, MR, ExplNode);
+    Ctx.addTransition(ErrorNode->getState(), ErrorNode);
----------------
This should actually be `reportDoubleNonblocking(..., ErrorNode);` instead of `ExplNode`, right?


http://reviews.llvm.org/D12761