[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
Wed Oct 7 15:26:33 PDT 2015

Previous message: [PATCH] D13344: Keep the IfStmt node even if the condition is invalid
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 added a comment.

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


http://reviews.llvm.org/D12901

Previous message: [PATCH] D13344: Keep the IfStmt node even if the condition is invalid
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