Alexander_Droste added inline comments. ================ Comment at: tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPICheckerPathSensitive.cpp:107 @@ +106,3 @@ + State = State->remove<RequestMap>(Req.first); + } + } ---------------- zaks.anna wrote: > Alexander_Droste wrote: > > I need `addTransition()` later to take removed requests into account. > What you have now, is generating a fork - two successors from the initial > predecessor. You need to use the addTransition method that takes a > predecessor and pass the ErrorNode there. You should also use the State from > that node, not the initial state. Isn't this covered by the first case? If there's an `ErrorNode` pass it to `addTransition()` else just update the state regarding removed requests.
http://reviews.llvm.org/D12761 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
