http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54120
--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-01-07 17:27:56 UTC --- Created attachment 29100 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29100 gcc48-pr54120.patch So, I wrote a fix against r189366, only to find out that Richard Sandiford already fixed it the same way (just different comment): http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194800 I'm thus attaching just the unimportant other two changes (unimportant because right now range_fits_type_p is always called with unsigned_p = false (so the first problem never happens, the issue is that while say unsigned 8-bit src_type always fits into signed 16-bit, the same isn't true for signed 8-bit src_type and unsigned 16-bit - if min or max is negative in the signed type, it won't fit). And the second issue is after r189366 only pure consistency issue, as CODE_FOR_nothing is always 0. I'd say after with r194800 or later you shouldn't get this failure.