[PATCH] D91948: [WIP][analyzer][doc] Add Container- and IteratorModeling developer docs
Daniel Krupp via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Nov 23 05:13:18 PST 2020
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
More information about the cfe-commits
mailing list