[PATCH] D74541: [Analyzer] Use note tags to track iterator increments and decrements

[Balogh, Ádám via Phabricator via cfe-commits]

baloghadamsoftware marked an inline comment as done.
baloghadamsoftware added inline comments.


================
Comment at: clang/test/Analysis/iterator-modelling.cpp:434
+  //expected-note at -1 0-1{{Calling 'next}}
+  //expected-note at -2 0-1{{Passing the value 1 via 2nd parameter 'n'}}
+  //expected-note at Inputs/system-header-simulator-cxx.h:814 0-1{{Iterator 'it' incremented by 1}}
----------------
NoQ wrote:
> baloghadamsoftware wrote:
> > Strange, that we do not get this note for `prev`.
> Mmm, why `0-1`?
Because it depends whether `next()` is inlined.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D74541/new/

https://reviews.llvm.org/D74541