From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 2 Dec 2014 09:00:28 +0000 (+0100)
Subject: [mc] Define a type for MC object information flags
X-Git-Tag: v3_12~732^2~165^2~3
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5c62f32db44e664cc48e746a8d57fcac12c95e33

[mc] Define a type for MC object information flags
---

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 78b4c26a50..1906f75b5b 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -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