[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