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));
}