[PATCH] D75677: [Analyzer] Only add iterator note tags to the operations of the affected iterators

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus added inline comments.


================
Comment at: clang/test/Analysis/iterator-modelling.cpp:169
 
   clang_analyzer_eval(clang_analyzer_iterator_container(i2) == &v); // 
expected-warning{{TRUE}}
                                                                     // 
expected-note@-1{{TRUE}}
----------------
Interestingness won't be propagated here because 
`clang_analyzer_iterator_container(i2) == &v` is interesting, not 
`clang_analyzer_iterator_container(i2)`, correct?


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

https://reviews.llvm.org/D75677



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits