[PATCH] D35109: [Analyzer] SValBuilder Comparison Rearrangement
Balogh, Ádám via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Nov 6 04:29:40 PST 2017
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.
More information about the cfe-commits