X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/95fb9335846db350cf78689df60bdb1a697bc033..7f80c96356063a741966f244c8d00eaaf6f17fc0:/src/mc/mc_dwarf.cpp

diff --git a/src/mc/mc_dwarf.cpp b/src/mc/mc_dwarf.cpp
index 1133efac84..5a994b0b90 100644
--- a/src/mc/mc_dwarf.cpp
+++ b/src/mc/mc_dwarf.cpp
@@ -120,6 +120,7 @@ const char *MC_dwarf_attrname(int attr)
  *  \param tag tag code (see the DWARF specification)
  *  \return name of the tag
  */
+XBT_INTERNAL
 const char *MC_dwarf_tagname(int tag)
 {
   switch (tag) {
@@ -678,7 +679,7 @@ static dw_type_t MC_dwarf_die_to_type(mc_object_info_t info, Dwarf_Die * die,
 
   type->dw_type_id = MC_dwarf_at_type(die);
 
-  // Some compiler do not emit DW_AT_byte_size for pointer_type,
+  // Some compilers do not emit DW_AT_byte_size for pointer_type,
   // so we fill this. We currently assume that the model-checked process is in
   // the same architecture..
   if (type->type == DW_TAG_pointer_type)
@@ -1114,12 +1115,12 @@ mc_object_info_t MC_new_object_info(void)
 
 void MC_free_object_info(mc_object_info_t * info)
 {
-  xbt_free(&(*info)->file_name);
+  xbt_free((*info)->file_name);
   xbt_dict_free(&(*info)->subprograms);
   xbt_dynar_free(&(*info)->global_variables);
   xbt_dict_free(&(*info)->types);
   xbt_dict_free(&(*info)->full_types_by_name);
-  xbt_free(info);
+  xbt_free(*info);
   xbt_dynar_free(&(*info)->functions_index);
   *info = NULL;
 }
@@ -1277,8 +1278,8 @@ static void MC_post_process_types(mc_object_info_t info)
 }
 
 /** \brief Finds informations about a given shared object/executable */
-mc_object_info_t MC_find_object_info(memory_map_t maps, const char *name,
-                                     int executable)
+mc_object_info_t MC_find_object_info(
+  std::vector<simgrid::mc::VmMap> const& maps, const char *name, int executable)
 {
   mc_object_info_t result = MC_new_object_info();
   if (executable)