From: Julia Lawall <julia.lawall@inria.fr>
To: Sang-Heon Jeon <ekffu200098@gmail.com>
Cc: nicolas palix <nicolas.palix@imag.fr>, cocci <cocci@inria.fr>,
linux-kernel <linux-kernel@vger.kernel.org>
Subject: Re: [PATCH 4/7] coccinelle: pool_zalloc-simple: drop the pci_pool_alloc rules
Date: Sun, 30 Aug 2026 11:22:19 +0200 (CEST) [thread overview]
Message-ID: <161516053.8619221.1788081739076.JavaMail.zimbra@inria.fr> (raw)
In-Reply-To: <20260823161826.3805598-5-ekffu200098@gmail.com>
----- Mail original -----
> De: "Sang-Heon Jeon" <ekffu200098@gmail.com>
> À: "Julia Lawall" <Julia.Lawall@inria.fr>, "nicolas palix" <nicolas.palix@imag.fr>
> Cc: "cocci" <cocci@inria.fr>, "linux-kernel" <linux-kernel@vger.kernel.org>
> Envoyé: Dimanche 23 Août 2026 18:18:16
> Objet: [PATCH 4/7] coccinelle: pool_zalloc-simple: drop the pci_pool_alloc rules
> pci_pool_alloc() and pci_pool_zalloc() were removed by commit
> 88dee3b0efe4 ("PCI: Remove unused pci_pool wrappers").
>
> So drop the pci_pool_alloc rules.
>
> No functional change.
Applied. In the last SmPL rule, I removed the \(\) in the + code and move the @p one space to the left, to more obviously attach to the =.
julia
> Signed-off-by: Sang-Heon Jeon <ekffu200098@gmail.com>
> ---
> .../api/alloc/pool_zalloc-simple.cocci | 17 +++--------------
> 1 file changed, 3 insertions(+), 14 deletions(-)
>
> diff --git a/scripts/coccinelle/api/alloc/pool_zalloc-simple.cocci
> b/scripts/coccinelle/api/alloc/pool_zalloc-simple.cocci
> index 9c61a23b34db..2c36fb70e0ab 100644
> --- a/scripts/coccinelle/api/alloc/pool_zalloc-simple.cocci
> +++ b/scripts/coccinelle/api/alloc/pool_zalloc-simple.cocci
> @@ -5,7 +5,7 @@
> // Copyright: (C) 2015 Intel Corp.
> // Options: --no-includes --include-headers
> //
> -// Keywords: dma_pool_zalloc, pci_pool_zalloc
> +// Keywords: dma_pool_zalloc
> //
>
> virtual context
> @@ -22,7 +22,7 @@ expression x;
> statement S;
> @@
>
> -* x = \(dma_pool_alloc\|pci_pool_alloc\)(...);
> +* x = dma_pool_alloc(...);
> if ((x==NULL) || ...) S
> * memset(x,0, ...);
>
> @@ -41,17 +41,6 @@ statement S;
> if ((x==NULL) || ...) S
> - memset(x,0,...);
>
> -@depends on patch@
> -expression x;
> -expression a,b,c;
> -statement S;
> -@@
> -
> -- x = pci_pool_alloc(a,b,c);
> -+ x = pci_pool_zalloc(a,b,c);
> - if ((x==NULL) || ...) S
> -- memset(x,0,...);
> -
> //----------------------------------------------------------
> // For org and report mode
> //----------------------------------------------------------
> @@ -63,7 +52,7 @@ statement S;
> position p;
> @@
>
> - x = @p\(dma_pool_alloc\|pci_pool_alloc\)(a,b,c);
> + x = @p\(dma_pool_alloc\)(a,b,c);
> if ((x==NULL) || ...) S
> memset(x,0, ...);
>
> --
> 2.43.0
next prev parent reply other threads:[~2026-08-30 9:22 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-08-23 16:18 [PATCH 0/7] coccinelle: fix rules that match outdated function names Sang-Heon Jeon
2026-08-23 16:18 ` [PATCH 1/7] coccinelle: remove obsolete pci_free_consistent.cocci Sang-Heon Jeon
2026-08-23 17:05 ` Julia Lawall
2026-08-23 16:18 ` [PATCH 2/7] coccinelle: alloc_cast: drop removed allocators Sang-Heon Jeon
2026-08-23 19:31 ` Julia Lawall
2026-08-23 16:18 ` [PATCH 3/7] coccinelle: zalloc-simple: drop the kmem_alloc rules Sang-Heon Jeon
2026-08-23 19:31 ` Julia Lawall
2026-08-23 16:18 ` [PATCH 4/7] coccinelle: pool_zalloc-simple: drop the pci_pool_alloc rules Sang-Heon Jeon
2026-08-30 9:22 ` Julia Lawall [this message]
2026-08-23 16:18 ` [PATCH 5/7] coccinelle: kfree_mismatch: drop vmalloc_exec Sang-Heon Jeon
2026-08-30 12:10 ` Julia Lawall
2026-08-23 16:18 ` [PATCH 6/7] coccinelle: atomic_as_refcounter: drop atomic_long_dec_and_lock Sang-Heon Jeon
2026-08-30 12:39 ` Julia Lawall
2026-08-23 16:18 ` [PATCH 7/7] coccinelle: ifnulldev_put: update outdated helper names Sang-Heon Jeon
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=161516053.8619221.1788081739076.JavaMail.zimbra@inria.fr \
--to=julia.lawall@inria.fr \
--cc=cocci@inria.fr \
--cc=ekffu200098@gmail.com \
--cc=linux-kernel@vger.kernel.org \
--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: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®