diff for duplicates of <55F93251.4010706@samsung.com> diff --git a/a/1.txt b/N1/1.txt index 7ee30b4..0b543d1 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -6,7 +6,7 @@ On 09/15/2015 03:57 PM, Julia Lawall wrote: >> On 09/15/2015 03:31 PM, Julia Lawall wrote: >>> On Tue, 15 Sep 2015, SF Markus Elfring wrote: >>> ->>>>>> v at p +>>>>>> v@p >>>>>> ( >>>>>> *< 0 >>>>>> | @@ -17,14 +17,14 @@ On 09/15/2015 03:57 PM, Julia Lawall wrote: >>>> Will the following SmPL approach be more appropriate then? >>>> >>>> ( ->>>> *v at p < 0 +>>>> *v@p < 0 >>>> | ->>>> *v at p <= 0 +>>>> *v@p <= 0 >>>> ) >>> Actually, all of >>> >>> v < 0 (never true) ->>> v <= 0 (same as v == 0) +>>> v <= 0 (same as v = 0) >>> v >= 0 (always true) >>> >>> would seem to merit attention. Andrzej, what do you think? @@ -63,13 +63,13 @@ Andrzej >>>> Markus >>>> -- >>>> To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in ->>>> the body of a message to majordomo at vger.kernel.org +>>>> the body of a message to majordomo@vger.kernel.org >>>> More majordomo info at http://vger.kernel.org/majordomo-info.html >>>> >> >> > -- > To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in -> the body of a message to majordomo at vger.kernel.org +> the body of a message to majordomo@vger.kernel.org > More majordomo info at http://vger.kernel.org/majordomo-info.html > diff --git a/a/content_digest b/N1/content_digest index a7133a2..6efa3bc 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -5,9 +5,9 @@ "ref\0alpine.DEB.2.10.1509151530190.2537@hadrien\0" "ref\055F82252.4090900@samsung.com\0" "ref\0alpine.DEB.2.10.1509151557040.2537@hadrien\0" - "From\0a.hajda@samsung.com (Andrzej Hajda)\0" - "Subject\0[Cocci] [PATCH] coccinelle: tests: unsigned value cannot be lesser than zero\0" - "Date\0Wed, 16 Sep 2015 11:11:45 +0200\0" + "From\0Andrzej Hajda <a.hajda@samsung.com>\0" + "Subject\0Re: [PATCH] coccinelle: tests: unsigned value cannot be lesser than zero\0" + "Date\0Wed, 16 Sep 2015 09:11:45 +0000\0" "To\0cocci@systeme.lip6.fr\0" "\00:1\0" "b\0" @@ -19,7 +19,7 @@ ">> On 09/15/2015 03:31 PM, Julia Lawall wrote:\n" ">>> On Tue, 15 Sep 2015, SF Markus Elfring wrote:\n" ">>>\n" - ">>>>>> v at p\n" + ">>>>>> v@p\n" ">>>>>> (\n" ">>>>>> *< 0\n" ">>>>>> |\n" @@ -30,14 +30,14 @@ ">>>> Will the following SmPL approach be more appropriate then?\n" ">>>>\n" ">>>> (\n" - ">>>> *v at p < 0\n" + ">>>> *v@p < 0\n" ">>>> |\n" - ">>>> *v at p <= 0\n" + ">>>> *v@p <= 0\n" ">>>> )\n" ">>> Actually, all of\n" ">>>\n" ">>> v < 0 (never true)\n" - ">>> v <= 0 (same as v == 0)\n" + ">>> v <= 0 (same as v = 0)\n" ">>> v >= 0 (always true)\n" ">>>\n" ">>> would seem to merit attention. Andrzej, what do you think?\n" @@ -76,15 +76,15 @@ ">>>> Markus\n" ">>>> --\n" ">>>> To unsubscribe from this list: send the line \"unsubscribe kernel-janitors\" in\n" - ">>>> the body of a message to majordomo at vger.kernel.org\n" + ">>>> the body of a message to majordomo@vger.kernel.org\n" ">>>> More majordomo info at http://vger.kernel.org/majordomo-info.html\n" ">>>>\n" ">>\n" ">>\n" "> --\n" "> To unsubscribe from this list: send the line \"unsubscribe kernel-janitors\" in\n" - "> the body of a message to majordomo at vger.kernel.org\n" + "> the body of a message to majordomo@vger.kernel.org\n" "> More majordomo info at http://vger.kernel.org/majordomo-info.html\n" > -4e11ec933426f165a888ecaa6d03c3391d2e0c1e1df8144f380a28bb4c03c52d +35b62501e464fa8d9da0e72c19562dc8c04f70e885dd0d913ec454313d034591
diff --git a/a/1.txt b/N2/1.txt index 7ee30b4..4b7bd1f 100644 --- a/a/1.txt +++ b/N2/1.txt @@ -6,7 +6,7 @@ On 09/15/2015 03:57 PM, Julia Lawall wrote: >> On 09/15/2015 03:31 PM, Julia Lawall wrote: >>> On Tue, 15 Sep 2015, SF Markus Elfring wrote: >>> ->>>>>> v at p +>>>>>> v@p >>>>>> ( >>>>>> *< 0 >>>>>> | @@ -17,9 +17,9 @@ On 09/15/2015 03:57 PM, Julia Lawall wrote: >>>> Will the following SmPL approach be more appropriate then? >>>> >>>> ( ->>>> *v at p < 0 +>>>> *v@p < 0 >>>> | ->>>> *v at p <= 0 +>>>> *v@p <= 0 >>>> ) >>> Actually, all of >>> @@ -63,13 +63,13 @@ Andrzej >>>> Markus >>>> -- >>>> To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in ->>>> the body of a message to majordomo at vger.kernel.org +>>>> the body of a message to majordomo@vger.kernel.org >>>> More majordomo info at http://vger.kernel.org/majordomo-info.html >>>> >> >> > -- > To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in -> the body of a message to majordomo at vger.kernel.org +> the body of a message to majordomo@vger.kernel.org > More majordomo info at http://vger.kernel.org/majordomo-info.html > diff --git a/a/content_digest b/N2/content_digest index a7133a2..3873acc 100644 --- a/a/content_digest +++ b/N2/content_digest @@ -5,10 +5,19 @@ "ref\0alpine.DEB.2.10.1509151530190.2537@hadrien\0" "ref\055F82252.4090900@samsung.com\0" "ref\0alpine.DEB.2.10.1509151557040.2537@hadrien\0" - "From\0a.hajda@samsung.com (Andrzej Hajda)\0" - "Subject\0[Cocci] [PATCH] coccinelle: tests: unsigned value cannot be lesser than zero\0" + "From\0Andrzej Hajda <a.hajda@samsung.com>\0" + "Subject\0Re: [PATCH] coccinelle: tests: unsigned value cannot be lesser than zero\0" "Date\0Wed, 16 Sep 2015 11:11:45 +0200\0" - "To\0cocci@systeme.lip6.fr\0" + "To\0Julia Lawall <julia.lawall@lip6.fr>\0" + "Cc\0SF Markus Elfring <elfring@users.sourceforge.net>" + Bartlomiej Zolnierkiewicz <b.zolnierkie@samsung.com> + Gilles Muller <Gilles.Muller@lip6.fr> + Joe Perches <joe@perches.com> + Nicolas Palix <nicolas.palix@imag.fr> + Michal Marek <mmarek@suse.com> + linux-kernel@vger.kernel.org + kernel-janitors@vger.kernel.org + " cocci@systeme.lip6.fr\0" "\00:1\0" "b\0" "On 09/15/2015 03:57 PM, Julia Lawall wrote:\n" @@ -19,7 +28,7 @@ ">> On 09/15/2015 03:31 PM, Julia Lawall wrote:\n" ">>> On Tue, 15 Sep 2015, SF Markus Elfring wrote:\n" ">>>\n" - ">>>>>> v at p\n" + ">>>>>> v@p\n" ">>>>>> (\n" ">>>>>> *< 0\n" ">>>>>> |\n" @@ -30,9 +39,9 @@ ">>>> Will the following SmPL approach be more appropriate then?\n" ">>>>\n" ">>>> (\n" - ">>>> *v at p < 0\n" + ">>>> *v@p < 0\n" ">>>> |\n" - ">>>> *v at p <= 0\n" + ">>>> *v@p <= 0\n" ">>>> )\n" ">>> Actually, all of\n" ">>>\n" @@ -76,15 +85,15 @@ ">>>> Markus\n" ">>>> --\n" ">>>> To unsubscribe from this list: send the line \"unsubscribe kernel-janitors\" in\n" - ">>>> the body of a message to majordomo at vger.kernel.org\n" + ">>>> the body of a message to majordomo@vger.kernel.org\n" ">>>> More majordomo info at http://vger.kernel.org/majordomo-info.html\n" ">>>>\n" ">>\n" ">>\n" "> --\n" "> To unsubscribe from this list: send the line \"unsubscribe kernel-janitors\" in\n" - "> the body of a message to majordomo at vger.kernel.org\n" + "> the body of a message to majordomo@vger.kernel.org\n" "> More majordomo info at http://vger.kernel.org/majordomo-info.html\n" > -4e11ec933426f165a888ecaa6d03c3391d2e0c1e1df8144f380a28bb4c03c52d +55b7b16d7d7cb7fb34be096bd991c5e73df399cb95a0b2ffbdbd3de30e04107e
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.