Re: [PATCH 01/16] coccinelle: misc: secs_to_jiffies: Patch expressions too
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
- Subject: Re: [PATCH 01/16] coccinelle: misc: secs_to_jiffies: Patch expressions too
- From: Easwar Hariharan <eahariha@xxxxxxxxxxxxxxxxxxx>
- Date: Fri, 31 Jan 2025 16:11:37 -0800
- Cc: cocci@xxxxxxxx, kernel-janitors@xxxxxxxxxxxxxxx, eahariha@xxxxxxxxxxxxxxxxxxx, LKML <linux-kernel@xxxxxxxxxxxxxxx>, linux-block@xxxxxxxxxxxxxxx, linux-btrfs@xxxxxxxxxxxxxxx, linux-ide@xxxxxxxxxxxxxxx, linux-nvme@xxxxxxxxxxxxxxxxxxx, linux-pm@xxxxxxxxxxxxxxx, linux-rdma@xxxxxxxxxxxxxxx, linux-scsi@xxxxxxxxxxxxxxx, linux-sound@xxxxxxxxxxxxxxx, linux-spi@xxxxxxxxxxxxxxx, linux-xfs@xxxxxxxxxxxxxxx, ceph-devel@xxxxxxxxxxxxxxx, platform-driver-x86@xxxxxxxxxxxxxxx, dri-devel@xxxxxxxxxxxxxxxxxxxxx, ibm-acpi-devel@xxxxxxxxxxxxxxxxxxxxx, imx@xxxxxxxxxxxxxxx, kernel@xxxxxxxxxxxxxx, linux-arm-kernel@xxxxxxxxxxxxxxxxxxx, Andrew Morton <akpm@xxxxxxxxxxxxxxxxxxxx>, Carlos Maiolino <cem@xxxxxxxxxx>, Chris Mason <clm@xxxxxx>, Christoph Hellwig <hch@xxxxxx>, Damien Le Moal <dlemoal@xxxxxxxxxx>, "Darrick J. Wong" <djwong@xxxxxxxxxx>, David Sterba <dsterba@xxxxxxxx>, Dick Kennedy <dick.kennedy@xxxxxxxxxxxx>, Dongsheng Yang <dongsheng.yang@xxxxxxxxxxxx>, Fabio Estevam <festevam@xxxxxxxxx>, Frank Li <Frank.Li@xxxxxxx>, Hans de Goede <hdegoede@xxxxxxxxxx>, Henrique de Moraes Holschuh <hmh@xxxxxxxxxx>, James Bottomley <James.Bottomley@xxxxxxxxxxxxxxxxxxxxx>, James Smart <james.smart@xxxxxxxxxxxx>, Jaroslav Kysela <perex@xxxxxxxx>, Jason Gunthorpe <jgg@xxxxxxxx>, Jens Axboe <axboe@xxxxxxxxx>, Josef Bacik <josef@xxxxxxxxxxxxxx>, Julia Lawall <Julia.Lawall@xxxxxxxx>, Ilpo Järvinen <ilpo.jarvinen@xxxxxxxxxxxxxxx>, Ilya Dryomov <idryomov@xxxxxxxxx>, Kalesh Anakkur Purayil <kalesh-anakkur.purayil@xxxxxxxxxxxx>, Keith Busch <kbusch@xxxxxxxxxx>, Leon Romanovsky <leon@xxxxxxxxxx>, Mark Brown <broonie@xxxxxxxxxx>, "Martin K. Petersen" <martin.petersen@xxxxxxxxxx>, Nicolas Palix <nicolas.palix@xxxxxxx>, Niklas Cassel <cassel@xxxxxxxxxx>, Oded Gabbay <ogabbay@xxxxxxxxxx>, Ricardo Ribalda <ribalda@xxxxxxxxxx>, Sagi Grimberg <sagi@xxxxxxxxxxx>, Sascha Hauer <s.hauer@xxxxxxxxxxxxxx>, Sebastian Reichel <sre@xxxxxxxxxx>, Selvin Xavier <selvin.xavier@xxxxxxxxxxxx>, Shawn Guo <shawnguo@xxxxxxxxxx>, Shyam Sundar S K <Shyam-sundar.S-k@xxxxxxx>, Takashi Iwai <tiwai@xxxxxxxx>, Victor Gambier <victor.gambier@xxxxxxxx>, Xiubo Li <xiubli@xxxxxxxxxx>, Yaron Avizrat <yaron.avizrat@xxxxxxxxx>, Ricardo Ribalda <ribalda@xxxxxxxxxxxx>
- In-reply-to: <e06cb7f5-7aa3-464c-a8a1-2c7b9b6a29eb@web.de>
- References: <20250128-converge-secs-to-jiffies-part-two-v1-1-9a6ecf0b2308@linux.microsoft.com> <e06cb7f5-7aa3-464c-a8a1-2c7b9b6a29eb@web.de>
- User-agent: Mozilla Thunderbird
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@xxxxxxxxxxxx/
<snip>
Thanks,
Easwar (he/him)
[Index of Archives]
[Linux Kernel]
[Linux ARM (vger)]
[Linux ARM MSM]
[Linux Omap]
[Linux Arm]
[Linux Tegra]
[Fedora ARM]
[Linux for Samsung SOC]
[eCos]
[Linux Fastboot]
[Gcc Help]
[Git]
[DCCP]
[IETF Announce]
[Security]
[Linux MIPS]
[Yosemite Campsites]
|