On May 11, 2007, at 11:31, Andrew Haley wrote:
It shouldn't have. All args are ints, and if we are assuming (as the C standard says) that int overflow is undefined, the transformation is valid.
Aarghh..! I even quoted the part that mentioned ints, but still thought it was about float. Sure, for int this should be fine. Undefinedness in C also isn't really relevant here. Sorry for the noise. -Geert
