[PATCH] D91948: [WIP][analyzer][doc] Add Container- and IteratorModeling developer docs

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