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

[Valeriy Savchenko via Phabricator via cfe-commits]

vsavchenko added a comment.

In D103096#2866704 <https://reviews.llvm.org/D103096#2866704>, @ASDenysPetrov wrote:

> @vsavchenko

That's not the question I'm asking.  Why do you need to set constraints for other symbolic expressions, when `SymbolicInferrer` can look them up on its own?  Which cases will fail if we remove that part altogether?


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

https://reviews.llvm.org/D103096