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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ 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}}
----------------
baloghadamsoftware wrote:
> Strange, that we do not get this note for `prev`.
Mmm, why `0-1`?


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

https://reviews.llvm.org/D74541