diff for duplicates of <5051E9F3.4020708@bfs.de> diff --git a/a/1.txt b/N1/1.txt index b790e0d..cd569d1 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -14,7 +14,7 @@ Am 12.09.2012 17:06, schrieb Peter Senna Tschudin: > expression x; > @@ > -> if (x@p1 = NULL) { ... kfree@p2(x); ... return ...; } +> if (x@p1 == NULL) { ... kfree@p2(x); ... return ...; } > > @unchanged exists@ > position r.p1,r.p2; @@ -23,7 +23,7 @@ Am 12.09.2012 17:06, schrieb Peter Senna Tschudin: > statement S; > @@ > -> if (x@p1 = NULL) { ... when != I(x,...) S +> if (x@p1 == NULL) { ... when != I(x,...) S > when != e = e1 > when != e += e1 > when != e -= e1 @@ -40,7 +40,7 @@ Am 12.09.2012 17:06, schrieb Peter Senna Tschudin: > expression x; > @@ > -> ... when != true x@p1 = NULL +> ... when != true x@p1 == NULL > kfree@p2(x); > > @depends on !ok && unchanged@ diff --git a/a/content_digest b/N1/content_digest index 6a70e14..070594b 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -1,7 +1,7 @@ "ref\01347462407-13499-1-git-send-email-peter.senna@gmail.com\0" "From\0walter harms <wharms@bfs.de>\0" "Subject\0Re: [PATCH 1/9] drivers/block/aoe/aoecmd.c: Remove useless kfree\0" - "Date\0Thu, 13 Sep 2012 14:13:07 +0000\0" + "Date\0Thu, 13 Sep 2012 16:13:07 +0200\0" "To\0Peter Senna Tschudin <peter.senna@gmail.com>\0" "Cc\0Ed L. Cashin <ecashin@coraid.com>" kernel-janitors@vger.kernel.org @@ -24,7 +24,7 @@ "> expression x;\n" "> @@\n" "> \n" - "> if (x@p1 = NULL) { ... kfree@p2(x); ... return ...; }\n" + "> if (x@p1 == NULL) { ... kfree@p2(x); ... return ...; }\n" "> \n" "> @unchanged exists@\n" "> position r.p1,r.p2;\n" @@ -33,7 +33,7 @@ "> statement S;\n" "> @@\n" "> \n" - "> if (x@p1 = NULL) { ... when != I(x,...) S\n" + "> if (x@p1 == NULL) { ... when != I(x,...) S\n" "> when != e = e1\n" "> when != e += e1\n" "> when != e -= e1\n" @@ -50,7 +50,7 @@ "> expression x;\n" "> @@\n" "> \n" - "> ... when != true x@p1 = NULL\n" + "> ... when != true x@p1 == NULL\n" "> kfree@p2(x);\n" "> \n" "> @depends on !ok && unchanged@\n" @@ -95,4 +95,4 @@ "> \n" > -f5a3067a41b3e0b2dcb1aace5a48a69f62bc8773aa335e31c237199912d8e0a2 +49940a6a43e61511637f21154101b63c2a387be90dd87eb39186683d96f290f8
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.