[PATCH] D25660: [Analyzer] Checker for iterators dereferenced beyond their range.

Anna Zaks via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Dec 16 09:41:21 PST 2016


zaks.anna added a comment.

> I am doing it right now. Unfortunately I found a crash which I fixed,

Is it fixed in this patch?

> but then it turned out that overwrites of the iterator variable are not handled. I am working on this 
>  problem.

My suggestion is to commit this patch and address the iterator variable overwrites separately, so that it would be more incremental and easier to review. Does this sound good to you?


https://reviews.llvm.org/D25660





More information about the cfe-commits mailing list