From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 10 Feb 2015 14:52:09 +0000 (+0100)
Subject: [mc] Mark some issues as fixed
X-Git-Tag: v3_12~732^2~121
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/8ea96776d717d6510ddd3a2deba2fc1d7d5526e6?hp=38d1cfd08cf30b0da496b20dfa8b849cbfdb7ab4

[mc] Mark some issues as fixed
---

diff --git a/src/mc/mc_ignore.c b/src/mc/mc_ignore.c
index fde29b8123..f213822d98 100644
--- a/src/mc/mc_ignore.c
+++ b/src/mc/mc_ignore.c
@@ -73,6 +73,7 @@ xbt_dynar_t MC_checkpoint_ignore_new(void)
 
 /***********************************************************************/
 
+// Mcer
 void MC_heap_region_ignore_insert(mc_heap_ignore_region_t region)
 {
   if (mc_heap_comparison_ignore == NULL) {
@@ -112,7 +113,8 @@ void MC_heap_region_ignore_insert(mc_heap_ignore_region_t region)
     xbt_dynar_insert_at(mc_heap_comparison_ignore, cursor, &region);
 }
 
-void MC_heap_region_ignore_send(mc_heap_ignore_region_t region)
+// MCed:
+static void MC_heap_region_ignore_send(mc_heap_ignore_region_t region)
 {
   s_mc_ignore_heap_message_t message;
   message.type = MC_MESSAGE_IGNORE_HEAP;
@@ -122,7 +124,7 @@ void MC_heap_region_ignore_send(mc_heap_ignore_region_t region)
   XBT_DEBUG("Sent ignored region to the model-checker");
 }
 
-// FIXME, cross-process support? (or make this it is used on the app-side)
+// MCed:
 void MC_ignore_heap(void *address, size_t size)
 {
   xbt_mheap_t heap = mmalloc_set_current_heap(mc_heap);
@@ -200,7 +202,7 @@ void MC_remove_ignore_heap(void *address, size_t size)
   mmalloc_set_current_heap(heap);
 }
 
-// FIXME, cross-process support?
+// MCer
 void MC_ignore_global_variable(const char *name)
 {
   mc_process_t process = &mc_model_checker->process;
@@ -244,7 +246,6 @@ void MC_ignore_global_variable(const char *name)
  *  \param subprogram      (possibly inlined) Subprogram of the scope
  *  \param scope           Current scope
  */
- // FIXME, cross-process support (messaging?)
 static void mc_ignore_local_variable_in_scope(const char *var_name,
                                               const char *subprogram_name,
                                               dw_frame_t subprogram,
@@ -310,6 +311,7 @@ static void MC_ignore_local_variable_in_object(const char *var_name,
   }
 }
 
+// MCer
 void MC_ignore_local_variable(const char *var_name, const char *frame_name)
 {
   mc_process_t process = &mc_model_checker->process;
diff --git a/src/mc/mc_ignore.h b/src/mc/mc_ignore.h
index 3f0198196f..fef9bcd633 100644
--- a/src/mc/mc_ignore.h
+++ b/src/mc/mc_ignore.h
@@ -13,7 +13,6 @@
 SG_BEGIN_DECL();
 
 void MC_heap_region_ignore_insert(mc_heap_ignore_region_t region);
-void MC_heap_region_ignore_send(mc_heap_ignore_region_t region);
 void MC_process_ignore_memory(mc_process_t process, void *addr, size_t size);
 void MC_stack_area_add(stack_region_t stack_area);