Greg Stark <stark(at)mit(dot)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