fix a pointer-to-int cast error

diff --git a/lib/isc/tests/timer_test.c b/lib/isc/tests/timer_test.c
index 1e6f0047005bab80c487c09fe05138af53b78d8d..0f8f66b326edef1a3da72f1660223380ab5c7fed 100644 (file)
--- a/lib/isc/tests/timer_test.c
+++ b/lib/isc/tests/timer_test.c
@@ -11,6 +11,7 @@
 
 #if HAVE_CMOCKA
 
+#include <inttypes.h>
 #include <sched.h> /* IWYU pragma: keep */
 #include <setjmp.h>
 #include <stdarg.h>
@@ -191,7 +192,7 @@ ticktock(isc_task_t *task, isc_event_t *event) {
        }
 
        expected_event_type = ISC_TIMEREVENT_LIFE;
-       if ((isc_timertype_t)event->ev_arg == isc_timertype_ticker) {
+       if ((uintptr_t)event->ev_arg == isc_timertype_ticker) {
                expected_event_type = ISC_TIMEREVENT_TICK;
        }