From 84a3bccd6edd7bbc93648d2646e1413ce8114853 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Wed, 4 May 2016 14:38:37 +0200
Subject: [PATCH 1/1] [mc] Remove useless bits in compare.cpp

---
 src/mc/compare.cpp | 24 +++---------------------
 1 file changed, 3 insertions(+), 21 deletions(-)

diff --git a/src/mc/compare.cpp b/src/mc/compare.cpp
index df86f558f5..e871e48496 100644
--- a/src/mc/compare.cpp
+++ b/src/mc/compare.cpp
@@ -162,25 +162,6 @@ struct StateComparator {
 // TODO, make this a field of ModelChecker or something similar
 static std::unique_ptr<simgrid::mc::StateComparator> mc_diff_info;
 
-/*********************************** Free functions ************************************/
-
-static void heap_area_pair_free(heap_area_pair_t pair)
-{
-  xbt_free(pair);
-  pair = nullptr;
-}
-
-static void heap_area_pair_free_voidp(void *d)
-{
-  heap_area_pair_free((heap_area_pair_t) * (void **) d);
-}
-
-static void heap_area_free(heap_area_t area)
-{
-  xbt_free(area);
-  area = nullptr;
-}
-
 /************************************************************************************/
 
 static s_heap_area_t make_heap_area(int block, int fragment)
@@ -1039,10 +1020,11 @@ int compare_heap_area(int process_index, const void *area1, const void *area2, s
   malloc_info heapinfo_temp1, heapinfo_temp2;
 
   if (previous == nullptr) {
-    previous =
-        xbt_dynar_new(sizeof(heap_area_pair_t), heap_area_pair_free_voidp);
+    previous = xbt_dynar_new(sizeof(heap_area_pair_t), [](void *d) {
+      xbt_free((heap_area_pair_t) * (void **) d); });
     match_pairs = 1;
   }
+
   // Get block number:
   block1 =
       ((char *) area1 -
-- 
2.20.1