Re: [PATCH 0/3] Work around icc miscompilation - Mailing list pgsql-hackers

Greg Stark <stark@mit.edu> writes:
> He's changing things to do

> if (INT_MAX - a > b)
>   PG_THROW ("a+b would overflow")
> else
>   x=a+b;

> Why would a smarter compiler be licensed to conclude that it can
> optimize away anything? "INT_MAX-a > b" is always well defined.

Really?  Can't "INT_MAX - a" overflow?
        regards, tom lane