From 1d3411a600fb19bb3049999c2a494a49bd23ca63 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 11 Feb 2013 09:20:35 +0100 Subject: [PATCH] model-checker : use short instead of int for ignore information in mmalloc meta-data --- src/xbt/mmalloc/mmprivate.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/xbt/mmalloc/mmprivate.h b/src/xbt/mmalloc/mmprivate.h index 8eeadaafa1..b00c5d37e3 100644 --- a/src/xbt/mmalloc/mmprivate.h +++ b/src/xbt/mmalloc/mmprivate.h @@ -156,7 +156,7 @@ typedef struct { size_t nfree; /* Free fragments in a fragmented block. */ short frag_size[MAX_FRAGMENT_PER_BLOCK]; //void *bt[MAX_FRAGMENT_PER_BLOCK][XBT_BACKTRACE_SIZE]; /* Where it was malloced (or realloced lastly) */ - int ignore[MAX_FRAGMENT_PER_BLOCK]; + short ignore[MAX_FRAGMENT_PER_BLOCK]; heap_area_t equal_to[MAX_FRAGMENT_PER_BLOCK]; } busy_frag; struct { @@ -164,7 +164,7 @@ typedef struct { size_t busy_size; /* Actually used space, in bytes */ //void *bt[XBT_BACKTRACE_SIZE]; /* Where it was malloced (or realloced lastly) */ //int bt_size; - int ignore; + short ignore; heap_area_t equal_to; } busy_block; /* Heap information for a free block (that may be the first of a free cluster). */ -- 2.20.1