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

Kristóf Umann via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Mar 11 11:19:07 PDT 2020


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 at -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





More information about the cfe-commits mailing list