[PATCH] D35109: [Analyzer] SValBuilder Comparison Rearrangement

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

baloghadamsoftware added a comment.

Any progress reviewing this? Iterator checkers are pending for more than half a year because of this.

An alternative solution is to always extend the type and change `ProgramState::assumeInbound()` so it does not move everything to the bottom of the range, but maybe to the middle.


https://reviews.llvm.org/D35109