[PATCH] D12901: [Static Analyzer] Assertion "System is over constrained" after truncating 64 bits integers to 32 bits. (PR25078)

[pierre gousseau via cfe-commits]

pgousseau added a comment.

In http://reviews.llvm.org/D12901#262270, @zaks.anna wrote:

> I agree with Gabor. We should investigate how we can model the overflow on a cast correctly.


Yes I agree with Gabor too. I meant this change as a temporary workaround only, I will investigate the modelling route and let you know.

Thanks!


http://reviews.llvm.org/D12901