[PATCH] D74615: [Analyzer] Add visitor to track iterator invalidation

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sun Mar 15 20:57:05 PDT 2020


NoQ added a comment.

In D74615#1917289 <https://reviews.llvm.org/D74615#1917289>, @Szelethus wrote:

> You may have explained it in the summary, and I didn't get it, but why isn't putting a `NoteTag` in `invalidateAllIteratorPositions` sufficient? We could state something like `All iterators associated with 'V' are invalidated`.


+1, that's the intended approach. I suspect we don't even need to simplify the message.


Repository:
  rC Clang

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

https://reviews.llvm.org/D74615





More information about the cfe-commits mailing list