diff for duplicates of <567F141C.8010000@cogentembedded.com> diff --git a/a/1.txt b/N1/1.txt index 57c61c7..4ee740b 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -30,21 +30,21 @@ On 12/26/2015 11:58 PM, 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 64afedf..8bb3806 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -4,9 +4,9 @@ "ref\0alpine.DEB.2.02.1512262123500.2070@localhost6.localdomain6\0" "ref\0567EF895.6080702@cogentembedded.com\0" "ref\0alpine.DEB.2.02.1512262156580.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:26:36 +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:26:36 +0000\0" "To\0cocci@systeme.lip6.fr\0" "\00:1\0" "b\0" @@ -42,21 +42,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" @@ -70,4 +70,4 @@ "\n" MBR, Sergei -45c139ca2cf04b3b60ce5c0700ae22a727d231348bb2401716b8961a08e65d39 +330b63073709717b17dbd411b5f0639bfd1ad24501d58cd68d39b74b14c88254
diff --git a/a/1.txt b/N2/1.txt index 57c61c7..93b6000 100644 --- a/a/1.txt +++ b/N2/1.txt @@ -2,7 +2,7 @@ On 12/26/2015 11:58 PM, Julia Lawall wrote: > The error return value of platform_get_irq seems to often get dropped. > -> Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr> +> Signed-off-by: Julia Lawall <Julia.Lawall-L2FTfq7BK8M@public.gmane.org> > > --- > @@ -30,21 +30,21 @@ On 12/26/2015 11:58 PM, 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; > + ... @@ -57,3 +57,8 @@ about the checks here -- 0 should indeed be overridden with something if it's considered invalid. MBR, Sergei + +-- +To unsubscribe from this list: send the line "unsubscribe linux-spi" in +the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org +More majordomo info at http://vger.kernel.org/majordomo-info.html diff --git a/a/content_digest b/N2/content_digest index 64afedf..9ebe484 100644 --- a/a/content_digest +++ b/N2/content_digest @@ -4,17 +4,29 @@ "ref\0alpine.DEB.2.02.1512262123500.2070@localhost6.localdomain6\0" "ref\0567EF895.6080702@cogentembedded.com\0" "ref\0alpine.DEB.2.02.1512262156580.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" + "ref\0alpine.DEB.2.02.1512262156580.2070-bi+AKbBUZKagILUCTcTcHdKyNwTtLsGr@public.gmane.org\0" + "From\0Sergei Shtylyov <sergei.shtylyov-M4DtvfQ/ZS1MRgGoP+s0PdBPR1lH4CV8@public.gmane.org>\0" + "Subject\0Re: [PATCH v2] coccinelle: api: check for propagation of error from platform_get_irq\0" "Date\0Sun, 27 Dec 2015 01:26:36 +0300\0" - "To\0cocci@systeme.lip6.fr\0" + "To\0Julia Lawall <julia.lawall-L2FTfq7BK8M@public.gmane.org>" + Gilles Muller <Gilles.Muller-L2FTfq7BK8M@public.gmane.org> + Nicolas Palix <nicolas.palix-wMUr/XMoy4A@public.gmane.org> + Michal Marek <mmarek-IBi9RG/b67k@public.gmane.org> + cocci-/FJkirnvOdkvYVN+rsErww@public.gmane.org + linux-kernel-u79uwXL29TY76Z2rM5mHXA@public.gmane.org + linux-media-u79uwXL29TY76Z2rM5mHXA@public.gmane.org + netdev-u79uwXL29TY76Z2rM5mHXA@public.gmane.org + linux-i2c-u79uwXL29TY76Z2rM5mHXA@public.gmane.org + linux-spi-u79uwXL29TY76Z2rM5mHXA@public.gmane.org + " dri-devel-PD4FTy7X32lNgt0PjOBp9y5qC8QIuHrW@public.gmane.org\0" + "Cc\0kernel-janitors-u79uwXL29TY76Z2rM5mHXA@public.gmane.org\0" "\00:1\0" "b\0" "On 12/26/2015 11:58 PM, Julia Lawall wrote:\n" "\n" "> The error return value of platform_get_irq seems to often get dropped.\n" ">\n" - "> Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>\n" + "> Signed-off-by: Julia Lawall <Julia.Lawall-L2FTfq7BK8M@public.gmane.org>\n" ">\n" "> ---\n" ">\n" @@ -42,21 +54,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" @@ -68,6 +80,11 @@ "about the checks here -- 0 should indeed be overridden with something if it's \n" "considered invalid.\n" "\n" - MBR, Sergei + "MBR, Sergei\n" + "\n" + "--\n" + "To unsubscribe from this list: send the line \"unsubscribe linux-spi\" in\n" + "the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org\n" + More majordomo info at http://vger.kernel.org/majordomo-info.html -45c139ca2cf04b3b60ce5c0700ae22a727d231348bb2401716b8961a08e65d39 +0977b490cbab86a2ed25b548244dc78cdaaa19214eab004e080e9bb7e4b21e98
diff --git a/a/1.txt b/N3/1.txt index 57c61c7..4ee740b 100644 --- a/a/1.txt +++ b/N3/1.txt @@ -30,21 +30,21 @@ On 12/26/2015 11:58 PM, 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/N3/content_digest index 64afedf..4fb18e5 100644 --- a/a/content_digest +++ b/N3/content_digest @@ -4,10 +4,21 @@ "ref\0alpine.DEB.2.02.1512262123500.2070@localhost6.localdomain6\0" "ref\0567EF895.6080702@cogentembedded.com\0" "ref\0alpine.DEB.2.02.1512262156580.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:26:36 +0300\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> + 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\0" + "Cc\0kernel-janitors@vger.kernel.org\0" "\00:1\0" "b\0" "On 12/26/2015 11:58 PM, Julia Lawall wrote:\n" @@ -42,21 +53,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" @@ -70,4 +81,4 @@ "\n" MBR, Sergei -45c139ca2cf04b3b60ce5c0700ae22a727d231348bb2401716b8961a08e65d39 +ef6ebf6f326bfd8e5b0a01ce361b7352c03b4b3f3f7a707d041dcdde22c7f4a7
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.