From 9612030d863ecf627fe05bc73bca003da4e6bde8 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 12 Jan 2012 09:23:43 +0100 Subject: [PATCH] model-checker : %zu instead of %Zu in printf --- src/mc/mc_liveness.c | 8 ++++---- src/xbt/mmalloc/mm_legacy.c | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index 8ff21442dd..01d0124b81 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -52,7 +52,7 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2){ case 0: if(s1->regions[i]->size != s2->regions[i]->size){ if(XBT_LOG_ISENABLED(mc_liveness, xbt_log_priority_debug)){ - XBT_DEBUG("Different size of heap (s1 = %Zu, s2 = %Zu)", s1->regions[i]->size, s2->regions[i]->size); + XBT_DEBUG("Different size of heap (s1 = %zu, s2 = %zu)", s1->regions[i]->size, s2->regions[i]->size); errors++; }else{ return 1; @@ -78,7 +78,7 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2){ case 1 : if(s1->regions[i]->size != s2->regions[i]->size){ if(XBT_LOG_ISENABLED(mc_liveness, xbt_log_priority_debug)){ - XBT_DEBUG("Different size of libsimgrid (s1 = %Zu, s2 = %Zu)", s1->regions[i]->size, s2->regions[i]->size); + XBT_DEBUG("Different size of libsimgrid (s1 = %zu, s2 = %zu)", s1->regions[i]->size, s2->regions[i]->size); errors++; }else{ return 1; @@ -104,7 +104,7 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2){ /*case 2: if(s1->regions[i]->size != s2->regions[i]->size){ if(XBT_LOG_ISENABLED(mc_liveness, xbt_log_priority_debug)){ - XBT_DEBUG("Different size of program (s1 = %Zu, s2 = %Zu)", s1->regions[i]->size, s2->regions[i]->size); + XBT_DEBUG("Different size of program (s1 = %zu, s2 = %zu)", s1->regions[i]->size, s2->regions[i]->size); errors++; }else{ return 1; @@ -130,7 +130,7 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2){ case 3: if(s1->regions[i]->size != s2->regions[i]->size){ if(XBT_LOG_ISENABLED(mc_liveness, xbt_log_priority_debug)){ - XBT_DEBUG("Different size of stack (s1 = %Zu, s2 = %Zu)", s1->regions[i]->size, s2->regions[i]->size); + XBT_DEBUG("Different size of stack (s1 = %zu, s2 = %zu)", s1->regions[i]->size, s2->regions[i]->size); errors++; }else{ return 1; diff --git a/src/xbt/mmalloc/mm_legacy.c b/src/xbt/mmalloc/mm_legacy.c index 9cde9920d0..7a83f26072 100644 --- a/src/xbt/mmalloc/mm_legacy.c +++ b/src/xbt/mmalloc/mm_legacy.c @@ -375,7 +375,7 @@ int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2){ frag_size = pow(2,mdp1->heapinfo[i].busy.type); for(j=0 ; j< (BLOCKSIZE/frag_size); j++){ if(memcmp((char *)addr_block1 + (j * frag_size), (char *)addr_block2 + (j * frag_size), frag_size) != 0){ - XBT_DEBUG("Different data in fragment %Zu of block %Zu", j + 1, i); + XBT_DEBUG("Different data in fragment %zu of block %zu", j + 1, i); return 1; } } -- 2.20.1