diff for duplicates of <1347454564-5178-2-git-send-email-peter.senna@gmail.com> diff --git a/a/1.txt b/N1/1.txt index beddcef..dc29ac7 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -11,7 +11,7 @@ position p1,p2; 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; @@ -20,7 +20,7 @@ iterator I; 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 @@ -37,7 +37,7 @@ position r.p2; 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 5827580..8be0f7a 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -1,6 +1,6 @@ "From\0Peter Senna Tschudin <peter.senna@gmail.com>\0" "Subject\0[PATCH v2 7/8] drivers/media/platform/davinci/vpbe.c: Removes useless kfree()\0" - "Date\0Wed, 12 Sep 2012 12:55:58 +0000\0" + "Date\0Wed, 12 Sep 2012 14:55:58 +0200\0" "To\0Mauro Carvalho Chehab <mchehab@infradead.org>\0" "Cc\0kernel-janitors@vger.kernel.org" linux-media@vger.kernel.org @@ -20,7 +20,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" @@ -29,7 +29,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" @@ -46,7 +46,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" @@ -76,4 +76,4 @@ " \tkfree(vpbe_dev->encoders);\n" vpbe_fail_v4l2_device: -951bc389e0d350cc28eccaa6a4787cba7da37127bfd6e7bb734155ffe2b0d794 +c00e377a81ccb9bbfbde18279161bce3a3c6a051946bd11ea0328d3a6934ac64
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.