------- Comment #11 from mark at codesourcery dot com 2005-12-19 18:40 ------- Subject: Re: [4.1/4.2 Regression] (short) ((int)(unsigned short) + (int)) is done in the wrong type
Kazu Hirata wrote: > Hi Mark, > >> (Why should we get 1? Upon entry to f, a will be 1, since 32769 will be >> reduced modulo 2^16. Then, b will be 1 - 32768, or -32767. I don't >> see why >> that should be converted to 1 -- but I certainly don't see why it >> should be >> 32768 either.) >> >> In any case, wrong-code: P1. > > First, 32769 will be reduced to -32767. > (int) -32767 + -(int)32768 = -65535. > If we take the lowest 16 bits of -65535, we get 1, and that's what f > should be returning. I believe you. :-) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25125