diff for duplicates of <55F82252.4090900@samsung.com> diff --git a/a/1.txt b/N1/1.txt index e65cc97..b0f4c53 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -1,7 +1,7 @@ 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 >>>> | @@ -12,14 +12,14 @@ On 09/15/2015 03:31 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? @@ -39,6 +39,6 @@ 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 >> diff --git a/a/content_digest b/N1/content_digest index 94b8ba3..8533944 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -3,16 +3,16 @@ "ref\0alpine.DEB.2.10.1509151505240.2537@hadrien\0" "ref\055F81A31.3040808@users.sourceforge.net\0" "ref\0alpine.DEB.2.10.1509151530190.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\0Tue, 15 Sep 2015 15:51:14 +0200\0" + "From\0Andrzej Hajda <a.hajda@samsung.com>\0" + "Subject\0Re: [PATCH] coccinelle: tests: unsigned value cannot be lesser than zero\0" + "Date\0Tue, 15 Sep 2015 13:51:14 +0000\0" "To\0cocci@systeme.lip6.fr\0" "\00:1\0" "b\0" "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" @@ -23,14 +23,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" @@ -50,8 +50,8 @@ ">> 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" >> -225e1486affd4b366b4c8c520ea835d11f2c0fbf4837a7c2a1c7974261b6fc31 +82f89fec23cbd711f9ddb00d8b45b6bc7fc0b71333f8e2f2d7b22d27b64924c9
diff --git a/a/1.txt b/N2/1.txt index e65cc97..6d2a66a 100644 --- a/a/1.txt +++ b/N2/1.txt @@ -1,7 +1,7 @@ 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 >>>> | @@ -12,9 +12,9 @@ On 09/15/2015 03:31 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 > @@ -39,6 +39,6 @@ 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 >> diff --git a/a/content_digest b/N2/content_digest index 94b8ba3..d62fd0d 100644 --- a/a/content_digest +++ b/N2/content_digest @@ -3,16 +3,25 @@ "ref\0alpine.DEB.2.10.1509151505240.2537@hadrien\0" "ref\055F81A31.3040808@users.sourceforge.net\0" "ref\0alpine.DEB.2.10.1509151530190.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\0Tue, 15 Sep 2015 15:51:14 +0200\0" - "To\0cocci@systeme.lip6.fr\0" + "To\0Julia Lawall <julia.lawall@lip6.fr>" + " SF Markus Elfring <elfring@users.sourceforge.net>\0" + "Cc\0Bartlomiej 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: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" @@ -23,9 +32,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" @@ -50,8 +59,8 @@ ">> 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" >> -225e1486affd4b366b4c8c520ea835d11f2c0fbf4837a7c2a1c7974261b6fc31 +395fa121a4181fb32fbc96f14910cc327087e367c5cd4ef2e8c256d79800450d
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.