model-checker : forget include ucontext.h for struct smx_ctx_sysv

[simgrid.git] / src / simix / smx_context_base.c

diff --git a/src/simix/smx_context_base.c b/src/simix/smx_context_base.c
index c934a08..e248369 100644 (file)
--- a/src/simix/smx_context_base.c
+++ b/src/simix/smx_context_base.c
@@ -48,15 +48,9 @@ smx_ctx_base_factory_create_context_sized(size_t size,
   smx_context_t context = xbt_malloc0(size);
 
   /* Store the address of the stack in heap to compare it apart of heap comparison */
-  if(MC_IS_ENABLED){
-
-    if(mmalloc_ignore == NULL)
-      MC_ignore_init(); 
-    
+  if(MC_IS_ENABLED)   
     MC_ignore(context, size);
 
-  }
-
   /* If the user provided a function for the process then use it.
      Otherwise, it is the context for maestro and we should set it as the
      current context */
@@ -70,7 +64,7 @@ smx_ctx_base_factory_create_context_sized(size_t size,
   }
   context->data = data;
 
-  if(MC_IS_ENABLED)
+  if(MC_IS_ENABLED && code)
     MC_new_stack_area(context, ((smx_process_t)context->data)->name);
 
   return context;