Ticket #108: double-frees.patch

backends/flint/flint_table.cc

@@ -1523 +1523 @@
 
     for (int j = level; j >= 0; j--) {
         delete [] C[j].p;
+        C[j].p = 0;
     }
     delete [] split_p;
+    split_p = 0;
 
     delete [] kt.get_address();
+    kt = 0;
     delete [] buffer;
+    buffer = 0;
 }
 
 void

backends/quartz/btree.cc

@@ -1555 +1555 @@
 
     for (int j = level; j >= 0; j--) {
         delete [] C[j].p;
+        C[j].p = 0;
     }
     delete [] split_p;
+    split_p = 0;
 
     delete [] kt.get_address();
+    kt = 0;
     delete [] buffer;
+    buffer = 0;
 }
 
 void