From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 18 Oct 2012 11:40:09 +0000 (+0200)
Subject: model-checker : stack_areas stored in raw_heap instead of std_heap
X-Git-Tag: v3_9_rc1~91^2~181
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3662ffc541a0827fab10e43ee660c6560ab12798?hp=52144e1c80c99708e51a27ef1347e3dd3e33002e

model-checker : stack_areas stored in raw_heap instead of std_heap
---

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index ce251a370c..8bb0aa662d 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -703,16 +703,18 @@ void MC_ignore(void *address, size_t size){
 
 void MC_new_stack_area(void *stack, char *name, void* context){
 
+  MC_SET_RAW_MEM;
+
   if(stacks_areas == NULL)
     stacks_areas = xbt_dynar_new(sizeof(stack_region_t), NULL);
-
-  MC_SET_RAW_MEM;
+  
   stack_region_t region = NULL;
   region = xbt_new0(s_stack_region_t, 1);
   region->address = stack;
   region->process_name = strdup(name);
   region->context = context;
   xbt_dynar_push(stacks_areas, &region);
+  
   MC_UNSET_RAW_MEM;
 }