Lines Matching defs:TIME_MAX
201 enum { TIME_MIN = __type_min(time_t), TIME_MAX = __type_max(time_t) };
218 * Fail if a + b + carry overflows TIME_MAX, or if a + b
231 * a + b + 1 <= a + 0 <= TIME_MAX,
243 * a + b + carry > TIME_MAX,
247 * b > TIME_MAX - a - carry,
253 * Since 0 <= a <= TIME_MAX, we know
255 * 0 <= TIME_MAX - a <= TIME_MAX,
259 * -1 <= TIME_MAX - a - 1 < TIME_MAX.
261 * So we can compute TIME_MAX - a - carry (i.e., either
262 * TIME_MAX - a or TIME_MAX - a - 1) safely without
265 if (b > TIME_MAX - a - carry)
272 * a + b + 1 <= b <= TIME_MAX,
314 enum { TIME_MIN = __type_min(time_t), TIME_MAX = __type_max(time_t) };
331 * overflows TIME_MAX because timespecsub subtracts the borrow
346 * -TIME_MAX - 1 so that TIME_MAX <= -TIME_MIN - 1 (in
350 * a - b <= -1 - b = -b - 1 <= TIME_MAX,
354 __CTASSERT(TIME_MIN <= -TIME_MAX - 1);
358 * positive results and thus results above TIME_MAX are
369 * TIME_MAX + 1 <= TIME_MAX, i.e., TIME_MIN <= -1.
385 * a - b <= a <= TIME_MAX,
387 * and, provided TIME_MIN <= -TIME_MAX - 1 (in fact,
391 * a - b - 1 >= -b - 1 >= -TIME_MAX - 1 >= TIME_MIN,
395 __CTASSERT(TIME_MIN <= -TIME_MAX - 1);
402 * a - b > TIME_MAX,
406 * a > TIME_MAX + b.
410 * to merely reject a - b - borrow > TIME_MAX.)
412 * It is safe to compute the sum TIME_MAX + b because b
413 * is negative, so the result lies in [0, TIME_MAX).
415 if (b < 0 && a > TIME_MAX + b)
Indexes created Mon Sep 29 13:09:55 GMT 2025