fix a pointer-to-int cast error

(cherry picked from commit 6b76646037)
This commit is contained in:
Evan Hunt 2020-03-17 11:18:36 -07:00
parent 6c93fb890d
commit 1dbd238c15

View file

@ -13,6 +13,7 @@
#if HAVE_CMOCKA
#include <inttypes.h>
#include <stdarg.h>
#include <stddef.h>
#include <setjmp.h>
@ -165,7 +166,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;
}