intptr_t should be used instead of uint32_t to hold a pointer.

Fix warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
This commit is contained in:
Guo Xiao
2016-07-31 12:48:11 +08:00
parent 42fefef916
commit 339005e1d5
+1 -1
View File
@@ -582,7 +582,7 @@ mrb_code_fetch_hook(mrb_state *mrb, mrb_irep *irep, mrb_code *pc, mrb_value *reg
if (!file || (dbg->prvfile == file && dbg->prvline == line)) {
return;
}
if((uint32_t)(dbg->prvci) < (uint32_t)(mrb->c->ci)) {
if((intptr_t)(dbg->prvci) < (intptr_t)(mrb->c->ci)) {
return;
}
dbg->prvci = NULL;