diff for duplicates of <20170801043804.GA4265@embeddedgus> diff --git a/a/1.txt b/N1/1.txt index 0157388..e7878a6 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -42,28 +42,28 @@ index 0000000..2b10586 +virtual report + +// <smpl> -+ at bad exists@ ++@bad exists@ +position p; +identifier x; +expression e; +type T; +@@ + -+T x at p; ++T x@p; +... when != x = e +x = <+...x...+> + -+ at worse exists@ ++@worse exists@ +position p; +identifier x; +type T; +@@ + -+T x at p; ++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; @@ -71,7 +71,7 @@ index 0000000..2b10586 +@@ + +-static -+ T x at p; ++ T x@p; + ... when != x + when strict +?x = e; @@ -80,7 +80,7 @@ index 0000000..2b10586 + +// ---------------------------------------------------------------------------- + -+ 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; @@ -89,14 +89,14 @@ index 0000000..2b10586 +@@ + +* 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 a51e59e..6103049 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -1,8 +1,17 @@ "ref\020170727165848.GA15831@embeddedgus\0" - "From\0gustavo@embeddedor.com (Gustavo A. R. Silva)\0" - "Subject\0[Cocci] [PATCH v2] Coccinelle: Script to remove unnecessary static on local variables\0" + "From\0Gustavo A. R. Silva <gustavo@embeddedor.com>\0" + "Subject\0[PATCH v2] Coccinelle: Script to remove unnecessary static on local variables\0" "Date\0Mon, 31 Jul 2017 23:38:04 -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" @@ -49,28 +58,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" - "+T x at p;\n" + "+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" - "+T x at p;\n" + "+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" @@ -78,7 +87,7 @@ "+@@\n" "+\n" "+-static\n" - "+ T x at p;\n" + "+ T x@p;\n" "+ ... when != x\n" "+ when strict\n" "+?x = e;\n" @@ -87,7 +96,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" @@ -96,14 +105,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" @@ -122,4 +131,4 @@ "-- \n" 2.5.0 -8e190a3714607a2b9f993baa8a01c69265418cbc0b9c3b16e05afb749da4facc +216658c13858faf32a77cd537bf50807e3cc4572dd8eb93cb9b8cb2bce288bce
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.