From 4d5dfa091a477ae44ab0986613240cb2832304b0 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 21 Jul 2015 15:48:30 +0200
Subject: [PATCH] [mc] Remove useless/unused stuff

---
 src/mc/mc_checkpoint.cpp | 16 ----------------
 src/mc/mc_dwarf.cpp      |  5 -----
 src/mc/mc_liveness.h     |  1 -
 3 files changed, 22 deletions(-)

diff --git a/src/mc/mc_checkpoint.cpp b/src/mc/mc_checkpoint.cpp
index 74c26ea9fd..e521d5672b 100644
--- a/src/mc/mc_checkpoint.cpp
+++ b/src/mc/mc_checkpoint.cpp
@@ -46,22 +46,6 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_checkpoint, mc,
 /************************************  Free functions **************************************/
 /*****************************************************************************************/
 
-static void MC_snapshot_stack_free_voidp(void *s)
-{
-  mc_snapshot_stack_t stack = (mc_snapshot_stack_t) * (void **) s;
-  delete stack;
-}
-
-static void local_variable_free_voidp(void *v)
-{
-  local_variable_t var = *(local_variable_t*)v;
-  delete var;
-}
-
-}
-
-extern "C" {
-
 /** @brief Restore a region from a snapshot
  *
  *  @param reg     Target region
diff --git a/src/mc/mc_dwarf.cpp b/src/mc/mc_dwarf.cpp
index eae3a5a445..efb506efb2 100644
--- a/src/mc/mc_dwarf.cpp
+++ b/src/mc/mc_dwarf.cpp
@@ -537,11 +537,6 @@ static void MC_dwarf_fill_member_location(mc_type_t type, mc_type_t member,
 
 }
 
-static void dw_type_free_voidp(void *t)
-{
-  delete *(mc_type_t*)t;
-}
-
 /** \brief Populate the list of members of a type
  *
  *  \param info ELF object containing the type DIE
diff --git a/src/mc/mc_liveness.h b/src/mc/mc_liveness.h
index 57f77f74d9..a4b428f529 100644
--- a/src/mc/mc_liveness.h
+++ b/src/mc/mc_liveness.h
@@ -46,7 +46,6 @@ typedef struct s_mc_visited_pair{
 
 XBT_INTERNAL mc_pair_t MC_pair_new(void);
 XBT_INTERNAL void MC_pair_delete(mc_pair_t);
-XBT_INTERNAL void mc_pair_free_voidp(void *p);
 XBT_INTERNAL mc_visited_pair_t MC_visited_pair_new(int pair_num, xbt_automaton_state_t automaton_state, xbt_dynar_t atomic_propositions, mc_state_t graph_state);
 XBT_INTERNAL void MC_visited_pair_delete(mc_visited_pair_t p);
 
-- 
2.20.1