dkrupp added a comment. In D91948#2411058 <https://reviews.llvm.org/D91948#2411058>, @whisperity wrote:
> Actually, while the explanation is understandable for me with additional > knowledge about the representation... I think it would be useful to add the > most simple example from the iterator checkers to the end of the document, > how this whole thing ties together and how it is useful in a checker. I cannot agree more. Please add examples (with indicators where we want warning) and explain how they would be handled according to the different implementation options. Also please highlight, if possible, what are the limitations of the different solutions: potential false positives that we cannot filter out, or bugs we will not be able to find. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D91948/new/ https://reviews.llvm.org/D91948 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
