From: Christophe JAILLET <christophe.jaillet@wanadoo.fr> To: Julia.Lawall@inria.fr, Gilles.Muller@inria.fr, nicolas.palix@imag.fr, michal.lkml@markovi.net Cc: cocci@systeme.lip6.fr, linux-kernel@vger.kernel.org, kernel-janitors@vger.kernel.org, Christophe JAILLET <christophe.jaillet@wanadoo.fr> Subject: [PATCH] Coccinelle: Update and rename api/alloc/pci_free_consistent.cocci Date: Wed, 16 Jun 2021 21:24:39 +0200 [thread overview] Message-ID: <edc2fdb429d184d05a70956ced00845bca2d4fe9.1623871406.git.christophe.jaillet@wanadoo.fr> (raw) 'pci_alloc_consistent()' is about to be removed from the kernel. It is now more useful to check for dma_alloc_coherent/dma_free_coherent. So change the script accordingly and rename it. Signed-off-by: Christophe JAILLET <christophe.jaillet@wanadoo.fr> --- Not sure that the script works. There are 718 'dma_alloc_coherent' calls in 5.13-rc6. It is surprising to have no match at all, not even a single false positive. --- ..._consistent.cocci => dma_free_coherent.cocci} | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) rename scripts/coccinelle/free/{pci_free_consistent.cocci => dma_free_coherent.cocci} (52%) diff --git a/scripts/coccinelle/free/pci_free_consistent.cocci b/scripts/coccinelle/free/dma_free_coherent.cocci similarity index 52% rename from scripts/coccinelle/free/pci_free_consistent.cocci rename to scripts/coccinelle/free/dma_free_coherent.cocci index d51e92556b42..75f159e7b6d7 100644 --- a/scripts/coccinelle/free/pci_free_consistent.cocci +++ b/scripts/coccinelle/free/dma_free_coherent.cocci @@ -1,10 +1,10 @@ // SPDX-License-Identifier: GPL-2.0-only -/// Find missing pci_free_consistent for every pci_alloc_consistent. +/// Find missing dma_free_coherent for every dma_alloc_coherent. /// // Confidence: Moderate // Copyright: (C) 2013 Petr Strnad. // URL: http://coccinelle.lip6.fr/ -// Keywords: pci_free_consistent, pci_alloc_consistent +// Keywords: dma_free_coherent, dma_alloc_coherent // Options: --no-includes --include-headers virtual report @@ -17,12 +17,12 @@ position p1,p2; type T; @@ -id = pci_alloc_consistent@p1(x,y,&z) +id = dma_alloc_coherent@p1(x,y,&z) ... when != e = id if (id == NULL || ...) { ... return ...; } -... when != pci_free_consistent(x,y,id,z) - when != if (id) { ... pci_free_consistent(x,y,id,z) ... } - when != if (y) { ... pci_free_consistent(x,y,id,z) ... } +... when != dma_free_coherent(x,y,id,z) + when != if (id) { ... dma_free_coherent(x,y,id,z) ... } + when != if (y) { ... dma_free_coherent(x,y,id,z) ... } when != e = (T)id when exists ( @@ -40,7 +40,7 @@ p1 << search.p1; p2 << search.p2; @@ -msg = "ERROR: missing pci_free_consistent; pci_alloc_consistent on line %s and return without freeing on line %s" % (p1[0].line,p2[0].line) +msg = "ERROR: missing dma_free_coherent; dma_alloc_coherent on line %s and return without freeing on line %s" % (p1[0].line,p2[0].line) coccilib.report.print_report(p2[0],msg) @script:python depends on org@ @@ -48,6 +48,6 @@ p1 << search.p1; p2 << search.p2; @@ -msg = "ERROR: missing pci_free_consistent; pci_alloc_consistent on line %s and return without freeing on line %s" % (p1[0].line,p2[0].line) +msg = "ERROR: missing dma_free_coherent; dma_alloc_coherent on line %s and return without freeing on line %s" % (p1[0].line,p2[0].line) cocci.print_main(msg,p1) cocci.print_secs("",p2) -- 2.30.2
WARNING: multiple messages have this Message-ID (diff)
From: Christophe JAILLET <christophe.jaillet@wanadoo.fr> To: Julia.Lawall@inria.fr, Gilles.Muller@inria.fr, nicolas.palix@imag.fr, michal.lkml@markovi.net Cc: Christophe JAILLET <christophe.jaillet@wanadoo.fr>, kernel-janitors@vger.kernel.org, cocci@systeme.lip6.fr, linux-kernel@vger.kernel.org Subject: [Cocci] [PATCH] Coccinelle: Update and rename api/alloc/pci_free_consistent.cocci Date: Wed, 16 Jun 2021 21:24:39 +0200 [thread overview] Message-ID: <edc2fdb429d184d05a70956ced00845bca2d4fe9.1623871406.git.christophe.jaillet@wanadoo.fr> (raw) 'pci_alloc_consistent()' is about to be removed from the kernel. It is now more useful to check for dma_alloc_coherent/dma_free_coherent. So change the script accordingly and rename it. Signed-off-by: Christophe JAILLET <christophe.jaillet@wanadoo.fr> --- Not sure that the script works. There are 718 'dma_alloc_coherent' calls in 5.13-rc6. It is surprising to have no match at all, not even a single false positive. --- ..._consistent.cocci => dma_free_coherent.cocci} | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) rename scripts/coccinelle/free/{pci_free_consistent.cocci => dma_free_coherent.cocci} (52%) diff --git a/scripts/coccinelle/free/pci_free_consistent.cocci b/scripts/coccinelle/free/dma_free_coherent.cocci similarity index 52% rename from scripts/coccinelle/free/pci_free_consistent.cocci rename to scripts/coccinelle/free/dma_free_coherent.cocci index d51e92556b42..75f159e7b6d7 100644 --- a/scripts/coccinelle/free/pci_free_consistent.cocci +++ b/scripts/coccinelle/free/dma_free_coherent.cocci @@ -1,10 +1,10 @@ // SPDX-License-Identifier: GPL-2.0-only -/// Find missing pci_free_consistent for every pci_alloc_consistent. +/// Find missing dma_free_coherent for every dma_alloc_coherent. /// // Confidence: Moderate // Copyright: (C) 2013 Petr Strnad. // URL: http://coccinelle.lip6.fr/ -// Keywords: pci_free_consistent, pci_alloc_consistent +// Keywords: dma_free_coherent, dma_alloc_coherent // Options: --no-includes --include-headers virtual report @@ -17,12 +17,12 @@ position p1,p2; type T; @@ -id = pci_alloc_consistent@p1(x,y,&z) +id = dma_alloc_coherent@p1(x,y,&z) ... when != e = id if (id == NULL || ...) { ... return ...; } -... when != pci_free_consistent(x,y,id,z) - when != if (id) { ... pci_free_consistent(x,y,id,z) ... } - when != if (y) { ... pci_free_consistent(x,y,id,z) ... } +... when != dma_free_coherent(x,y,id,z) + when != if (id) { ... dma_free_coherent(x,y,id,z) ... } + when != if (y) { ... dma_free_coherent(x,y,id,z) ... } when != e = (T)id when exists ( @@ -40,7 +40,7 @@ p1 << search.p1; p2 << search.p2; @@ -msg = "ERROR: missing pci_free_consistent; pci_alloc_consistent on line %s and return without freeing on line %s" % (p1[0].line,p2[0].line) +msg = "ERROR: missing dma_free_coherent; dma_alloc_coherent on line %s and return without freeing on line %s" % (p1[0].line,p2[0].line) coccilib.report.print_report(p2[0],msg) @script:python depends on org@ @@ -48,6 +48,6 @@ p1 << search.p1; p2 << search.p2; @@ -msg = "ERROR: missing pci_free_consistent; pci_alloc_consistent on line %s and return without freeing on line %s" % (p1[0].line,p2[0].line) +msg = "ERROR: missing dma_free_coherent; dma_alloc_coherent on line %s and return without freeing on line %s" % (p1[0].line,p2[0].line) cocci.print_main(msg,p1) cocci.print_secs("",p2) -- 2.30.2 _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
next reply other threads:[~2021-06-16 19:24 UTC|newest] Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top 2021-06-16 19:24 Christophe JAILLET [this message] 2021-06-16 19:24 ` [Cocci] [PATCH] Coccinelle: Update and rename api/alloc/pci_free_consistent.cocci Christophe JAILLET 2021-06-26 19:55 ` Julia Lawall 2021-06-26 19:55 ` [Cocci] " Julia Lawall 2021-06-27 4:51 ` Christophe JAILLET 2021-06-27 4:51 ` [Cocci] " Christophe JAILLET 2021-06-27 4:51 ` Christophe JAILLET 2021-06-26 20:15 ` Julia Lawall 2021-06-26 20:15 ` [Cocci] " Julia Lawall
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=edc2fdb429d184d05a70956ced00845bca2d4fe9.1623871406.git.christophe.jaillet@wanadoo.fr \ --to=christophe.jaillet@wanadoo.fr \ --cc=Gilles.Muller@inria.fr \ --cc=Julia.Lawall@inria.fr \ --cc=cocci@systeme.lip6.fr \ --cc=kernel-janitors@vger.kernel.org \ --cc=linux-kernel@vger.kernel.org \ --cc=michal.lkml@markovi.net \ --cc=nicolas.palix@imag.fr \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
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.