From: Easwar Hariharan <eahariha@linux.microsoft.com>
To: Markus Elfring <Markus.Elfring@web.de>
Cc: cocci@inria.fr, kernel-janitors@vger.kernel.org,
eahariha@linux.microsoft.com, LKML <linux-kernel@vger.kernel.org>,
linux-block@vger.kernel.org, linux-btrfs@vger.kernel.org,
linux-ide@vger.kernel.org, linux-nvme@lists.infradead.org,
linux-pm@vger.kernel.org, linux-rdma@vger.kernel.org,
linux-scsi@vger.kernel.org, linux-sound@vger.kernel.org,
linux-spi@vger.kernel.org, linux-xfs@vger.kernel.org,
ceph-devel@vger.kernel.org, platform-driver-x86@vger.kernel.org,
dri-devel@lists.freedesktop.org,
ibm-acpi-devel@lists.sourceforge.net, imx@lists.linux.dev,
kernel@pengutronix.de, linux-arm-kernel@lists.infradead.org,
"Andrew Morton" <akpm@linux-foundation.org>,
"Carlos Maiolino" <cem@kernel.org>, "Chris Mason" <clm@fb.com>,
"Christoph Hellwig" <hch@lst.de>,
"Damien Le Moal" <dlemoal@kernel.org>,
"Darrick J. Wong" <djwong@kernel.org>,
"David Sterba" <dsterba@suse.com>,
"Dick Kennedy" <dick.kennedy@broadcom.com>,
"Dongsheng Yang" <dongsheng.yang@easystack.cn>,
"Fabio Estevam" <festevam@gmail.com>,
"Frank Li" <Frank.Li@nxp.com>,
"Hans de Goede" <hdegoede@redhat.com>,
"Henrique de Moraes Holschuh" <hmh@hmh.eng.br>,
"James Bottomley" <James.Bottomley@HansenPartnership.com>,
"James Smart" <james.smart@broadcom.com>,
"Jaroslav Kysela" <perex@perex.cz>,
"Jason Gunthorpe" <jgg@ziepe.ca>, "Jens Axboe" <axboe@kernel.dk>,
"Josef Bacik" <josef@toxicpanda.com>,
"Julia Lawall" <Julia.Lawall@inria.fr>,
"Ilpo Järvinen" <ilpo.jarvinen@linux.intel.com>,
"Ilya Dryomov" <idryomov@gmail.com>,
"Kalesh Anakkur Purayil" <kalesh-anakkur.purayil@broadcom.com>,
"Keith Busch" <kbusch@kernel.org>,
"Leon Romanovsky" <leon@kernel.org>,
"Mark Brown" <broonie@kernel.org>,
"Martin K. Petersen" <martin.petersen@oracle.com>,
"Nicolas Palix" <nicolas.palix@imag.fr>,
"Niklas Cassel" <cassel@kernel.org>,
"Oded Gabbay" <ogabbay@kernel.org>,
"Ricardo Ribalda" <ribalda@google.com>,
"Sagi Grimberg" <sagi@grimberg.me>,
"Sascha Hauer" <s.hauer@pengutronix.de>,
"Sebastian Reichel" <sre@kernel.org>,
"Selvin Xavier" <selvin.xavier@broadcom.com>,
"Shawn Guo" <shawnguo@kernel.org>,
"Shyam Sundar S K" <Shyam-sundar.S-k@amd.com>,
"Takashi Iwai" <tiwai@suse.com>,
"Victor Gambier" <victor.gambier@inria.fr>,
"Xiubo Li" <xiubli@redhat.com>,
"Yaron Avizrat" <yaron.avizrat@intel.com>,
"Ricardo Ribalda" <ribalda@chromium.org>
Subject: Re: [PATCH 01/16] coccinelle: misc: secs_to_jiffies: Patch expressions too
Date: Fri, 31 Jan 2025 16:11:37 -0800 [thread overview]
Message-ID: <632be2db-78d2-4249-92f0-3f60e0373172@linux.microsoft.com> (raw)
In-Reply-To: <e06cb7f5-7aa3-464c-a8a1-2c7b9b6a29eb@web.de>
On 1/30/2025 3:01 AM, Markus Elfring wrote:
>> Teach the script to suggest conversions for timeout patterns where the
>> arguments to msecs_to_jiffies() are expressions as well.
>
> Does anything hinder to benefit any more from a source code analysis approach
> (like the following by the extended means of the semantic patch language)?
>
Thank you, this is much more useful feedback, specifically due to the
suggested patch below. I did intend to learn about the other modes and
progressively upgrade secs_to_jiffies.cocci with them in the future once
the existing instances were resolved, to help with future code
submissions. The patch below will be super helpful in that.
As it stands, I'll fix up the current rules in v2 following your
suggestion to keep the multiplication in each line to allow Coccinelle
to use the commutativity properties and find more instances.
I'll refrain from implementing the report mode until current instances
have been fixed because of the issue we have already seen[1] with CI
builds being broken. I would not want to break a strict CI build that is
looking for coccicheck REPORT to return 0 results.
[1]:
https://lore.kernel.org/all/20250129-secs_to_jiffles-v1-1-35a5e16b9f03@chromium.org/
<snip>
Thanks,
Easwar (he/him)
next prev parent reply other threads:[~2025-02-01 0:11 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-01-28 18:21 [PATCH 00/16] Converge on using secs_to_jiffies() part two Easwar Hariharan
2025-01-28 18:21 ` [PATCH 01/16] coccinelle: misc: secs_to_jiffies: Patch expressions too Easwar Hariharan
2025-01-28 21:02 ` Markus Elfring
2025-01-29 5:05 ` Easwar Hariharan
2025-01-29 9:40 ` [01/16] " Markus Elfring
2025-01-30 11:01 ` [PATCH 01/16] " Markus Elfring
2025-02-01 0:11 ` Easwar Hariharan [this message]
2025-02-03 7:22 ` [01/16] " Markus Elfring
2025-01-28 18:21 ` [PATCH 02/16] scsi: lpfc: convert timeouts to secs_to_jiffies() Easwar Hariharan
2025-01-28 18:21 ` [PATCH 03/16] accel/habanalabs: " Easwar Hariharan
2025-01-28 18:21 ` [PATCH 04/16] ALSA: ac97: " Easwar Hariharan
2025-01-29 9:46 ` Takashi Iwai
2025-01-28 18:21 ` [PATCH 05/16] btrfs: " Easwar Hariharan
2025-01-28 19:28 ` David Sterba
2025-01-28 18:21 ` [PATCH 06/16] rbd: " Easwar Hariharan
2025-01-29 21:03 ` Easwar Hariharan
2025-02-03 21:19 ` Ilya Dryomov
2025-01-28 18:21 ` [PATCH 07/16] libceph: " Easwar Hariharan
2025-01-28 18:21 ` [PATCH 08/16] libata: zpodd: " Easwar Hariharan
2025-01-29 0:21 ` Damien Le Moal
2025-01-29 17:36 ` Easwar Hariharan
2025-01-28 18:21 ` [PATCH 09/16] xfs: " Easwar Hariharan
2025-01-28 19:32 ` Darrick J. Wong
2025-01-29 5:21 ` Christoph Hellwig
2025-01-29 17:12 ` Easwar Hariharan
2025-01-29 18:14 ` Easwar Hariharan
2025-01-29 6:27 ` Carlos Maiolino
2025-01-28 18:21 ` [PATCH 10/16] power: supply: da9030: " Easwar Hariharan
2025-01-28 18:21 ` [PATCH 11/16] nvme: " Easwar Hariharan
2025-01-28 18:28 ` Keith Busch
2025-01-28 18:21 ` [PATCH 12/16] spi: spi-fsl-lpspi: " Easwar Hariharan
2025-01-29 11:28 ` Mark Brown
2025-01-28 18:21 ` [PATCH 13/16] spi: spi-imx: " Easwar Hariharan
2025-01-29 11:30 ` Mark Brown
2025-01-28 18:21 ` [PATCH 14/16] platform/x86/amd/pmf: " Easwar Hariharan
2025-01-29 13:12 ` Ilpo Järvinen
2025-01-29 17:12 ` Easwar Hariharan
2025-01-28 18:22 ` [PATCH 15/16] platform/x86: thinkpad_acpi: " Easwar Hariharan
2025-01-28 18:22 ` [PATCH 16/16] RDMA/bnxt_re: " Easwar Hariharan
2025-01-29 0:16 ` [PATCH 00/16] Converge on using secs_to_jiffies() part two Andrew Morton
2025-02-13 17:45 ` Easwar Hariharan
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=632be2db-78d2-4249-92f0-3f60e0373172@linux.microsoft.com \
--to=eahariha@linux.microsoft.com \
--cc=Frank.Li@nxp.com \
--cc=James.Bottomley@HansenPartnership.com \
--cc=Julia.Lawall@inria.fr \
--cc=Markus.Elfring@web.de \
--cc=Shyam-sundar.S-k@amd.com \
--cc=akpm@linux-foundation.org \
--cc=axboe@kernel.dk \
--cc=broonie@kernel.org \
--cc=cassel@kernel.org \
--cc=cem@kernel.org \
--cc=ceph-devel@vger.kernel.org \
--cc=clm@fb.com \
--cc=cocci@inria.fr \
--cc=dick.kennedy@broadcom.com \
--cc=djwong@kernel.org \
--cc=dlemoal@kernel.org \
--cc=dongsheng.yang@easystack.cn \
--cc=dri-devel@lists.freedesktop.org \
--cc=dsterba@suse.com \
--cc=festevam@gmail.com \
--cc=hch@lst.de \
--cc=hdegoede@redhat.com \
--cc=hmh@hmh.eng.br \
--cc=ibm-acpi-devel@lists.sourceforge.net \
--cc=idryomov@gmail.com \
--cc=ilpo.jarvinen@linux.intel.com \
--cc=imx@lists.linux.dev \
--cc=james.smart@broadcom.com \
--cc=jgg@ziepe.ca \
--cc=josef@toxicpanda.com \
--cc=kalesh-anakkur.purayil@broadcom.com \
--cc=kbusch@kernel.org \
--cc=kernel-janitors@vger.kernel.org \
--cc=kernel@pengutronix.de \
--cc=leon@kernel.org \
--cc=linux-arm-kernel@lists.infradead.org \
--cc=linux-block@vger.kernel.org \
--cc=linux-btrfs@vger.kernel.org \
--cc=linux-ide@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-nvme@lists.infradead.org \
--cc=linux-pm@vger.kernel.org \
--cc=linux-rdma@vger.kernel.org \
--cc=linux-scsi@vger.kernel.org \
--cc=linux-sound@vger.kernel.org \
--cc=linux-spi@vger.kernel.org \
--cc=linux-xfs@vger.kernel.org \
--cc=martin.petersen@oracle.com \
--cc=nicolas.palix@imag.fr \
--cc=ogabbay@kernel.org \
--cc=perex@perex.cz \
--cc=platform-driver-x86@vger.kernel.org \
--cc=ribalda@chromium.org \
--cc=ribalda@google.com \
--cc=s.hauer@pengutronix.de \
--cc=sagi@grimberg.me \
--cc=selvin.xavier@broadcom.com \
--cc=shawnguo@kernel.org \
--cc=sre@kernel.org \
--cc=tiwai@suse.com \
--cc=victor.gambier@inria.fr \
--cc=xiubli@redhat.com \
--cc=yaron.avizrat@intel.com \
/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;
as well as URLs for NNTP newsgroup(s).