baloghadamsoftware added a comment.
Hello! I am not sure how to split it to incremental patches. As I mentioned in
the description, the state of the iterator position is always tracked. So if I
remove some of the checks it does not make the patch much smaller, since the
checking part is quite small. If I remove parts of the tracking, I introduce
lots of false positives and uncaught bugs.
Container and offset tracking is needed for both range and validity checks.
Match check does not need the offset, but removing it means lots of work, and
does not help either because the second patch (adding range and validity checks
incrementally) will remain huge.
Doing the rename in a separate patch is useless, because this checker is
totally new: the whole position tracking uses a new concept. What I reused is
the method of transferring the position between various SVals. Doing the rename
separately would mean the same amount of green and lots of red.
What I could do is to rearrange of the functions a bit (separate tracking and
checking) and adding more comments to the function. Would it help?
cfe-commits mailing list