From d6554aac9c31756d810d934f17959675288a203a Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 7 Jul 2012 22:19:44 +0200
Subject: [PATCH] model-checker : update backtrace display

---
 src/xbt/backtrace_linux.c | 5 +++++
 src/xbt/mmalloc/mm_diff.c | 7 -------
 2 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/src/xbt/backtrace_linux.c b/src/xbt/backtrace_linux.c
index 9704bc0560..4f246ccf62 100644
--- a/src/xbt/backtrace_linux.c
+++ b/src/xbt/backtrace_linux.c
@@ -58,6 +58,11 @@ backtrace_helper (struct _Unwind_Context *ctx, void *a)
  * */
 
 int xbt_backtrace_no_malloc(void **array, int size) {
+
+  int i = 0;
+  for(i=0; i < size; i++)
+    array[i] = NULL;
+
   struct trace_arg arg = { .array = array, .size = size, .cnt = -1 };
 
   if (size >= 1)
diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c
index fe69f23ef7..1b802403ef 100644
--- a/src/xbt/mmalloc/mm_diff.c
+++ b/src/xbt/mmalloc/mm_diff.c
@@ -16,15 +16,8 @@ extern char *xbt_binary_name;
 
 void mmalloc_backtrace_block_display(xbt_mheap_t heap, size_t block){
 
-  int type;
   xbt_ex_t e;
 
-  type = heap->heapinfo[block].type;
-
-  if (type != 0) {
-    fprintf(stderr,"Only full blocks are backtraced for now. Ignoring your request.\n");
-    return;
-  }
   if (heap->heapinfo[block].busy_block.bt_size == 0) {
     fprintf(stderr,"No backtrace available for that block, sorry.\n");
     return;
-- 
2.20.1