Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Define a type for MC object information flags
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 2 Dec 2014 09:00:28 +0000 (10:00 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 2 Dec 2014 09:00:28 +0000 (10:00 +0100)
src/mc/mc_private.h

index 78b4c26..1906f75 100644 (file)
@@ -498,10 +498,13 @@ int is_visited_pair(mc_visited_pair_t pair, int pair_num, xbt_automaton_state_t
 
 /********************************** Variables with DWARF **********************************/
 
-#define MC_OBJECT_INFO_EXECUTABLE 1
+enum mc_object_info_flags {
+  MC_OBJECT_INFO_NONE = 0,
+  MC_OBJECT_INFO_EXECUTABLE = 1
+};
 
 struct s_mc_object_info {
-  size_t flags;
+  enum mc_object_info_flags flags;
   char* file_name;
   char *start_exec, *end_exec; // Executable segment
   char *start_rw, *end_rw; // Read-write segment