[PATCH] D35109: [Analyzer] SValBuilder Comparison Rearrangement

[Balogh, Ádám via Phabricator via cfe-commits]

baloghadamsoftware added a comment.

Thank you for your comment!

Unfortunately, the iterator checkers depend very much on the >/>=/</<= operators as well. We check for i<C.begin(), i>=C.end(), I cannot imagine this to be solved just with ==/!=. How to find the N if we only use == or !=? Furthermore, later parts also add invalidation check where we must find iterator positions which are in some relation with the invalidated position. For example, insertion into a vector invalidates every i>=cur positions.


https://reviews.llvm.org/D35109