From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 12 Jan 2012 08:23:43 +0000 (+0100)
Subject: model-checker : %zu instead of %Zu in printf
X-Git-Tag: exp_20120216~133^2~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9612030d863ecf627fe05bc73bca003da4e6bde8

model-checker : %zu instead of %Zu in printf
---

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;
 		} 
 	      }