[PATCH] D103096: [analyzer] Implement cast for ranges of symbolic integers.

[Valeriy Savchenko via Phabricator via cfe-commits]

vsavchenko added a comment.

OK, thanks for putting a summary.  I now got a good idea why you need both.
At the same time, take a look at D105692 <https://reviews.llvm.org/D105692>.  I'm about to land it and I think it's going to be useful for you.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D103096/new/

https://reviews.llvm.org/D103096