From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 23 Oct 2012 08:26:38 +0000 (+0200)
Subject: model-checker : update second parameter of mmorecore function (size is a size_t not... 
X-Git-Tag: v3_9_rc1~91^2~160
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7b9d41b862392e119cc9657af14cd53603ab2eb5?hp=083fd4d4e681df6bc814d040c7449f1bf2b20320

model-checker : update second parameter of mmorecore function (size is a size_t not an int)
---

diff --git a/src/xbt/mmalloc/mmorecore.c b/src/xbt/mmalloc/mmorecore.c
index c5d3524a41..a2f6cfedb9 100644
--- a/src/xbt/mmalloc/mmorecore.c
+++ b/src/xbt/mmalloc/mmorecore.c
@@ -53,7 +53,7 @@ static size_t pagesize;
 
     It never returns NULL. Instead, it dies verbosely on errors. */
 
-void *mmorecore(struct mdesc *mdp, int size)
+void *mmorecore(struct mdesc *mdp, size_t size)
 {
   ssize_t test = 0;
   void *result; // please keep it uninitialized to track issues
diff --git a/src/xbt/mmalloc/mmprivate.h b/src/xbt/mmalloc/mmprivate.h
index a0c0b560a7..8cfc0adb7e 100644
--- a/src/xbt/mmalloc/mmprivate.h
+++ b/src/xbt/mmalloc/mmprivate.h
@@ -272,7 +272,7 @@ XBT_PUBLIC( void *)__mmalloc_remap_core(xbt_mheap_t mdp);
 /*  Get core for the memory region specified by MDP, using SIZE as the
     amount to either add to or subtract from the existing region.  Works
     like sbrk(), but using mmap(). */
-XBT_PUBLIC( void *)mmorecore(struct mdesc *mdp, int size);
+XBT_PUBLIC( void *)mmorecore(struct mdesc *mdp, size_t size);
 
 /* Thread-safety (if the sem is already created)
  *