Return to Revisions

Typos?

Your first two functions appear to have typos:

int is_undefined_add(int a, int b)
{
 return (a > 0 && b > INT_MAX - a) ||
 (a < 0 && b < INT_MIN - a); // <-- Was MAX
}
int is_undefined_sub(int a, int b)
{
 return (b > 0 && a < INT_MIN + b) || // <-- Was MAX
 (b < 0 && a > INT_MAX + b);
}