diff for duplicates of <567F166B.7030208@cogentembedded.com> diff --git a/a/1.txt b/N1/1.txt index c905a35..00934c9 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -33,21 +33,21 @@ On 12/27/2015 01:32 AM, Julia Lawall wrote: >>> +// >>> ---------------------------------------------------------------------------- >>> + ->>> + at r depends on context || org || report@ +>>> +@r depends on context || org || report@ >>> +constant C; >>> +statement S; >>> +expression e, ret; >>> +position j0, j1; >>> +@@ >>> + ->>> +* e at j0 = platform_get_irq(...); +>>> +* e@j0 = platform_get_irq(...); >>> +( ->>> +if at j1 (...) { +>>> +if@j1 (...) { >>> + ... >>> + return -C; >>> +} else S >>> +| ->>> +if at j1 (...) { +>>> +if@j1 (...) { >>> + ... >>> + ret = -C; >>> + ... diff --git a/a/content_digest b/N1/content_digest index e3b2900..a2310aa 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -6,9 +6,9 @@ "ref\0alpine.DEB.2.02.1512262156580.2070@localhost6.localdomain6\0" "ref\0567F141C.8010000@cogentembedded.com\0" "ref\0alpine.DEB.2.02.1512262330430.2070@localhost6.localdomain6\0" - "From\0sergei.shtylyov@cogentembedded.com (Sergei Shtylyov)\0" - "Subject\0[Cocci] [PATCH v2] coccinelle: api: check for propagation of error from platform_get_irq\0" - "Date\0Sun, 27 Dec 2015 01:36:27 +0300\0" + "From\0Sergei Shtylyov <sergei.shtylyov@cogentembedded.com>\0" + "Subject\0Re: [PATCH v2] coccinelle: api: check for propagation of error from platform_get_irq\0" + "Date\0Sat, 26 Dec 2015 22:36:27 +0000\0" "To\0cocci@systeme.lip6.fr\0" "\00:1\0" "b\0" @@ -47,21 +47,21 @@ ">>> +//\n" ">>> ----------------------------------------------------------------------------\n" ">>> +\n" - ">>> + at r depends on context || org || report@\n" + ">>> +@r depends on context || org || report@\n" ">>> +constant C;\n" ">>> +statement S;\n" ">>> +expression e, ret;\n" ">>> +position j0, j1;\n" ">>> +@@\n" ">>> +\n" - ">>> +* e at j0 = platform_get_irq(...);\n" + ">>> +* e@j0 = platform_get_irq(...);\n" ">>> +(\n" - ">>> +if at j1 (...) {\n" + ">>> +if@j1 (...) {\n" ">>> + ...\n" ">>> + return -C;\n" ">>> +} else S\n" ">>> +|\n" - ">>> +if at j1 (...) {\n" + ">>> +if@j1 (...) {\n" ">>> + ...\n" ">>> + ret = -C;\n" ">>> + ...\n" @@ -91,4 +91,4 @@ "\n" MBR, Sergei -bc3a257adefe8fb6a6dbc0938af2f6b7d555e6c2c436d5a2ef0e4033043ec59d +06ef98ab6cc2f6a9de44762d45b22c0381719945bfcce6524cdbdcc647d82c89
diff --git a/a/1.txt b/N2/1.txt index c905a35..00934c9 100644 --- a/a/1.txt +++ b/N2/1.txt @@ -33,21 +33,21 @@ On 12/27/2015 01:32 AM, Julia Lawall wrote: >>> +// >>> ---------------------------------------------------------------------------- >>> + ->>> + at r depends on context || org || report@ +>>> +@r depends on context || org || report@ >>> +constant C; >>> +statement S; >>> +expression e, ret; >>> +position j0, j1; >>> +@@ >>> + ->>> +* e at j0 = platform_get_irq(...); +>>> +* e@j0 = platform_get_irq(...); >>> +( ->>> +if at j1 (...) { +>>> +if@j1 (...) { >>> + ... >>> + return -C; >>> +} else S >>> +| ->>> +if at j1 (...) { +>>> +if@j1 (...) { >>> + ... >>> + ret = -C; >>> + ... diff --git a/a/content_digest b/N2/content_digest index e3b2900..11d1136 100644 --- a/a/content_digest +++ b/N2/content_digest @@ -6,10 +6,21 @@ "ref\0alpine.DEB.2.02.1512262156580.2070@localhost6.localdomain6\0" "ref\0567F141C.8010000@cogentembedded.com\0" "ref\0alpine.DEB.2.02.1512262330430.2070@localhost6.localdomain6\0" - "From\0sergei.shtylyov@cogentembedded.com (Sergei Shtylyov)\0" - "Subject\0[Cocci] [PATCH v2] coccinelle: api: check for propagation of error from platform_get_irq\0" + "From\0Sergei Shtylyov <sergei.shtylyov@cogentembedded.com>\0" + "Subject\0Re: [PATCH v2] coccinelle: api: check for propagation of error from platform_get_irq\0" "Date\0Sun, 27 Dec 2015 01:36:27 +0300\0" - "To\0cocci@systeme.lip6.fr\0" + "To\0Julia Lawall <julia.lawall@lip6.fr>\0" + "Cc\0Gilles Muller <Gilles.Muller@lip6.fr>" + Nicolas Palix <nicolas.palix@imag.fr> + Michal Marek <mmarek@suse.com> + cocci@systeme.lip6.fr + linux-kernel@vger.kernel.org + linux-media@vger.kernel.org + netdev@vger.kernel.org + linux-i2c@vger.kernel.org + linux-spi@vger.kernel.org + dri-devel@lists.freedesktop.org + " kernel-janitors@vger.kernel.org\0" "\00:1\0" "b\0" "On 12/27/2015 01:32 AM, Julia Lawall wrote:\n" @@ -47,21 +58,21 @@ ">>> +//\n" ">>> ----------------------------------------------------------------------------\n" ">>> +\n" - ">>> + at r depends on context || org || report@\n" + ">>> +@r depends on context || org || report@\n" ">>> +constant C;\n" ">>> +statement S;\n" ">>> +expression e, ret;\n" ">>> +position j0, j1;\n" ">>> +@@\n" ">>> +\n" - ">>> +* e at j0 = platform_get_irq(...);\n" + ">>> +* e@j0 = platform_get_irq(...);\n" ">>> +(\n" - ">>> +if at j1 (...) {\n" + ">>> +if@j1 (...) {\n" ">>> + ...\n" ">>> + return -C;\n" ">>> +} else S\n" ">>> +|\n" - ">>> +if at j1 (...) {\n" + ">>> +if@j1 (...) {\n" ">>> + ...\n" ">>> + ret = -C;\n" ">>> + ...\n" @@ -91,4 +102,4 @@ "\n" MBR, Sergei -bc3a257adefe8fb6a6dbc0938af2f6b7d555e6c2c436d5a2ef0e4033043ec59d +eb976296cf4f9b43f98658d35fa5654234cd94978ed83d3c710e6df8766b985e
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.