Lines Matching refs:half_max
28 const int half_max = INT_MAX / 2;
30 if (x > half_max) {
32 if (y > half_max)
36 // x <= INT_MAX && y <= half_max,
37 // so: x + y <= INT_MAX + half_max
38 // so: x - half_max + y <= INT_MAX
39 // so: (x - half_max + y) doesn't overflow.
40 // (x + y) > INT_MAX iff (x - half_max + y) > (INT_MAX - half_max)
41 return (x - half_max + y) > (INT_MAX - half_max);
43 // y <= x <= half_max, can't have positive overflow.
