Commits

Shlomi Fish committed 59a8d39

Fix some (minor) memory leaks in dbm_solver.c.

They were reported by valgrind. They were minor because they didn't influence
the run-time memory consumption, but only caused stray memory to end up
at the end of the program.

git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4543 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a

Comments (0)

Files changed (1)

fc-solve/source/dbm_solver.c

 
     fc_solve_dbm_store_destroy(instance->store);
 
+    fc_solve_meta_compact_allocator_finish(
+        &(instance->meta_alloc)
+    );
+
     FCS_DESTROY_LOCK(instance->queue_lock);
     FCS_DESTROY_LOCK(instance->storage_lock);
 }
     
     instance_destroy(&instance);
 
+    fc_solve_delta_stater_free(delta);
+    delta = NULL;
+
     return 0;
 }