[PATCH] D12901: [Static Analyzer] Assertion "System is over constrained" after truncating 64 bits integers to 32 bits. (PR25078)
Anna Zaks via cfe-commits
cfe-commits at lists.llvm.org
Mon Jan 11 10:08:39 PST 2016
zaks.anna accepted this revision.
zaks.anna added a comment.
This revision is now accepted and ready to land.
Sounds good. Please, split this into 2 patches (each fixing the separate problem) and commit.
More information about the cfe-commits