X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c18e60bf891927388ca22052334554bdb860a7f0..96e9a8e891b426a1bcd3214322f34bb40ba2b33e:/src/mc/Process.hpp

diff --git a/src/mc/Process.hpp b/src/mc/Process.hpp
index 8de84355e3..7c4c983d00 100644
--- a/src/mc/Process.hpp
+++ b/src/mc/Process.hpp
@@ -49,19 +49,22 @@ typedef int mc_process_cache_flags_t;
 #define MC_PROCESS_CACHE_FLAG_MALLOC_INFO 2
 #define MC_PROCESS_CACHE_FLAG_SIMIX_PROCESSES 4
 
-struct s_mc_smx_process_info {
+namespace simgrid {
+namespace mc {
+
+class SimixProcessInformation {
+public:
   /** MCed address of the process */
-  void* address;
-  /** (Flat) Copy of the process data structure */
-  struct s_smx_process copy;
+  void* address = nullptr;
+  union {
+    /** (Flat) Copy of the process data structure */
+    struct s_smx_process copy;
+  };
   /** Hostname (owned by `mc_modelchecker->hostnames`) */
-  const char* hostname;
-  char* name;
+  const char* hostname = nullptr;
+  char* name = nullptr;
 };
 
-namespace simgrid {
-namespace mc {
-
 struct IgnoredRegion {
   std::uint64_t addr;
   std::size_t size;