[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

Previous message: [PATCH] D12901: [Static Analyzer] Assertion "System is over constrained" after truncating 64 bits integers to 32 bits. (PR25078)
Next message: [PATCH] D12901: [Static Analyzer] Assertion "System is over constrained" after truncating 64 bits integers to 32 bits. (PR25078)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Thanks!
Anna.


http://reviews.llvm.org/D12901

Previous message: [PATCH] D12901: [Static Analyzer] Assertion "System is over constrained" after truncating 64 bits integers to 32 bits. (PR25078)
Next message: [PATCH] D12901: [Static Analyzer] Assertion "System is over constrained" after truncating 64 bits integers to 32 bits. (PR25078)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list