[mc] Remove useless/unused stuff

diff --git a/src/mc/mc_checkpoint.cpp b/src/mc/mc_checkpoint.cpp
index 74c26ea..e521d56 100644 (file)
--- 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 eae3a5a..efb506e 100644 (file)
--- 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 57f77f7..a4b428f 100644 (file)
--- 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);