Lines Matching defs:TIME_MIN
229 enum { TIME_MIN = __type_min(time_t), TIME_MAX = __type_max(time_t) };
247 * overflows TIME_MIN because timespecadd adds the carry after
263 * a + b >= 0 + b = b >= TIME_MIN,
268 * negative results and thus results below TIME_MIN are
304 * a + b >= a >= TIME_MIN,
312 * a + b < TIME_MIN,
316 * a < TIME_MIN - b.
320 * to merely reject a + b + carry < TIME_MIN.)
322 * It is safe to compute the difference TIME_MIN - b
324 * (TIME_MIN, 0].
326 if (b < 0 && a < TIME_MIN - b)
342 enum { TIME_MIN = __type_min(time_t), TIME_MAX = __type_max(time_t) };
358 * Fail if a - b - borrow overflows TIME_MIN, or if a - b
371 * a - b - 1 >= a + 0 >= TIME_MIN,
373 * and, since a <= -1, provided that TIME_MIN <=
374 * -TIME_MAX - 1 so that TIME_MAX <= -TIME_MIN - 1 (in
382 __CTASSERT(TIME_MIN <= -TIME_MAX - 1);
389 * a - b - borrow < TIME_MIN,
393 * a < TIME_MIN + b + borrow.
396 * values of b and borrow as long as TIME_MIN +
397 * TIME_MAX + 1 <= TIME_MAX, i.e., TIME_MIN <= -1.
402 * b in the inequality be reversed (e.g., -b < TIME_MIN
406 __CTASSERT(TIME_MIN < -1);
407 if (b >= 0 && a < TIME_MIN + b + borrow)
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);
427 * and thus results below TIME_MIN are impossible; we