martong marked an inline comment as done. martong added inline comments.
================ Comment at: clang/lib/StaticAnalyzer/Core/WorkList.cpp:216-218 // Number of inserted nodes, used to emulate DFS ordering in the priority // queue when insertions are equal. + long Counter = 0; ---------------- steakhal wrote: > It seems like you are not exploiting the signedness of this variable. And a > counter should never be negative anyway. It is used in the descendant class. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D123784/new/ https://reviews.llvm.org/D123784 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
