int main () { isc_uint32_t a, b; char buf[1024]; char *s, *e; while (fgets (buf, sizeof (buf), stdin) != NULL) { buf[sizeof (buf) - 1] = '\0'; s = buf; a = strtoul (s, &e, 0); if (s == e) continue; s = e; b = strtoul (s, &e, 0); if (s == e) continue; fprintf (stdout, "%u %u gt:%d lt:%d ge:%d le:%d eq:%d ne:%d\n", a, b, isc_serial_gt (a, b), isc_serial_lt (a, b), isc_serial_ge (a, b), isc_serial_le (a, b), isc_serial_eq (a, b), isc_serial_ne (a, b)); } return (0); }
isc_int64_t dns_time64_from32(isc_uint32_t value) { isc_stdtime_t now; isc_int64_t start; isc_int64_t t; /* * Adjust the time to the closest epoch. This should be changed * to use a 64-bit counterpart to isc_stdtime_get() if one ever * is defined, but even the current code is good until the year * 2106. */ isc_stdtime_get(&now); start = (isc_int64_t) now; if (isc_serial_gt(value, now)) t = start + (value - now); else t = start - (now - value); return (t); }
isc_boolean_t isc_serial_ge(isc_uint32_t a, isc_uint32_t b) { return ((a == b) ? ISC_TRUE : isc_serial_gt(a, b)); }