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

Alexander Droste via cfe-commits cfe-commits at lists.llvm.org
Thu Feb 25 07:57:50 PST 2016

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?


More information about the cfe-commits mailing list