Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remvove mc_{global_variables,local_variables,variables_type}_{libsimgrid,binary}
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 2 Jan 2014 10:01:12 +0000 (11:01 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 9 Jan 2014 13:15:40 +0000 (14:15 +0100)
src/mc/mc_global.c
src/mc/mc_private.h

index 5ed07da..3f97546 100644 (file)
@@ -110,12 +110,6 @@ int compare;
 xbt_automaton_t _mc_property_automaton = NULL;
 
 /* Variables */
-xbt_dict_t mc_local_variables_libsimgrid = NULL;
-xbt_dict_t mc_local_variables_binary = NULL;
-xbt_dynar_t mc_global_variables_libsimgrid = NULL;
-xbt_dynar_t mc_global_variables_binary = NULL;
-xbt_dict_t mc_variables_type_libsimgrid = NULL;
-xbt_dict_t mc_variables_type_binary = NULL;
 mc_object_info_t mc_libsimgrid_info = NULL;
 mc_object_info_t mc_binary_info = NULL;
 
@@ -1755,13 +1749,6 @@ void MC_init(){
   mc_binary_info = MC_dwarf_get_variables(xbt_binary_name);
   mc_libsimgrid_info = MC_dwarf_get_variables(libsimgrid_path);
 
-  mc_local_variables_libsimgrid = mc_libsimgrid_info->local_variables;
-  mc_local_variables_binary = mc_binary_info->local_variables;
-  mc_global_variables_libsimgrid = mc_libsimgrid_info->global_variables;
-  mc_global_variables_binary = mc_binary_info->global_variables;
-  mc_variables_type_libsimgrid = mc_libsimgrid_info->types;
-  mc_variables_type_binary = mc_binary_info->types;
-
   XBT_INFO("Get debug information done !");
 
   /* Remove variables ignored before getting list of variables */
index 2a12206..c9bd28e 100644 (file)
@@ -333,13 +333,6 @@ void MC_dump_stack_liveness(xbt_fifo_t stack);
 
 /********************************** Variables with DWARF **********************************/
 
-extern xbt_dict_t mc_local_variables_libsimgrid;
-extern xbt_dict_t mc_local_variables_binary;
-extern xbt_dynar_t mc_global_variables_libsimgrid;
-extern xbt_dynar_t mc_global_variables_binary;
-extern xbt_dict_t mc_variables_type_libsimgrid;
-extern xbt_dict_t mc_variables_type_binary;
-
 typedef struct s_mc_object_info {
   xbt_dict_t local_variables;
   xbt_dynar_t global_variables;