[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
Tue Jan 12 02:11:38 PST 2016
This revision was automatically updated to reflect the committed changes.
Closed by commit rL257464: [analyzer] Evaluate integral casts as cast symbols if truncations are detected. (authored by pgousseau).
Changed prior to commit:
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 7756 bytes
Desc: not available
More information about the cfe-commits