Lines Matching defs:TIME_MAX
229 enum { TIME_MIN = __type_min(time_t), TIME_MAX = __type_max(time_t) };
246 * Fail if a + b + carry overflows TIME_MAX, or if a + b
259 * a + b + 1 <= a + 0 <= TIME_MAX,
271 * a + b + carry > TIME_MAX,
275 * b > TIME_MAX - a - carry,
281 * Since 0 <= a <= TIME_MAX, we know
283 * 0 <= TIME_MAX - a <= TIME_MAX,
287 * -1 <= TIME_MAX - a - 1 < TIME_MAX.
289 * So we can compute TIME_MAX - a - carry (i.e., either
290 * TIME_MAX - a or TIME_MAX - a - 1) safely without
293 if (b > TIME_MAX - a - carry)
300 * a + b + 1 <= b <= TIME_MAX,
342 enum { TIME_MIN = __type_min(time_t), TIME_MAX = __type_max(time_t) };
359 * overflows TIME_MAX because timespecsub subtracts the borrow
374 * -TIME_MAX - 1 so that TIME_MAX <= -TIME_MIN - 1 (in
378 * a - b <= -1 - b = -b - 1 <= TIME_MAX,
382 __CTASSERT(TIME_MIN <= -TIME_MAX - 1);
386 * positive results and thus results above TIME_MAX are
397 * TIME_MAX + 1 <= TIME_MAX, i.e., TIME_MIN <= -1.
413 * a - b <= a <= TIME_MAX,
415 * and, provided TIME_MIN <= -TIME_MAX - 1 (in fact,
419 * a - b - 1 >= -b - 1 >= -TIME_MAX - 1 >= TIME_MIN,
423 __CTASSERT(TIME_MIN <= -TIME_MAX - 1);
430 * a - b > TIME_MAX,
434 * a > TIME_MAX + b.
438 * to merely reject a - b - borrow > TIME_MAX.)
440 * It is safe to compute the sum TIME_MAX + b because b
441 * is negative, so the result lies in [0, TIME_MAX).
443 if (b < 0 && a > TIME_MAX + b)