Use uintptr_t for unsigned int that can hold a pointer

lf-lang · Jun 22, 2024 · 1955c21 · 1955c21
1 parent 587a8f9
commit 1955c21
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/core/utils/pqueue.c b/core/utils/pqueue.c
@@ -35,5 +35,5 @@ void set_reaction_position(void* reaction, size_t pos) { ((reaction_t*)reaction)
 
 void print_reaction(void* reaction) {
   reaction_t* r = (reaction_t*)reaction;
-  LF_PRINT_DEBUG("%s: index: %llx, reaction: %p", r->name, r->index, reaction);
+  LF_PRINT_DEBUG("%s: index: %" PRIxPTR ", reaction: %p", r->name, r->index, reaction);
 }
diff --git a/include/core/utils/pqueue_base.h b/include/core/utils/pqueue_base.h
@@ -47,9 +47,10 @@
 #define PQUEUE_BASE_H
 
 #include <stddef.h>
+#include <stdint.h>
 
 /** Priority data type. */
-typedef unsigned long long pqueue_pri_t;
+typedef uintptr_t pqueue_pri_t;
 
 /** Callback to get the priority of an element. */
 typedef pqueue_pri_t (*pqueue_get_pri_f)(void* a);