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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
