[PATCH] D12901: [Static Analyzer] Assertion "System is over constrained" after truncating 64 bits integers to 32 bits. (PR25078)
pierre gousseau via cfe-commits
cfe-commits at lists.llvm.org
Thu Oct 8 08:52:11 PDT 2015
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
More information about the cfe-commits
mailing list