- try {
- mfree(heapA, pointers[i]);
- } catch(xbt_ex& e) {
- gotit = true;
- }
- if (not gotit)
- xbt_die("FAIL: A double-free went undetected (for size:%d)",size_of_block(i));
- }
-
- XBT_INFO("free again all blocks (to really check that double free are correctly catched)");
- for (i = 0; i < TESTSIZE; i++) {
- bool gotit = false;
- try {
- mfree(heapA, pointers[i]);
- } catch(xbt_ex& e) {
- gotit = true;
- }
- if (not gotit)
- xbt_die("FAIL: A double-free went undetected (for size:%d)",size_of_block(i));
- }