diff for duplicates of <494E6846.8070800@sandeen.net> diff --git a/a/1.txt b/N1/1.txt index 3db2ad6..243cd79 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -17,11 +17,11 @@ Julia Lawall wrote: > position p1,p2; > @@ > -> if (x@p1 = NULL || ...) { ... when forall +> if (x@p1 == NULL || ...) { ... when forall > return ...; } > ... when != \(x=E\|x--\|x++\|--x\|++x\|x-=E\|x+=E\|x|=E\|x&=E\|&x\) > ( -> x@p2 = NULL +> x@p2 == NULL > | > x@p2 != NULL > ) @@ -34,7 +34,7 @@ Julia Lawall wrote: > > ... when != x@p1 > ( -> x@p2 = NULL +> x@p2 == NULL > | > x@p2 != NULL > ) @@ -49,9 +49,9 @@ Julia Lawall wrote: > - if ((x@p2 != NULL) || ...) > S1 > | -> - if ((x@p2 = NULL) && ...) S1 +> - if ((x@p2 == NULL) && ...) S1 > | -> - BUG_ON(x@p2 = NULL); +> - BUG_ON(x@p2 == NULL); > ) > // </smpl> > @@ -84,4 +84,9 @@ probably also be removed. > xfs mailing list > xfs@oss.sgi.com > http://oss.sgi.com/mailman/listinfo/xfs -> +> + +_______________________________________________ +xfs mailing list +xfs@oss.sgi.com +http://oss.sgi.com/mailman/listinfo/xfs diff --git a/a/content_digest b/N1/content_digest index c2cd555..6a54598 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -1,7 +1,7 @@ "ref\0Pine.LNX.4.64.0812211640360.9555@pc-004.diku.dk\0" "From\0Eric Sandeen <sandeen@sandeen.net>\0" "Subject\0Re: [PATCH 9/13] fs/xfs: Remove redundant test\0" - "Date\0Sun, 21 Dec 2008 16:01:10 +0000\0" + "Date\0Sun, 21 Dec 2008 10:01:10 -0600\0" "To\0Julia Lawall <julia@diku.dk>\0" "Cc\0xfs-masters@oss.sgi.com" kernel-janitors@vger.kernel.org @@ -28,11 +28,11 @@ "> position p1,p2;\n" "> @@\n" "> \n" - "> if (x@p1 = NULL || ...) { ... when forall\n" + "> if (x@p1 == NULL || ...) { ... when forall\n" "> return ...; }\n" "> ... when != \\(x=E\\|x--\\|x++\\|--x\\|++x\\|x-=E\\|x+=E\\|x|=E\\|x&=E\\|&x\\)\n" "> (\n" - "> x@p2 = NULL\n" + "> x@p2 == NULL\n" "> |\n" "> x@p2 != NULL\n" "> )\n" @@ -45,7 +45,7 @@ "> \n" "> ... when != x@p1\n" "> (\n" - "> x@p2 = NULL\n" + "> x@p2 == NULL\n" "> |\n" "> x@p2 != NULL\n" "> )\n" @@ -60,9 +60,9 @@ "> - if ((x@p2 != NULL) || ...)\n" "> S1\n" "> |\n" - "> - if ((x@p2 = NULL) && ...) S1\n" + "> - if ((x@p2 == NULL) && ...) S1\n" "> |\n" - "> - BUG_ON(x@p2 = NULL);\n" + "> - BUG_ON(x@p2 == NULL);\n" "> )\n" "> // </smpl>\n" "> \n" @@ -95,6 +95,11 @@ "> xfs mailing list\n" "> xfs@oss.sgi.com\n" "> http://oss.sgi.com/mailman/listinfo/xfs\n" - > + "> \n" + "\n" + "_______________________________________________\n" + "xfs mailing list\n" + "xfs@oss.sgi.com\n" + http://oss.sgi.com/mailman/listinfo/xfs -7734e8f36ea282bc9b382054c98084afabe10dcfaa3c17440c88ceed332a674a +baf2538e6900547262f0722b881fc222e18735c028f1269b21d00a4a4c1b7d97
diff --git a/a/1.txt b/N2/1.txt index 3db2ad6..be83d8e 100644 --- a/a/1.txt +++ b/N2/1.txt @@ -17,11 +17,11 @@ Julia Lawall wrote: > position p1,p2; > @@ > -> if (x@p1 = NULL || ...) { ... when forall +> if (x@p1 == NULL || ...) { ... when forall > return ...; } > ... when != \(x=E\|x--\|x++\|--x\|++x\|x-=E\|x+=E\|x|=E\|x&=E\|&x\) > ( -> x@p2 = NULL +> x@p2 == NULL > | > x@p2 != NULL > ) @@ -34,7 +34,7 @@ Julia Lawall wrote: > > ... when != x@p1 > ( -> x@p2 = NULL +> x@p2 == NULL > | > x@p2 != NULL > ) @@ -49,9 +49,9 @@ Julia Lawall wrote: > - if ((x@p2 != NULL) || ...) > S1 > | -> - if ((x@p2 = NULL) && ...) S1 +> - if ((x@p2 == NULL) && ...) S1 > | -> - BUG_ON(x@p2 = NULL); +> - BUG_ON(x@p2 == NULL); > ) > // </smpl> > diff --git a/a/content_digest b/N2/content_digest index c2cd555..bcc412d 100644 --- a/a/content_digest +++ b/N2/content_digest @@ -1,12 +1,12 @@ "ref\0Pine.LNX.4.64.0812211640360.9555@pc-004.diku.dk\0" "From\0Eric Sandeen <sandeen@sandeen.net>\0" "Subject\0Re: [PATCH 9/13] fs/xfs: Remove redundant test\0" - "Date\0Sun, 21 Dec 2008 16:01:10 +0000\0" + "Date\0Sun, 21 Dec 2008 10:01:10 -0600\0" "To\0Julia Lawall <julia@diku.dk>\0" "Cc\0xfs-masters@oss.sgi.com" - kernel-janitors@vger.kernel.org + xfs@oss.sgi.com linux-kernel@vger.kernel.org - " xfs@oss.sgi.com\0" + " kernel-janitors@vger.kernel.org\0" "\00:1\0" "b\0" "Julia Lawall wrote:\n" @@ -28,11 +28,11 @@ "> position p1,p2;\n" "> @@\n" "> \n" - "> if (x@p1 = NULL || ...) { ... when forall\n" + "> if (x@p1 == NULL || ...) { ... when forall\n" "> return ...; }\n" "> ... when != \\(x=E\\|x--\\|x++\\|--x\\|++x\\|x-=E\\|x+=E\\|x|=E\\|x&=E\\|&x\\)\n" "> (\n" - "> x@p2 = NULL\n" + "> x@p2 == NULL\n" "> |\n" "> x@p2 != NULL\n" "> )\n" @@ -45,7 +45,7 @@ "> \n" "> ... when != x@p1\n" "> (\n" - "> x@p2 = NULL\n" + "> x@p2 == NULL\n" "> |\n" "> x@p2 != NULL\n" "> )\n" @@ -60,9 +60,9 @@ "> - if ((x@p2 != NULL) || ...)\n" "> S1\n" "> |\n" - "> - if ((x@p2 = NULL) && ...) S1\n" + "> - if ((x@p2 == NULL) && ...) S1\n" "> |\n" - "> - BUG_ON(x@p2 = NULL);\n" + "> - BUG_ON(x@p2 == NULL);\n" "> )\n" "> // </smpl>\n" "> \n" @@ -97,4 +97,4 @@ "> http://oss.sgi.com/mailman/listinfo/xfs\n" > -7734e8f36ea282bc9b382054c98084afabe10dcfaa3c17440c88ceed332a674a +27425aabae13101888592bf6c7cd7a4b9df401b01056b4df84665877d7e445fa
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.