http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30318
--- Comment #5 from Marc Glisse <marc.glisse at normalesup dot org> 2012-04-28 13:18:25 UTC --- Created attachment 27260 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27260 Wrap using gmp I find it easier to use bignum and wrap at the end, instead of checking for each operation if it overflows. There is something wrong about having better range propagation for the wrapping case than for the case where overflow is undefined behavior. There are cases where a range is set to varying whereas it could be set to empty, and the branch marked as unreachable (haven't seen how that's done). But that's not the subject of this bug.
