From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Thu, 20 Mar 2014 11:30:04 +0000 (+0100)
Subject: [mc] Fix free callback for type->members
X-Git-Tag: v3_11~199^2~2^2~1
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/badcac9ff902e68308f7966ceaea6c86e8d4e7b6

[mc] Fix free callback for type->members

Missing one indirection.
---

diff --git a/src/mc/mc_dwarf.c b/src/mc/mc_dwarf.c
index 67eccc48b4..d82ee7d170 100644
--- a/src/mc/mc_dwarf.c
+++ b/src/mc/mc_dwarf.c
@@ -446,11 +446,15 @@ static void MC_dwarf_fill_member_location(dw_type_t type, dw_type_t member, Dwar
 
 }
 
+static void dw_type_free_voidp(void *t){
+  dw_type_free((dw_type_t) * (void **) t);
+}
+
 static void MC_dwarf_add_members(mc_object_info_t info, Dwarf_Die* die, Dwarf_Die* unit, dw_type_t type) {
   int res;
   Dwarf_Die child;
   xbt_assert(!type->members);
-  type->members = xbt_dynar_new(sizeof(dw_type_t), (void(*)(void*))dw_type_free);
+  type->members = xbt_dynar_new(sizeof(dw_type_t), (void(*)(void*))dw_type_free_voidp);
   for (res=dwarf_child(die, &child); res==0; res=dwarf_siblingof(&child,&child)) {
     int tag = dwarf_tag(&child);
     if (tag==DW_TAG_member || tag==DW_TAG_inheritance) {
diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 6f36ffe316..0eeddef3d9 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -170,10 +170,6 @@ void dw_type_free(dw_type_t t){
   xbt_free(t);
 }
 
-static void dw_type_free_voidp(void *t){
-  dw_type_free((dw_type_t) * (void **) t);
-}
-
 void dw_variable_free(dw_variable_t v){
   if(v){
     xbt_free(v->name);