A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model-checker : add size of stack in parameter of the function MC_new_stack_area
[simgrid.git]
/
src
/
mc
/
mc_global.c
diff --git
a/src/mc/mc_global.c
b/src/mc/mc_global.c
index
05d7108
..
14bc085
100644
(file)
--- a/
src/mc/mc_global.c
+++ b/
src/mc/mc_global.c
@@
-793,7
+793,7
@@
void MC_ignore_stack(const char *var_name, const char *frame){
}
}
-void MC_new_stack_area(void *stack, char *name, void* context){
+void MC_new_stack_area(void *stack, char *name, void* context
, size_t size
){
raw_mem_set = (mmalloc_get_current_heap() == raw_heap);
raw_mem_set = (mmalloc_get_current_heap() == raw_heap);
@@
-806,6
+806,7
@@
void MC_new_stack_area(void *stack, char *name, void* context){
region->address = stack;
region->process_name = strdup(name);
region->context = context;
region->address = stack;
region->process_name = strdup(name);
region->context = context;
+ region->size = size;
xbt_dynar_push(stacks_areas, ®ion);
MC_UNSET_RAW_MEM;
xbt_dynar_push(stacks_areas, ®ion);
MC_UNSET_RAW_MEM;