[mc] C++ify RegionType, StorageType enums

[simgrid.git] / src / mc / mcer_ignore.cpp

diff --git a/src/mc/mcer_ignore.cpp b/src/mc/mcer_ignore.cpp
index 54d2da2..55b56d0 100644 (file)
--- a/src/mc/mcer_ignore.cpp
+++ b/src/mc/mcer_ignore.cpp
@@ -238,79 +238,6 @@ static void mc_ignore_local_variable_in_scope(const char *var_name,
   }
 }
 
-// ****** Checkpoint ignore:
-
-static void checkpoint_ignore_region_free(mc_checkpoint_ignore_region_t r)
-{
-  xbt_free(r);
-}
-
-static void checkpoint_ignore_region_free_voidp(void *r)
-{
-  checkpoint_ignore_region_free((mc_checkpoint_ignore_region_t) * (void **) r);
-}
-
-xbt_dynar_t MC_checkpoint_ignore_new(void)
-{
-  return xbt_dynar_new(sizeof(mc_checkpoint_ignore_region_t),
-                        checkpoint_ignore_region_free_voidp);
-}
-
-// ***** Generic memory ignore mechanism
-
-void MC_process_ignore_memory(mc_process_t process, void *addr, size_t size)
-{
-  xbt_dynar_t checkpoint_ignore = process->checkpoint_ignore;
-  mc_checkpoint_ignore_region_t region =
-      xbt_new0(s_mc_checkpoint_ignore_region_t, 1);
-  region->addr = addr;
-  region->size = size;
-
-  if (xbt_dynar_is_empty(checkpoint_ignore)) {
-    xbt_dynar_push(checkpoint_ignore, &region);
-  } else {
-
-    unsigned int cursor = 0;
-    int start = 0;
-    int end = xbt_dynar_length(checkpoint_ignore) - 1;
-    mc_checkpoint_ignore_region_t current_region = NULL;
-
-    while (start <= end) {
-      cursor = (start + end) / 2;
-      current_region =
-          (mc_checkpoint_ignore_region_t) xbt_dynar_get_as(checkpoint_ignore,
-                                                           cursor,
-                                                           mc_checkpoint_ignore_region_t);
-      if (current_region->addr == addr) {
-        if (current_region->size == size) {
-          checkpoint_ignore_region_free(region);
-          return;
-        } else if (current_region->size < size) {
-          start = cursor + 1;
-        } else {
-          end = cursor - 1;
-        }
-      } else if (current_region->addr < addr) {
-        start = cursor + 1;
-      } else {
-        end = cursor - 1;
-      }
-    }
-
-    if (current_region->addr == addr) {
-      if (current_region->size < size) {
-        xbt_dynar_insert_at(checkpoint_ignore, cursor + 1, &region);
-      } else {
-        xbt_dynar_insert_at(checkpoint_ignore, cursor, &region);
-      }
-    } else if (current_region->addr < addr) {
-      xbt_dynar_insert_at(checkpoint_ignore, cursor + 1, &region);
-    } else {
-      xbt_dynar_insert_at(checkpoint_ignore, cursor, &region);
-    }
-  }
-}
-
 extern xbt_dynar_t stacks_areas;
 
 void MC_stack_area_add(stack_region_t stack_area)