diff for duplicates of <20170727165848.GA15831@embeddedgus> diff --git a/a/1.txt b/N1/1.txt index 64b03f1..e48fa4e 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -32,28 +32,28 @@ index 0000000..79fc899 +virtual report + +// <smpl> -+ at bad exists@ ++@bad exists@ +position p; +identifier x; +expression e; +type T; +@@ + -+static T x at p; ++static T x@p; +... when != x = e +x = <+...x...+> + -+ at worse exists@ ++@worse exists@ +position p; +identifier x; +type T; +@@ + -+static T x at p; ++static T x@p; +... + &x + -+ at modify depends on patch && !context && !org && !report@ ++@modify depends on patch && !context && !org && !report@ +identifier x; +expression e; +type T; @@ -61,7 +61,7 @@ index 0000000..79fc899 +@@ + +-static -+ T x at p; ++ T x@p; + ... when != x + when strict +?x = e; @@ -70,7 +70,7 @@ index 0000000..79fc899 + +// ---------------------------------------------------------------------------- + -+ at modify_context depends on !patch && (context || org || report) forall@ ++@modify_context depends on !patch && (context || org || report) forall@ +type T; +identifier x; +expression e; @@ -79,14 +79,14 @@ index 0000000..79fc899 +@@ + +* static -+ T x at j0@p; ++ T x@j0@p; + ... when != x + when strict +?x = e; + +// ---------------------------------------------------------------------------- + -+ at script:python modify_org depends on org@ ++@script:python modify_org depends on org@ +j0 << modify_context.j0; +@@ + diff --git a/a/content_digest b/N1/content_digest index d4ffb80..70fb676 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -1,7 +1,16 @@ - "From\0gustavo@embeddedor.com (Gustavo A. R. Silva)\0" - "Subject\0[Cocci] [PATCH] Coccinelle: Script to remove unnecessary static on local variables\0" + "From\0Gustavo A. R. Silva <gustavo@embeddedor.com>\0" + "Subject\0[PATCH] Coccinelle: Script to remove unnecessary static on local variables\0" "Date\0Thu, 27 Jul 2017 11:58:48 -0500\0" - "To\0cocci@systeme.lip6.fr\0" + "To\0Julia Lawall <Julia.Lawall@lip6.fr>" + Gilles Muller <Gilles.Muller@lip6.fr> + Nicolas Palix <nicolas.palix@imag.fr> + " Michal Marek <mmarek@suse.com>\0" + "Cc\0cocci@systeme.lip6.fr" + linux-kernel@vger.kernel.org + Pavel Machek <pavel@ucw.cz> + Borislav Petkov <bp@alien8.de> + Peter Senna Tschudin <peter.senna@gmail.com> + " Gustavo A. R. Silva <gustavo@embeddedor.com>\0" "\00:1\0" "b\0" "Coccinelle script to remove unnecessary static on local variables when\n" @@ -38,28 +47,28 @@ "+virtual report\n" "+\n" "+// <smpl>\n" - "+ at bad exists@\n" + "+@bad exists@\n" "+position p;\n" "+identifier x;\n" "+expression e;\n" "+type T;\n" "+@@\n" "+\n" - "+static T x at p;\n" + "+static T x@p;\n" "+... when != x = e\n" "+x = <+...x...+>\n" "+\n" - "+ at worse exists@\n" + "+@worse exists@\n" "+position p;\n" "+identifier x;\n" "+type T;\n" "+@@\n" "+\n" - "+static T x at p;\n" + "+static T x@p;\n" "+...\n" "+ &x\n" "+\n" - "+ at modify depends on patch && !context && !org && !report@\n" + "+@modify depends on patch && !context && !org && !report@\n" "+identifier x;\n" "+expression e;\n" "+type T;\n" @@ -67,7 +76,7 @@ "+@@\n" "+\n" "+-static\n" - "+ T x at p;\n" + "+ T x@p;\n" "+ ... when != x\n" "+ when strict\n" "+?x = e;\n" @@ -76,7 +85,7 @@ "+\n" "+// ----------------------------------------------------------------------------\n" "+\n" - "+ at modify_context depends on !patch && (context || org || report) forall@\n" + "+@modify_context depends on !patch && (context || org || report) forall@\n" "+type T;\n" "+identifier x;\n" "+expression e;\n" @@ -85,14 +94,14 @@ "+@@\n" "+\n" "+* static\n" - "+ T x at j0@p;\n" + "+ T x@j0@p;\n" "+ ... when != x\n" "+ when strict\n" "+?x = e;\n" "+\n" "+// ----------------------------------------------------------------------------\n" "+\n" - "+ at script:python modify_org depends on org@\n" + "+@script:python modify_org depends on org@\n" "+j0 << modify_context.j0;\n" "+@@\n" "+\n" @@ -111,4 +120,4 @@ "-- \n" 2.5.0 -8f6be9abfa20d1c1680a467bbcf6b5615cfdb73ee03fc8ac9c536d713f984eb0 +0bc65bd85845fe3303dbaa7f0d5da34cb7411441f705ee2f3634d3f7b2b9a79f
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.