Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
hey, figured out how to change vars to pointers without cocci complaining...
authormarkls <markls@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 17 Jan 2011 13:49:56 +0000 (13:49 +0000)
committermarkls <markls@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 17 Jan 2011 13:49:56 +0000 (13:49 +0000)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9421 48e7efb5-ca39-0410-a469-dd3cf9ba447f

src/smpi/replace_globals.cocci

index 59e8aa6..d23bacf 100644 (file)
@@ -1,4 +1,5 @@
 // FIXME: problems
+//   - does not want to match dynamic arrays...
 //   - does not match array initializers
 
 // Function prototype looks like variable dec, but has parentheses
@@ -36,7 +37,8 @@ var = E
 type T;
 identifier var;
 position p != { localvardecl.p, funcproto.p };
-expression E;
+expression value;
+constant size;
 @@
 (
 T@p 
@@ -45,19 +47,34 @@ T@p
 ;
 |
 T@p
-- var = E
-+ *var = SMPI_INITIALIZE_AND_SET_GLOBAL(T, E)
+- var = value 
++ *var = SMPI_INITIALIZE_AND_SET_GLOBAL(T, value)
+;
+|
+T@p
+- var[]
++ *var[] = SMPI_INITIALIZE_GLOBAL_ARRAY(T, size)
+;
+|
+T@p
+- var[size]
++ *var[] = SMPI_INITIALIZE_GLOBAL_STATIC_ARRAY(T, size)
+;
+|
+T@p
+- var[size] = { ... }
++ *var[] = SMPI_INITIALIZE_AND_SET_GLOBAL_STATIC_ARRAY(T, size)
 ;
 )
 
 @rewritelocalaccess@
-local idexpression x;
+local idexpression lvar;
 identifier globalvardecl.var;
 @@
 {
 <...
 (
-x
+lvar
 |
 +SMPI_GLOBAL_VAR_LOCAL_ACCESS(
 var