From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 21 Jul 2015 13:48:30 +0000 (+0200)
Subject: [mc] Remove useless/unused stuff
X-Git-Tag: v3_12~438^2~21
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/4d5dfa091a477ae44ab0986613240cb2832304b0

[mc] Remove useless/unused stuff
---

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);