[mc] Make Snapshot::to_ignore a std::vector

[simgrid.git] / src / mc / mc_snapshot.h

diff --git a/src/mc/mc_snapshot.h b/src/mc/mc_snapshot.h
index 0bb55bc..1a58db8 100644 (file)
--- a/src/mc/mc_snapshot.h
+++ b/src/mc/mc_snapshot.h
@@ -146,7 +146,7 @@ public: // To be private
   int privatization_index;
   std::vector<size_t> stack_sizes;
   xbt_dynar_t stacks;
   int privatization_index;
   std::vector<size_t> stack_sizes;
   xbt_dynar_t stacks;

-  xbt_dynar_t to_ignore;
+  std::vector<s_mc_heap_ignore_region_t> to_ignore;

   uint64_t hash;
   std::vector<s_mc_snapshot_ignored_data> ignored_data;
   std::vector<s_fd_infos_t> current_fds;
   uint64_t hash;
   std::vector<s_mc_snapshot_ignored_data> ignored_data;
   std::vector<s_fd_infos_t> current_fds;


@@ -248,4 +248,8 @@ void* MC_region_read_pointer(mc_mem_region_t region, const void* addr)
 
 SG_END_DECL()
 
 
 SG_END_DECL()
 

+XBT_INTERNAL int init_heap_information(xbt_mheap_t heap1, xbt_mheap_t heap2,
+                          std::vector<s_mc_heap_ignore_region_t>* i1,
+                          std::vector<s_mc_heap_ignore_region_t>* i2);
+

 #endif
 #endif