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

[Denys Petrov via Phabricator via cfe-commits]

ASDenysPetrov added a comment.

@vsavchenko

> I still want to hear a good explanation why is it done this way.  Here `c` is mapped to `(char)x`, and we have `[-10, 10]` directly associated with it, but we also have `(short)x` associated with `[8, 8]`.  Why can't `VisitSymbolCast` look up constraints for `(short)x` it already looks up for constraints for different casts already.

Hm, you've confused me. I'll make some debugging and report.


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

https://reviews.llvm.org/D103096