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 : fix dpor
[simgrid.git]
/
include
/
smpi
/
smpi_cocci.h
diff --git
a/include/smpi/smpi_cocci.h
b/include/smpi/smpi_cocci.h
index
ace208f
..
f082355
100644
(file)
--- a/
include/smpi/smpi_cocci.h
+++ b/
include/smpi/smpi_cocci.h
@@
-48,7
+48,7
@@
void __attribute__((weak,destructor)) __postfini_##name(void) { \
* This function is rather internal, mainly used for the
* privatization of global variables through coccinelle.
*/
* This function is rather internal, mainly used for the
* privatization of global variables through coccinelle.
*/
-XBT_PUBLIC(void) smpi_register_static(void* arg);
+XBT_PUBLIC(void) smpi_register_static(void* arg
, void_f_pvoid_t free_fn
);
XBT_PUBLIC(void) smpi_free_static(void);
XBT_PUBLIC(void) smpi_free_static(void);
@@
-56,7
+56,7
@@
XBT_PUBLIC(void) smpi_free_static(void);
static type *name = NULL; \
if(!name) { \
name = (type*)malloc(smpi_global_size() * sizeof(type)); \
static type *name = NULL; \
if(!name) { \
name = (type*)malloc(smpi_global_size() * sizeof(type)); \
- smpi_register_static(name
);
\
+ smpi_register_static(name
, xbt_free);
\
}
#define SMPI_VARINIT_STATIC_AND_SET(name,type,expr) \
}
#define SMPI_VARINIT_STATIC_AND_SET(name,type,expr) \
@@
-69,7
+69,7
@@
if(!name) { \
for(i = 0; i < size; i++) { \
name[i] = value; \
} \
for(i = 0; i < size; i++) { \
name[i] = value; \
} \
- smpi_register_static(name
);
\
+ smpi_register_static(name
, xbt_free);
\
}
#define SMPI_VARGET_STATIC(name) name[smpi_process_index()]
}
#define SMPI_VARGET_STATIC(name) name[smpi_process_index()]