checks that double free are correctly detected

diff --git a/teshsuite/xbt/mmalloc_test.c b/teshsuite/xbt/mmalloc_test.c
index 30e0994..dc1e6d9 100644 (file)
--- a/teshsuite/xbt/mmalloc_test.c
+++ b/teshsuite/xbt/mmalloc_test.c
@@ -37,7 +37,18 @@ int main(int argc, char**argv)
   }
 
   for (i = 0; i < TESTSIZE; i++) {
   }
 
   for (i = 0; i < TESTSIZE; i++) {

+    xbt_ex_t e;
+    int gotit = 1;
+

     mfree(heapA, pointers[i]);
     mfree(heapA, pointers[i]);

+    TRY {
+      mfree(heapA, pointers[i]);
+      gotit = 0;
+    } CATCH(e) {
+      xbt_ex_free(e);
+    }
+    if (!gotit)
+      xbt_die("FAIL: A double-free went undetected (for size:%d)",((i%10)+1)*100);

   }
 
   XBT_INFO("Done; bye bye");
   }
 
   XBT_INFO("Done; bye bye");